Friday 7 November, 2025
memex.naughtons.org·12h
⚡Partial Evaluation
Flag this post
Bit counting and geometric series
veitner.bearblog.dev·18h
🔢Bit Manipulation
Flag this post
Use the "Bloom Test" Before Making Anki Cards
leananki.com·1h·
Discuss: Hacker News
🎓Educational Compilers
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·1d·
Discuss: Hacker News
🛡️Security Type Systems
Flag this post
Pain Points of OCaml
quamserena.com·3d·
Discuss: Lobsters, Hacker News
🐪OCaml
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·20h·
Discuss: Hacker News
🎮Language Ergonomics
Flag this post
My resume!
cant.bearblog.dev·18h
🌙Lua
Flag this post
Beyond Context Overload: How Parlant × Milvus Brings Control and Clarity to LLM Agent Behavior
milvus.io·2d
🔧Error Recovery
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·3d·
Discuss: DEV
🏗️MLIR
Flag this post
Physics-informed operator learning for real-time battery state estimation
sciencedirect.com·12m
🔌Microcontrollers
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·2d
📋Tablegen
Flag this post
List Decoding and New Bicycle Code Constructions for Quantum LDPC Codes
arxiv.org·1d
📡Binary Protocols
Flag this post
Students' Acceptance of Arduino Technology Integration in Student-Led Science Inquiry: Insights from the Technology Acceptance Model
arxiv.org·8h
🛠programming language development
Flag this post
Show HN: AI Coding Agents: Intent-Driven Development Guidelines
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·1d
🏗️MLIR
Flag this post
The Unseen Architecture of Python: Mastering Environments, Typing, and Memory
dev.to·1d·
Discuss: DEV
🛠programming language development
Flag this post
Rethinking Vibe Coding: A Skeptic's Field Notes
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
How did you guys ACTUALLY LEARN Godot? (And how do I?)
reddit.com·2d·
Discuss: r/godot
🧸Toy Compilers
Flag this post
Are We Aligned? A Preliminary Investigation of the Alignment of Responsible AI Values between LLMs and Human Judgment
arxiv.org·8h
🎮Language Ergonomics
Flag this post
<p>**Abstract:** This paper introduces a novel framework for automated, multi-modal analysis of gene expression data coupled with clinical metadata to provide e...
freederia.com·17h
✨Effect Inference
Flag this post