Research: AI language models such as ChatGPT discriminate against East Germans
heise.de·1h
🇸🇪Nordic Algorithms
Age of Discord II
peterturchin.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·22h·
Discuss: r/rust
🦀Rust Macros
Experiments With Sonnet 4.5's Fiction
lesswrong.com·5h·
Discuss: Hacker News
🔗Concatenative Languages
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·6d·
Discuss: Hacker News
📝Concrete Syntax
The A.I. Prompt That Could End the World
nytimes.com·1d·
Discuss: Hacker News
⚡Proof Automation
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Cold Calculation
kae3g.codeberg.page·2h·
Discuss: Hacker News
⚡Incremental Computation
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·1d·
Discuss: Hacker News
📊Quantization
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·22h·
Discuss: DEV
⚙️Proof Engineering
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·14h·
Discuss: DEV
🔍Vector Forensics
Cactus Language • Semantics 2
inquiryintoinquiry.com·3d
🔢Denotational Semantics
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
Discuss: Hacker News, r/neovim
🔗Lisp
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.org·1d
🔲Cellular Automata
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·1d·
Discuss: r/programming
🧠Lisp Dialects
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·1d
🔄Burrows-Wheeler
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org·1d
⚛️Quantum Circuits
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Can Risk-taking AI-Assistants suitably represent entities
arxiv.org·1d
🔗Constraint Handling