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·2h·
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·1d
🔧programming language design
Flag this post
De Bruijn Numerals
text.marvinborner.de·5d·
Discuss: Hacker News
🔧programming language design
Flag this post
Can Conversational AI Counsel for Change? A Theory-Driven Approach to Supporting Dietary Intentions in Ambivalent Individuals
arxiv.org·8h
🕸semantic web
Flag this post
Decoding Kiroween
dev.to·1d·
Discuss: DEV
📲local-first software
Flag this post
Performance Analysis of Single-Antenna Fluid Antenna Systems via Extreme Value Theory
arxiv.org·8h
🧮Algebraic Effects
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·1d
🧮Algebraic Effects
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
dev.to·11h·
Discuss: DEV
📲local-first software
Flag this post
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.to·9h·
Discuss: DEV
🦀Borrow Checker
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
🔧programming language design
Flag this post
Learn to Capitalize the First Letter of Each Word with Go
dev.to·1d·
Discuss: DEV
🔧programming language design
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
reddit.com·4h·
Discuss: r/ClaudeAI
🧰software development practices
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
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·8h
🧮Algebraic Effects
Flag this post
🧩 Track Workflow Activities by Name in Joget Using SQL and DataList Configuration
dev.to·6h·
Discuss: DEV
🕸semantic web
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·8h
🔧programming language design
Flag this post
Hypergraph Embedding Optimization for Graph Database Query Acceleration via Differential Evolution
dev.to·4h·
Discuss: DEV
🕸semantic web
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