smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·3h
🔒Rust Borrowing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·19h·
Discuss: Hacker News
💬Interactive REPLs
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·2h
🧩Constraint Solvers
Souvenir
deprogrammaticaipsum.com·3h
🔗Weak References
Recurse Checkins
404wolf.com·5h
🔄Bootstrapping
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Algebraic Effects
Memorizing a list of seed words
johndcook.com·9h·
Discuss: Hacker News
🪢Rope Data Structures
Zig STD does not seems to use structural inheritance
reddit.com·12h·
Discuss: r/Zig
🏷️Symbol Mangling
5 Must-Read OOP, UML, and Design Patterns Books for Software Engineers
dev.to·15h·
Discuss: DEV
🔀Control Structures
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
valuetier.org (and some thoughts on LLMs)
ericphanson.com·12h·
📚Self-Documenting Code
Highly concurrent in-memory counter in GoLang
engineering.grab.com·6h
🧠Memory Models
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
A grand week
blog.mitrichev.ch·16h·
🧩Constraint Solvers
Callbacks in C++ Using Template Functors – Rich Hickey (1994)
tutok.sk·12h·
Discuss: Hacker News
🌉Cross-Platform FFI
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·10h·
Discuss: Hacker News
🛡️Stack Safety
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·6h·
Discuss: Hacker News
🔢Algebraic Datatypes
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·15h·
Discuss: Hacker News
🌲Tree Rewriting
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
🔢Bit Manipulation