2161
Deep Learning, NLP, and Representations
neural networks , deep learning , representations , NLP , recursive neural networks
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,851 posts.
2162
Juris Hartmanis 1928–2022
A sure foundation for Computational Complexity source—wonderful 2015 CACM interview Juris Hartmanis passed away this morning. He was a professor in Cornell’s computer science department…
2163
2164
Against Bayesianism – David Deutsch
Bayesianism, the doctrine that it's always rational to represent our beliefs in terms of probabilities, dominates the intellectual world, from decision theory to the philosophy of science. But does it make sense to quantify our beliefs about such ineffable things as scientific theories or the future? And what separates
2165
The largest number representable in 64 bits
This post is a rewrite of my earlier blog post from Nov 2023 with new insights and updates.
2166
2167
2168
2169
How many dimensions is this?
A degree in mathematics might not save you from stacking boxes for a living.
2170
The Buenos Aires Constant
Generating primes using the Buenos Aires constant.
2171
Quicksort with Jenkins for fun and no profit
I first encountered Jenkins in 2007 while contributing to the Apache Nutch project. It was called Hudson back then. The nightly builds for the project ran on Hudson at that time. I remember sifting through my emails and reviewing build result notifications to keep an eye on the patches that got merged into the trunk…
2172
Square roots and maxima
A brief numerical and graphical check on a 3Blue1Brown video.
2173
2174
Principles of TLA+
TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.
2175
Mathematical marketing: a piece of calculus to change the way you advertise
If you make $10 profit each time you sell a product, what cost per conversion should you aim for? Answering this question isn't easy, but it can teach us a…
2176
Low-level x86 code compression for 64k intros
This is about the “secret ingredient” in my EXE packer kkrunchy, which was used in our (Farbrausch) 64k intros starting from “fr-030: Candytron”, and also in a lot of other …
2177
Héctor Garcia-Molina, 1953–2019
We all lost a great person Cropped from Mexican NotiCyTI obit Héctor Garcia-Molina died just before Thanksgiving. He was a computer scientist and Professor in both the Departments of Computer Scien…
2178
2179
Floating-Point Printing and Parsing Can Be Simple and Fast
A floating point number f has the form f = m · 2 e where m is called the mantissa and e is a signed integer exponent . We like to read numbers scaled by powers of ten, not two, so computers need algorithms to convert binary floating-point to and from decimal text. My 2011 post “ Floating Point to Decimal Conversion is…
2180
An Overview of Bayesian Inference (2019)
A few weeks ago I wrote about Kuhn’s theory of paradigm shifts and how it relates to Bayesian inference. In this post I want to back up a little bit and explain what Bayesian inference is, and eventually rediscover the idea of a paradigm shift just from understanding how Bayesian inference works.
2181
Verifying GCC optimizations using an SMT solver
This post describes the implementation of pysmtgcc. See “GCC Translation Validation” for background information.
2182
How Many People? Ancient Demography
Bret Devereaux (A Collection of Unmitigated Pedantry)2023121 points5 commentscited by 3History & Retro Computing details
One of the first questions anyone asks about past societies is, ‘how many people were there?’ It is one of those basic bits of information and generally speaking those of us who teach t…
2183
Is π the Same in Every Universe?
Mathematician: That depends on what you mean by “universe.” Here’s a framing: A circle of radius R centered at a point P is the set of all points in the plane with distance R fro…
2184
Division by zero in type theory: a FAQ
How can a theorem prover use the convention that 1/0=0 and still be consistent?
2185
Floating points between zero and one
floating-points-between-zero-and-one - Chad Nauseam Home
2186
A Trampoline
I didn’t want to buy a trampoline. It wasn’t the money.
2187
Taming floating-point sums
Suppose you have an array of floating-point numbers, and wish to sum them. You might naively think you can simply add them, e.g. in Rust:
2188
2189
Why cryptography is not based on NP-complete problems
Cryptographic schemes are based on the computational difficulty of solving some ‘hard’ problem. For example, RSA (specifically, RSA-2048) is based on the difficulty of a problem like this:
2190
Four Kinds of Optimisation
Premature optimisation might be the root of all evil, but overdue optimisation is the root of all frustration. No matter how fast hardware becomes, we find it easy to write programs which run too slow. Often this is not immediately apparent. Users can go for years without considering a program’s performance to be an…