Everything About Transformers
krupadave.comยท4d
๐Ÿ“Text Parsing
Flag this post
Celtic Code: Drawing Knots with Python
2earth.github.ioยท2hยท
Discuss: Hacker News
๐ŸฆดBinary Paleography
Flag this post
kadena-io/pact-5
github.comยท8h
๐Ÿ”“Open Source Software
Flag this post
I Ask AI for Permission Now (and I Hate Myself for It)
codecabin.devยท3hยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Becoming a Core Developer
stefaniemolin.comยท17h
๐Ÿฆ€Rust Macros
Flag this post
Music in rust with tunes
reddit.comยท9hยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท16hยท
Discuss: Hacker News
โš–๏ธVerification Calculi
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.ioยท9hยท
Discuss: Hacker News
โšกHomebrew CPUs
Flag this post
Patterns for Defensive Programming in Rust
corrode.devยท1dยท
Discuss: Hacker News
๐Ÿ”’Type Safety
Flag this post
Personalized AI Scaffolds Synergistic Multi-Turn Collaboration in Creative Work
arxiv.orgยท5h
๐Ÿ‘คSearch Personalization
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท3d
๐ŸงฎAlgebraic Archives
Flag this post
Building Syllabi โ€“ Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.toยท7hยท
Discuss: DEV
โšกProof Automation
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.toยท17hยท
Discuss: DEV
๐Ÿ—‚๏ธVector Search
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comยท2dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.orgยท5h
๐ŸคConsensus Algorithms
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท5d
๐Ÿ’ปProgramming languages
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท4hยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Flag this post
A Machine Learning-Based Framework to Shorten the Questionnaire for Assessing Autism Intervention
arxiv.orgยท5h
๐Ÿง Machine Learning
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.orgยท5h
๐Ÿ”ฒCellular Automata
Flag this post
Active transfer learning for structural health monitoring
arxiv.orgยท5h
๐Ÿง Machine Learning
Flag this post