Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·10h·
Discuss: Hacker News
🏗️Calculus of Constructions
Flag this post
Optimizing the landing page
feeds.feedblitz.com·20h
🎮Language Ergonomics
Flag this post
Drax: Speech Recognition with Discrete Flow Matching
huggingface.co·16h·
Discuss: Hacker News
📊LR Parsing
Flag this post
Leaving PyTorch and Meta
soumith.ch·3d·
Discuss: Hacker News, Hacker News, r/programming
🔄Subinterpreters
Flag this post
3 Docker tips every beginner should know before running containers
howtogeek.com·14h
🔗Redis Protocols
Flag this post
Building Community Tech
jeanhsu.substack.com·1d·
Discuss: Substack
🔄Bootstrapping
Flag this post
Everyone is Missing GPT-4o: Why People Prefer it to GPT-5
hackernoon.com·16h
☁️Distributed Compilers
Flag this post
How to Connect Raspberry Pi to a Monitor in 2025?
dev.to·1d·
Discuss: DEV
🤖Embedded Go
Flag this post
I built a full-text search library for my iOS apps
github.com·1d·
Discuss: r/swift
🦉Swift Interpreters
Flag this post
Guidance pls:)
reddit.com·22h·
Discuss: r/embedded
💬Error Message Design
Flag this post
I set up a free system monitor that actually tells me why my PC is slow
makeuseof.com·16h
📈Performance Tools
Flag this post
Auth Series: Yet Another Password Authentication Flow.. but hear me out
dev.to·2h·
Discuss: DEV
🔗Hash Functions
Flag this post
💡 Next-Level Deployments in AWS ECS: Step-by-Step Guide to Linear & Canary Releases 🚀
dev.to·2d·
Discuss: DEV
🛡️Capability VMs
Flag this post
This is the one BIOS setting I always change first on every PC I build
xda-developers.com·1d
🔮Branch Predictors
Flag this post
Need help with local AI build and using lots of compute
reddit.com·1d·
Discuss: r/LocalLLaMA
🏰Capability Machines
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·15h·
Discuss: DEV
⚡Live Coding
Flag this post
The Red Queen Code Review Pattern — Perpetual Evolution in AI-Powered Development
dev.to·4d·
Discuss: DEV
💬Interactive REPLs
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
vibe.forem.com·1d·
Discuss: DEV
🌪️V8 Pipeline
Flag this post
The AI Speed Illusion
dev.to·5d·
Discuss: DEV
⚡Live Coding
Flag this post
Wiener process-assisted online remaining useful life prediction with deep incremental regression transfer learning
sciencedirect.com·1d
🚂Error Propagation
Flag this post