📊 APL Heritage

Array Programming, K Language, Historical Notation, Mathematical Computing

Survey Finds More Python Developers Like PostgreSQL, AI Coding Agents - and Rust for Packages
developers.slashdot.org·1d
🦀Rust Macros
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Cetvel: A Unified Benchmark for Evaluating Language Understanding, Generation and Cultural Capacity of LLMs for Turkish
arxiv.org·1d
🌳Context free grammars
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·15h·
Discuss: Hacker News
✅Format Verification
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🧬Functional Programming
[P] aligning non-linear features with your data distribution
reddit.com·19h·
Discuss: r/MachineLearning
🧠Machine Learning
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·18h
🌀Brotli Dictionary
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·1d
🕸️Network Topology
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·2h
🌸Bloom Variants
Alternating Training-based Label Smoothing Enhances Prompt Generalization
arxiv.org·2h
📊Learned Metrics
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·1d
💻CS
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
AGI Is an Engineering Problem
vincirufus.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·14h·
Discuss: DEV
🔒Type Safety
A novel auxiliary equation neural networks method for exactly explicit solutions of nonlinear partial differential equations
arxiv.org·2h
🌀Riemannian Computing
Disentangling Polysemantic Neurons with a Null-Calibrated Polysemanticity Index and Causal Patch Interventions
arxiv.org·2h
🔍Vector Forensics
ALAS: Autonomous Learning Agent for Self-Updating Language Models
arxiv.org·1d
💻Local LLMs
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·2h
🎙️Whisper