6931
Everything you need (and don't need) to know about PHP's type system
This is the absolute best guide you'll find in the internet about how php handles typing internally and in userland.
New
The latest blog posts to take off on Hacker News. 14,543 posts.
6932
Wayland and LVGL on PinePhone with Ubuntu Touch
Learn about Wayland and Ubuntu Touch on PinePhone... And how we build PinePhone Apps with LVGL
6933
Bloom filters debunked: Dispelling 30 Years of bad math with Coq
There's this rather nifty feature of modern web browsers (such as Firefox or Chrome ) where the browser will automatically warn the user if they happen to navigate to a " malicious " URL:
6934
I made a simple geolocation service
Learn how to create simple Geolocation service without 3rd-party APIs
6935
Good Logging
To check if a program is doing what it should, you can inspect the output from a given input. But as the system grows, you also need logging to help you understand what is happening. Good log messa…
6936
GoodJob – a Postgres-based ActiveJob back end for Ruby on Rails
GoodJob is a new Postgres-based, multithreaded, second-generation ActiveJob backend for Ruby on Rails.
6937
Unofficial Guide to Datomic Internals (2014)
This post is a compilation of publicly available information, Datomic docs and google group answers about Datomic internals. Intention is to help others understand implementation model and use Datomic more efficiently.
6938
Design Docs at Google
One of the key elements of Google's software engineering culture is the use of design docs for defining software designs. These are...
6939
Common mistakes writing React components with hooks
The most common mistakes I found while writing react components, why they are mistakes and how to avoid or fix them.
6940
An exploration of why Python doesn't require a 'main' function
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
6941
Systems Design for Advanced Beginners
This post is part of my Programming for Advanced Beginners series. Subscribe now to receive specific, actionable ways to make your code cleaner, every other week, entirely free.
6942
Essays on programming I think about a lot
Computers can be understood • Choose Boring Technology • The Wrong Abstraction • Falsehoods Programmers Believe About Names • The Hiring Post • The Product-Minded Engineer • Write code that is easy to delete, not easy to extend • The Law of Leaky Abstractions • Reflections on software performance • Notes on…
6943
Syntax highlighting is a waste of an information channel
No newsletter next week Running the TLA+ workshop. No way I'm gonna have any brainpower after that. Syntax highlighting is a waste of an information channel...
6944
Z80 Explorer – a Zilog Z80 netlist-level simulator
Z80 Explorer is a Z80 netlist-level simulator capable of running Z80 machine code and also an educational tool with features that help reverse engineer and understand this chip better.
6945
Fixing Mass Effect black blobs on modern AMD CPUs
Graphical artifacts caused by a CPU, not GPU? Sure thing.
6946
Clear explanation of Rust’s module system
Easy to understand explanation using visual aids and practical examples
6947
Optimizing 128-bit Division
When it comes to hashing, sometimes 64 bit is not enough, for example, because of birthday paradox — the hacker can iterate through random $latex 2^{32}$ entities and it can be proven that wi…
6948
6949
Typed Lisp, a Primer (2019)
Exploring Lisp's fine-grained type hierarchy.
6950
Computation Graphs and Graph Computation
Research has begun to reveal many algorithms can be expressed as matrix multiplication, suggesting an unrealized connection between linear algebra and computer science. I speculate graphs are the missing piece of the puzzle. Graphs are not only useful as cognitive aides, but are suitable data structures for a wide…
6951
Turning the IDE Inside Out with Datalog
Introspectable and extensible IDEs with logic programming
6952
Continuations by example: Exceptions, time-traveling search, threads, and more
Continuations are the least understood of all control-flow constructs. This lack of understanding (or awareness) is unfortunate, given that continuations permit the programmer to implement powerful language features and algorithms, including exceptions, backtracking search, threads, generators and coroutines.
6953
Shipping Const Generics in 2020
It’s hard to believe that its been more than 3 years since I opened RFC 2000 , which defined the const generics for Rust. At the same time, reading the RFC thread, there’s also been a huge amount of change in this area: for one thing, at the time the RFC was written, const fns weren’t stable, and consts weren’t even…
6954
6955
Data structures and algorithms I actually used while working at tech companies
Do you actually use data structures and algorithms on your day to day job? I've noticed a growing trend of people assuming algorithms are pointless questions that are asked by tech companies purely as an arbitrary measure. I hear more people complain about how all of this is a
6956
Understanding and writing a JPEG decoder in Python
How the JPEG format works: file headers and markers, Huffman coding, quantization, zigzag and the DCT, explained by writing a JPEG decoder in Python.
6957
You've only added two lines – why did that take two days?
It might seem a reasonable question, but it makes some terrible assumptions: lines of code = effort lines of code = value all lines of c...
6958
How to Run a Live Coding Stream on Twitch Using OBS
If you’re reading this post, you might be interested in trying your hand at live coding on stream, as a way of sharing your projects in a more relatable, immediate way than a polished blog post, teaching others about programming, or just as a way to have fun. I think that live coding and streams in general are an…
6959
6960
The Floppy Disk of Floating Point
An essay that bids farewell to x87 – a computing architecture too long for this world.