[$] Libxml2's "no security embargoes" policy
lwn.net·8h
🔓Free and open source
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·2h
🔄Language Evolution
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·38m·
Discuss: Hacker News
📟Terminal Typography
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·8h
💻Local LLMs
Unlocking the Power of LLMs in CAP: Understanding llms.txt and LLMs-full.txt
community.sap.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Multilingual innovation in LLMs: How open models help unlock global communication
developers.googleblog.com·2d
🌀Brotli Internals
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·23h·
Discuss: Hacker News
🦀Rust Macros
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·19h
🔍Concolic Testing
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
LLMs bring new nature of abstraction
martinfowler.com·1d·
Discuss: Hacker News
💻Programming languages
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
Machine Learning Fundamentals: active learning project
dev.to·8h·
Discuss: DEV
🧠Machine Learning
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·6h·
Discuss: Hacker News
⚡Proof Automation
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
arxiv.org·19h
📈Time Series