Eglot, Ruby LSP and StandardRB
katafrakt.me·1d
🔮Lisp Macros
Flag this post
Compiling a Call to a Block
patshaughnessy.net·1d
🔮Lisp Macros
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.org·5d
📦Cabal
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·18h
🎲Property-Based Testing
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
📝Contract Testing
Flag this post
To improve Rationality, create Situations
lesswrong.com·1d
🌪️Chaos Engineering
Flag this post
Building We Build Forest: A Side Project to Reforest the Planet - with some JS
🔵Blue-Green Deployment
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
🌲Persistent Data Structures
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·18h
🔗Parser Combinators
Flag this post
Knowledge Elicitation with Large Language Models for Interpretable Cancer Stage Identification from Pathology Reports
arxiv.org·18h
🔗Parser Combinators
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·18h
🔮Lisp Macros
Flag this post
Automated Variant Calling Refinement via Multi-Modal Neuro-Symbolic Integration (AMVR-MNSI)
🤖Scikit-learn
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·18h
🎲Property-Based Testing
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·18h
📐Gini Coefficient
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·18h
🔬BPF
Flag this post
Reality check
🔴Test-Driven Development
Flag this post
Loading...Loading more...