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
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
🔀OCaml Multicore
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
🏗️Dune
Flag this post
Performance Analysis of NOMA-Assisted Optical OFDM ISAC Systems with Clipping Distortion
arxiv.org·7h
📐Linear Algebra
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
💾Retro Computing
Flag this post
Chain of Pattern: Rethink
🔤Language Design
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·1d
🧩Parser Combinators
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·1d
🩹Self-Healing Systems
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
Reflections on Trusting Trust (1984)
🛡️seL4
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
Loading...Loading more...