Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🪆Embedded DSLs
Flag this post
Benchmarking Large Language Models and Privacy Protection
priv.gc.ca·1d
Tokenizer Benchmarks
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·9h·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·5h·
Discuss: Hacker News
🎲Property Testing
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·2d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·1d·
Discuss: DEV
📚Stack Data Structures
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·19h
⚖️Weighted Automata
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·19h
🪜Recursive Descent
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·19h
📋Souffle Datalog
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·1d·
Discuss: DEV
🏛️Elm Architecture
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
dev.to·5h·
Discuss: DEV
📊Query Optimizers
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·19h
🌱Minimal ML
Flag this post
Enriching and Fresh
reddit.com·1d·
Discuss: r/bestof
💫Effect Systems
Flag this post
Analyzing Sustainability Messaging in Large-Scale Corporate Social Media
arxiv.org·19h
📋Backus-Naur Form
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·19h
🌱Minimal ML
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·19h
🌊Dataflow Languages
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·19h
🔍ML Language
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·19h
🪜Recursive Descent
Flag this post
Functional embeddings enable Aggregation of multi-area SEEG recordings over subjects and sessions
arxiv.org·1d
Effect Inference
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·2d·
Discuss: DEV
🪜Recursive Descent
Flag this post