Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.orgยท2dยท
๐Ÿ”คDSLs
Flag this post
Rust Concurrency for Go Developers: Achieving Full Compile-Time Safety
dev.toยท3dยท
Discuss: DEV
๐Ÿ”’Type Safety
Flag this post
UP TWL AI Dev Kit review โ€“ Benchmarks, features testing, and AI workloads on Ubuntu 24.04
cnx-software.comยท53m
โšกHomebrew CPUs
Flag this post
Octopii, a batteries included framework for building distributed systems in Rust
github.comยท5hยท
Discuss: Hacker News
๐ŸคConsensus Protocols
Flag this post
Cancer Research UK: Engineering Guidebook: Choosing Your Stack
crukorg.github.ioยท2d
๐Ÿ“žSession Types
Flag this post
A treap week
blog.mitrichev.chยท1dยท
๐ŸŽจGraph Coloring
Flag this post
Building a robust permissions system in TypeScript
xetera.devยท1dยท
๐Ÿ”’Type Safety
Flag this post
Rust in Android: move fast and fix things
security.googleblog.comยท3dยท
๐Ÿฆ€Rust Borrowing
Flag this post
First-class custom smart pointers
nadrieril.github.ioยท3dยท
๐Ÿฆ€Rust Borrowing
Flag this post
Refactoring Legacy: Part 1 - DTO's & Value Objects
clegginabox.co.ukยท1dยท
Discuss: r/programming
๐Ÿ”CBOR
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.orgยท2d
๐ŸŽฏPerformance Proofs
Flag this post
Event-Driven Flows
akrzemi1.wordpress.comยท1hยท
Discuss: Hacker News, r/cpp
๐ŸŒŠStream Processing
Flag this post
Level up your Solidity LLM tooling with Slither-MCP
blog.trailofbits.comยท1d
๐Ÿ’งLiquidhaskell
Flag this post
Critical RCE Flaws Found Across Major AI Inference Servers | Oligo Security
oligo.securityยท3d
๐ŸŒณArchive Merkle Trees
Flag this post
Built a 3D file system navigator in Rust inspired by Jurassic Park hacker scene, it actually works
reddit.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
Flag this post
The poisoned NUL byte, 2014 edition (2014)
googleprojectzero.blogspot.comยท8hยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
Show HN: Dream โ€“ An LLM memory architecture using adaptive TTL to control cost
news.ycombinator.comยท2hยท
Discuss: Hacker News
โšกHardware Transactional Memory
Flag this post
two-dimensional category
ncatlab.orgยท11h
๐Ÿ”€Category Theory
Flag this post
Production-Grade Container Deployment with Podman Quadlets
blog.hofstede.itยท10hยท
Discuss: Lobsters
๐Ÿ“ฆContainer Security
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.netยท1d
๐Ÿ”ฉSystems Programming
Flag this post