How do linear session type frameworks deal with communicating over an unreliable channel (eg the network)? Do they assume that’s handled at a lower level or doe...
bsky.app·5h·
Discuss: Bluesky
🔧programming language design
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·2d
🔧programming language design
Flag this post
De Bruijn Numerals
text.marvinborner.de·6d·
Discuss: Hacker News
🔧programming language design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2d·
Discuss: Hacker News
🔧programming language design
Flag this post
Post-training methods for language models
developers.redhat.com·1d
🧮Algebraic Effects
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·1d
🔧programming language design
Flag this post
🧩 Track Workflow Activities by Name in Joget Using SQL and DataList Configuration
dev.to·8h·
Discuss: DEV
🕸semantic web
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·11h
🧮Algebraic Effects
Flag this post
Hypergraph Embedding Optimization for Graph Database Query Acceleration via Differential Evolution
dev.to·6h·
Discuss: DEV
🕸semantic web
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·11h
🔧programming language design
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·1d·
Discuss: DEV
🔧programming language design
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔧programming language design
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🧮Algebraic Effects
Flag this post
Where do I even begin with system design, where do I even start ?
reddit.com·43m·
Discuss: r/node
🧰software development practices
Flag this post
How Serde Transforms Rust Data Serialization: Complete Performance and Safety Guide
dev.to·21h·
Discuss: DEV
🔧programming language design
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·1d
🔧programming language design
Flag this post
Building MeridianDB: Solving AI's Memory Crisis with Multi-Dimensional RAG
dev.to·7h·
Discuss: DEV
🦀Borrow Checker
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·1d·
Discuss: DEV
🧰software development practices
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·11h
🧰software development practices
Flag this post
Photonic implementation of quantum hidden subgroup database compression
arxiv.org·11h
🔧programming language design
Flag this post