Read more: US subsidiary of Swiss defence contractor hacked
swissinfo.ch·3h
🛡️Security Type Systems
Flag this post
Creating Lisp Systems
renato.athaydes.com·5h·
Discuss: Hacker News
🌱Minimal Lisps
Flag this post
Links 05/11/2025: Medicare Privatisation and "Breaker Box Economy"
techrights.org·4h
🛡️Security Type Systems
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·1d
🔗Lexical Scoping
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·1d·
Discuss: Hacker News
🎲Parser Fuzzing
Flag this post
Fast, Scalable LDA in C++ with Stochastic Variational Inference
github.com·1d·
Discuss: r/cpp
🌱Minimal ML
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·2d·
Discuss: Hacker News
🗃️Query Compilation
Flag this post
Why Finnish devs outperform silicon valley (long-term): The nordic way of code
dev.to·8h·
Discuss: DEV
Supercompilation
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·15h·
📋Row Typing
Flag this post
How I’ve Been Using AI To Build Complex Software (And What Actually Worked)
reddit.com·18h·
Discuss: r/ClaudeAI
🎭Program Synthesis
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·2d
🔍ML Language
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·1d
🌱Minimal ML
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·2d·
Discuss: DEV
📋Tablegen
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·1d
⚖️Weighted Automata
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·1d
🪜Recursive Descent
Flag this post
BIM Modeling Unlocks Value in Construction Estimation
dev.to·4h·
Discuss: DEV
📦Dependency Analysis
Flag this post
Beyond Brute Force: AI That Thinks Like an Engineer by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Flag this post
When Modalities Conflict: How Unimodal Reasoning Uncertainty Governs Preference Dynamics in MLLMs
arxiv.org·7h
🔍ML Language
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·2d·
Discuss: DEV
Control Synthesis
Flag this post
Deployable Vision-driven UAV River Navigation via Human-in-the-loop Preference Alignment
arxiv.org·1d
Partial Evaluation
Flag this post