Appears on
Articles21
Creusot: A Deductive Verifier for Proving Rust Code Correctness
github.com3d ago
Why the First 60 Seconds in Cold Water Is the Most Dangerous Part of the Norseman Triathlon
jorgenmelau.substack.com1mo ago
Rust Programming Language Faces Inevitable Supply Chain Security Threats
kerkour.com1mo ago
Understanding Bit-Field Pitfalls in C/C++ Programming
os2museum.com2mo agoThe Role and Challenges of Incident Commanders in Organizational Crisis Management
The article discusses the role of an Incident Commander or Incident Manager in organizational crisis situations, explaining that it's typically not a dedicated job but a role taken on during emergencies. It emphasizes that the incident commander serves as the central point of contact and source of truth during incidents, requiring regular updates to stay inf
unixdaemon.net4mo ago
NUKEMAP's Migration from Google Maps to Mapbox+Leaflet: A Technical History
blog.nuclearsecrecy.com4mo ago
Mathematicians Discover Geometric Principle Behind How Natural Materials Fragment Into Cube-Like Shapes
quantamagazine.org5mo ago
Commemorating 100 Years of Emmy Noether's Theorem: Symmetries and Conservation Laws in Physics
arxiv.org5mo ago
Critique of sudo's Security Model and the Case for Object Capabilities
ariadne.space5mo ago
Einstein Project: NewtonOS Emulator for Modern Operating Systems
github.com5mo ago
Examining CSS Layout Complexity and the Case for Constraint-Based Systems
PostgreSQL Locks: Deadlocks, Object-Level Locks, and Predicate Locks
habr.com5mo ago
How to Disable Microsoft Email Reactions by Adding a Postfix Header
neilzone.co.uk7mo agoARM Memory Tagging: how it improves C/C++ memory safety (2018) [pdf]
Article URL: https://llvm.org/devmtg/2018-10/slides/Serebryany-Stepanov-Tsyrklevich-Memory-Tagging-Slides-LLVM-2018.pdf Comments URL: https://news.ycombinator.com/item?id=45706815 Points: 7 # Comments: 0
Musl's default allocator causes up to 7x slowdown in Rust applications; developers urged to switch
nickb.dev8mo ago
Numeric Springing Techniques for Game Animation and Procedural Control
Call for Release of Pomological Watercolor Collection
A blog post from a decade ago calls for the release of the Pomological Watercolor Collection, a set of over 7,000 fruit and biological specimen paintings from the 1880s to 1940s. The collection has been digitized but has limited online sales, questioning the justification for a paywall.
parkerhiggins.net11mo agoPosit floating point numbers: thin triangles and other tricks (2019)
Article URL: http://marc-b-reynolds.github.io/math/2019/02/06/Posit1.html Comments URL: https://news.ycombinator.com/item?id=44319144 Points: 5 # Comments: 0
What is systems programming, really? (2018)
Article URL: https://willcrichton.net/notes/systems-programming/ Comments URL: https://news.ycombinator.com/item?id=44278689 Points: 6 # Comments: 0
EBCDIC Is Incompatible with GDPR
Article URL: https://shkspr.mobi/blog/2021/10/ebcdic-is-incompatible-with-gdpr/ Comments URL: https://news.ycombinator.com/item?id=44245492 Points: 15 # Comments: 4