There is no truthy or falsy in Rust
joschuba.com·15h
🔧programming language design
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·16h
🔧programming language design
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·3d
🔧programming language design
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·20h·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·1d·
Discuss: Substack
🔧programming language design
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·7h
🧮Algebraic Effects
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
🔧programming language design
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·7h
🕸semantic web
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·1d·
Discuss: DEV
🔧programming language design
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·7h
🔧programming language design
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·8h·
Discuss: Hacker News
🔧programming language design
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·7h
🔧programming language design
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔧programming language design
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·7h
🔧programming language design
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
🔧programming language design
Flag this post
📢 New Series: Neuro-Symbolic Wednesday
dev.to·3h·
Discuss: DEV
🕸semantic web
Flag this post
Issue 496
haskellweekly.news·6d
🔧programming language design
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·7h
🔧programming language design
Flag this post
Entropy in algorithm analysis
11011110.github.io·3d
🔧programming language design
Flag this post