Revisiting Manager READMEs
elidedbranches.com·15h·
Discuss: www.elidedbranches.com
🦋Format Metamorphosis
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.org·9h
📝Shell Parsing
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
reddit.com·16h·
Discuss: r/MachineLearning
🎵Audio ML
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·15h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
LLM Council: query multiple LLMs, and asks them to rank each other's work
github.com·1h·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
Building GreenGovRAG
dev.to·5h·
Discuss: DEV
🔄Archival Workflows
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·12h·
Discuss: DEV
💻Local LLMs
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·1h·
Discuss: DEV
⚡Incremental Computation
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
🔧Hardware Verification
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
medium.com·1d·
Discuss: Hacker News
🧩WASM Components
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Structural Inducements for Hallucination in LLMs
researchgate.net·1d·
Discuss: Hacker News
🏛Digital humanities
Flag this post
Don't Sleep on MCP
goto-code.com·3d·
Discuss: Hacker News
💧Liquid Types
Flag this post
As AI-driven diagnosis and treatment plans become increasing
dev.to·1d·
Discuss: DEV
🔍Information Retrieval
Flag this post
Information Literacy and Chatbots as Search
buttondown.com·13h·
Discuss: Hacker News
📰RSS Reading Practices
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·17h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Code Prompting: a better way to communicate with LLMs
alprielse.xyz·1d·
Discuss: Hacker News
📐Format Grammars
Flag this post
LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
arxiv.org·5d
🔗Constraint Handling
Flag this post