OCaml Preprocessor, AST Rewriting, Code Generation, Metaprogramming

A Claude Code Command for Hypothesis
hypothesis.works·14h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·2d·
Discuss: Hacker News
🔤Language Design
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·3d·
💻CLI Tools
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·1d
🔄Reproducible Builds
Flag this post
Unlocking AI Vision with the Wisdom of Cats: Building Generalizable Models
dev.to·51m·
Discuss: DEV
📚Automata Learning
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·17h·
Discuss: DEV
Automated Theorem Proving
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·4h
💻CS
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·4h
🧩Parser Combinators
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·4h
📚Automata Learning
Flag this post
I was tired of 50ms+ shell latency, so I built a sub-millisecond prompt in Rust (prmt)
reddit.com·1d·
Discuss: r/rust
🔀OCaml Multicore
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·7h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·1d
🛡️seL4
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
Enhanced Block Copolymer Lithography via Adaptive Stochastic Gradient Descent and Dynamic Mask Optimization
dev.to·20h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·1h·
Discuss: Hacker News
📦Opam
Flag this post