Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.orgยท16h
โฐTemporal Logic
Signals and Threads โ€“ Why ML Needs a New Programming Language
signalsandthreads.comยท8hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”ฉSystems Programming
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.toยท2hยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
The Angels and Demons of Nondeterminism
buttondown.comยท6hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
[$] The dependency tracker for complex deadlock detection
lwn.netยท5h
๐Ÿ”eBPF
Reactive algorithms: How Angular took the right path
medium.comยท9hยท
Discuss: Hacker News
๐ŸŒŠStream Processing
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobiยท1dยท
Discuss: Hacker News, shkspr.mobi
๐Ÿ“Code Metrics
Formally verifying a floating-point division routine with Gappa โ€“ part 1
community.arm.comยท8hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ“Interval Arithmetic
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.comยท1dยท
Discuss: Hacker News, r/programming
๐ŸŒŠStream Processing
Formal Verification of Isothermal Chemical Reactors
arxiv.orgยท1d
๐Ÿ‘‘Isabelle/HOL
Observabilityโ€™s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.ioยท5h
๐Ÿ‘๏ธSystem Observability
A Resolution-Based Interactive Proof System for UNSAT
arxiv.orgยท16h
๐ŸŽฏPerformance Proofs
Some Best Practices for Writing Readable Automation Tests
blog.scottlogic.comยท20h
โšกProof Automation
Should We Use LLMs As If They Were Swiss Knives?
towardsdatascience.comยท1h
๐Ÿ’ปLocal LLMs
Fractal Geometry as the Blueprint for Encryption
hackernoon.comยท1d
๐Ÿ”Homomorphic Encryption
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.orgยท16h
๐Ÿ”—Constraint Handling
We built an interpreter for Swift (a compiled language)
bitrig.appยท3hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Vibe Coding Our Way to Disaster
softwarearthopod.substack.comยท3hยท
Discuss: Substack
โš”๏ธLean Tactics
VX-NOVA.ฮฉ1: A Symbolic AI Engine That Patches Code Without Any Models
github.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
IL-SLAM: Intelligent Line-assisted SLAM Based on Feature Awareness for Dynamic Environments
arxiv.orgยท16h
๐ŸบComputational Archaeology