⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

PoDoFo 1.0 released
pdfa.org·18h
📄PDF Internals
Muddled Libra: From Social Engineering to Enterprise-Scale Disruption
paloaltonetworks.com·2d
🔓Hacking
Emerging cybersecurity needs: What the market is telling us
cybersecuritydive.com·22h
🛡Cybersecurity
Orchestrating a Google Kubernetes cluster using TypeScript
nullonerror.org·1d·
Discuss: Hacker News
📦Container Security
Adversarial ATProto PDS Migration
da.vidbuchanan.co.uk·1d·
Discuss: Hacker News
🔒Hardware Attestation
Do support that doesn't scale
stedi.com·16h·
Discuss: Hacker News
🛡️Error Boundaries
Within 5 Years, All Engineers Will Be Systems Integrators
quicktea.ai·5d·
Discuss: Hacker News
🔌Interface Evolution
Why Japanese Developers Write Code Differently (& Why It Works Better
medium.com·10h·
Discuss: Hacker News
🇯🇵Japanese Computing
Open-Source AI in New US Policy: What This Means for Linux
linuxblog.io·1d·
Discuss: r/linux
🏠Homelab Federation
As AI Gets Smarter, It Acts More Evil
honest-broker.com·1d·
Discuss: Hacker News
🔲Cellular Automata
International standard language developed to unite synthetic biology laboratories worldwide
phys.org·4d
💧Liquid Types
Why I switched to Linux as someone who once never would have
reddit.com·12h·
Discuss: r/linux
🔌Operating system internals
GA and RL and prompt-driven agents
news.ycombinator.com·4d·
Discuss: Hacker News
🔲Cellular Automata
So I Quit $200k Job To Write A Framework
dev.to·4d·
Discuss: DEV
🌊Streaming Systems
Computing Longitudinal Dynamic Derivatives of a VTOL Aircraft Using CFD Simulations and Forced-Oscillation Model
arxiv.org·3h
⚡Incremental Computation
Understanding Prompt Programming Tasks and Questions
arxiv.org·5d
🔗Concatenative Programming
Assessing the Reliability and Validity of a Balance Mat for Measuring Postural Stability: A Combined Robot-Human Approach
arxiv.org·1d
✋Tactile Computing
Hypergraph Neural Networks Reveal Spatial Domains from Single-cell Transcriptomics Data
arxiv.org·3h
🌀Hyperbolic Geometry
How Chain-of-Thought Works? Tracing Information Flow from Decoding, Projection, and Activation
arxiv.org·3h
🔲Cellular Automata
Advancing Vision-based Human Action Recognition: Exploring Vision-Language CLIP Model for Generalisation in Domain-Independent Tasks
arxiv.org·1d
📊Learned Metrics