Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1h
🔒Linear Types
PEGTL -- Parsing Expression Grammar Template Library
github.com·19h·
Discuss: Hacker News
🔗Parser Combinators
I Used to Get Lost in GitHub Repos; Then I Found a Smarter Way In
hackernoon.com·1d
🌿git
Show HN: Supply Chain Security at Scale – Insights into NPM Account Takeovers
laburity.com·1d·
Discuss: Hacker News
📦Package Managers
Replacing Client-side JavaScript SDKs with WebAssembly Components at the Edge
fastly.com·1d·
Discuss: Hacker News
🕸️WebAssembly
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
A New Era of Code Quality: Beyond bugs to supply chain security and dependency health
dev.to·50m·
Discuss: DEV
🔒WASM Capabilities
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·1d
🧮Prolog Parsing
Dual-Hierarchy Labelling: Scaling Up Distance Queries on Dynamic Road Networks
arxiv.org·1d
📏Range Queries
Graph Algorithms Explained: Finding Paths and Connections
dev.to·1d·
Discuss: DEV
🕸️Graph Algorithms
Counter Service: How we rewrote it in Rust
engineering.grab.com·2d
🔒Linear Types
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.org·14h
🕸️Graph Algorithms
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
C++ Seeding Surprises (2015)
pcg-random.org·2h·
Discuss: Hacker News
🔢Bitwise Algorithms
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Hidden Complexities of Scaling GraphQL Federation (And How to Fix Them)
dev.to·4h·
Discuss: DEV
📊Graph Databases
Scaling Pinterest ML Infrastructure with Ray: From Training to End-to-End ML Pipelines
medium.com·1d·
Discuss: Hacker News
🧮Z3 Applications