Wild 0.7 Released For This Very Fast Linker Written In Rust
phoronix.com·5h
🍏Darwin
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
💎Refinement Types
Flag this post
Reforging the ReScript Build System
🔄Reproducible Builds
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·11h
⚙️Compiler Design
Flag this post
Code Smell 313 - Workslop Code
🔲Cellular Automata
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Computation as a Game
arxiv.org·11h
⏱️Computational Complexity
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·11h
🧩Parser Combinators
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·11h
📐Linear Algebra
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·11h
🤖Robotics
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·11h
🧮SMT Solvers
Flag this post
SciTextures: Collecting and Connecting Visual Patterns, Models, and Code Across Science and Art
arxiv.org·11h
🔲Cellular Automata
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·11h
❓Existential Types
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·11h
📦Opam
Flag this post
Speedrunning an RL Environment
🎮Verification Games
Flag this post
Loading...Loading more...