2431
Division by zero in type theory: a FAQ
How can a theorem prover use the convention that 1/0=0 and still be consistent?
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 11,892 posts.
2432
MosaicML MPT-7B: A Commercially-Usable LLaMa-Quality Model
Introducing MPT-7B, the first entry in our MosaicML Foundation Series. MPT-7B is a transformer trained from scratch on 1T tokens of text and code. It is open source, available for commercial use, and matches the quality of LLaMA-7B. MPT-7B was trained on the MosaicML platform in 9.5 days with zero human intervention…
2433
2434
Blockchain and Trust
In his 2008 white paper that first proposed bitcoin, the anonymous Satoshi Nakamoto concluded with: “We have proposed a system for electronic transactions without relying on trust.” He was referring to blockchain, the system behind bitcoin cryptocurrency. The circumvention of trust is a great promise, but it’s just…
2435
Correlation is usually not causation. But why not?
Correlations are oft interpreted as evidence for causation; this is oft falsified; do causal graphs explain why this is so common, because the number of possible indirect paths greatly exceeds the direct paths necessary for useful manipulation?
2436
2437
The Hipster PDA (2004)
This domain is parked. There is no active website here.
2438
Chicken Scheme internals: the garbage collector
Hi, I'm Peter Bex, a Scheme and free software enthusiast from the Netherlands. See my user page on the CHICKEN wiki or my git server for some of my projects.
2439
Flawed routers flood University of Wisconsin internet time server (2003)
ABSTRACT In May 2003, the University of Wisconsin - Madison found that it was the recipient of a continuous large scale flood of inbound Internet traffic destined for one of the campus' public Network Time Protocol (NTP) servers. The flood traffic rate was hundreds-of-thousands of packets-per-second, and hundreds of…
2440
Surprises in the Bitcoin blockchain and how they are stored (2014)
Every Bitcoin transaction is stored in the distributed database known as the Bitcoin blockchain. However, people have found ways to hack ...
2441
2442
Scaling Datastores at Slack with Vitess
From the very beginning of Slack, MySQL was used as the storage engine for all our data. Slack operated MySQL servers in an active-active configuration. This is the story of how we changed our data storage architecture from the active-active clusters over to Vitess — a horizontal scaling system for MySQL. Vitess is…
2443
The Cost and Complexity of Cgo
Cgo is an important part of Go: It's your window to calling anything that anything that has C bindings. But while cgo works for us, it hasn’t come for free.
2444
How do I deal with memory leaks? (2022)
These are questions about C++ Style and Technique that people ask me often. If you have better questions or comments on the answers, feel free to email me (bs at cs dot tamu dot edu). Please remember that I can't spend all of my time improving my homepages.
2445
CNAME Flattening: RFC-Compliant CNAMEs at a Domain's Root
This post is about a new feature we've been quietly rolling out over the last few months. Last week we began enabling it for everyone by default.
2446
Business ideas: proving ideas are a dime a dosen
Choose a memorable domain name. Professional, friendly customer support. Start using your domain right away.
2447
Blameless post-mortems and a just culture (2012)
Last week, Owen Thomas wrote a flattering article over at Business Insider on how we handle errors and mistakes at Etsy. I thought...
2448
MacPaint and QuickDraw Source Code (2010)
The Apple Macintosh combined brilliant design in hardware and in software. The drawing program MacPaint, which was released with the computer in January of 1984, was an example of that brilliance both in what it did, and in how it was implemented.
2449
Building a Modern Bank Backend
At Monzo, we’re building a banking system from scratch. Our systems must be available 24x7 no matter what happens, scalable to hundreds of millions of customers around the world, and very extensible. This first post in a series about our platform explains how we’re building systems to meet these demands using modern…
2450
The PGP problem (2019)
The PGP problem
2451
The Shameful Defenestration of Tim
On Tim Peters' recent suspension as a Python core developer
2452
2453
Finite State Entropy - A new breed of entropy coder
In compression theory, the entropy encoding stage is typically the last stage of a compression algorithm, the one where the gains from t...
2454
2455
Why Rust for safe systems programming
In this series , we have explored the need for proactive measures to eliminate a class of vulnerabilities and walked through some examples of memory safety issues we’ve found in Microsoft code that could have been avoided with a different language. Now we’ll peek at why we think that Rust represents the best…
2456
2457
Nearly 40% of adults from 25-54 are unpartnered [Pew Research]
On key economic outcomes, single adults at prime working age increasingly lag behind those who are married or cohabiting
2458
Dark Mode vs. Light Mode: Which Is Better?
In people with normal vision (or corrected-to-normal vision), visual performance tends to be better with light mode, whereas some people with cataract and related disorders may perform better with dark mode. On the flip side, long-term reading in light mode may be associated with myopia.
2459
JEP 454: Foreign Function and Memory API
Introduce an API by which Java programs can interoperate with code and data outside of the Java runtime. By efficiently invoking foreign functions (i.e., code outside the JVM), and by safely accessing foreign memory (i.e., memory not managed by the JVM), the API enables Java programs to call native libraries and…
2460
Don't Learn C the Wrong Way
Update : On Sep. 28, 2015, Zed Shaw wrote a rebuttal to this post. You can find the details here .