Zed Editor in 2025: Your Guide to the High-Performance, Rust-Based Code Editor
🏃Escape Analysis
Flag this post
Improving Emacs' iCalendar Support
🐫Embedded OCaml
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
💎Refinement Types
Flag this post
Era of Disposable Software
📵Digital Minimalism
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
🔀OCaml Multicore
Flag this post
Performance Analysis of NOMA-Assisted Optical OFDM ISAC Systems with Clipping Distortion
arxiv.org·10h
📐Linear Algebra
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·2d
🔲Cellular Automata
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·5d
🔲Cellular Automata
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
✓Automated Theorem Proving
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·10h
⏱️Computational Complexity
Flag this post
Loading...Loading more...