Construction and Classification of Crystalline Topological Superconductor and Insulators in Three-Dimensional Interacting Fermion Systems
link.aps.org·10h
🎯Type Theory
Show HN: Voicescri.pt – generate code hands-free with voice agents (BYOK)
voicescri.pt·19h·
Discuss: Hacker News
🔄Incremental Lexing
A PhD in Snapshots
rbharath.github.io·1d·
Discuss: Hacker News
🎯Finite Automata
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·3d·
Discuss: Lobsters, Hacker News
🎭Racket Modules
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·18h·
Discuss: Hacker News
🗺️Region Inference
I released an opensource static site generator for PHP (not Laravel or Symfony)
reddit.com·13h·
Discuss: r/opensource
🔄Bootstrapping
Are Linked Lists necessary?
dev.to·18h·
Discuss: DEV
🤐Zipper Structures
Any go lang devs, willing to help me implement some functionality in my project. Its open source.
reddit.com·2d·
Discuss: r/golang
🌙Lua
Query regarding assets.
reddit.com·1d·
Discuss: r/godot
🔒Rust Borrowing
October 6 letter
dev.to·1h·
Discuss: DEV
⚡Live Coding
Show HN: Horcrux: Split files into encrypted fragments for Node and React Native
github.com·4h·
Discuss: Hacker News
✨Gleam
What should I do
reddit.com·2d·
Discuss: r/golang
🐹Go Internals
Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
arxiv.org·6h
💬Interactive REPLs
Relative Code Comprehensibility Prediction
arxiv.org·6h
🎮Language Ergonomics
Mapping Patient-Perceived Physician Traits from Nationwide Online Reviews with LLMs
arxiv.org·6h
🔍ML Language
Built a small Rust-based LC-3 linter & formatter — feedback welcome!
reddit.com·7h·
Discuss: r/rust
🚂Cranelift Backend
Type Theory and Functional Programming (1999) [pdf]
dev.to·5d·
Discuss: DEV
🎯Type Theory
I NEED SOMEBODY TELL ME I CAN DO IT
reddit.com·14h·
Discuss: r/reactjs
🏠indieweb
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·6h
🔍ML Language
Junior Dev vs Senior Dev: A Real-World Laravel API Challenge (AI vs Fundamentals)
dev.to·35m·
Discuss: DEV
🎮Language Ergonomics