What do noise functions sound like?
aabiji.github.io·20h·
λLambda Calculus
Flag this post
Gottlob Frege’s Linguistic Concepts Explained
thecollector.com·1d
🎯Type Theory
Flag this post
Stop chatting, start doing: 5 AI tools that aren’t just another ChatGPT
androidauthority.com·2d
🌊Streaming Lexers
Flag this post
Query Compilation Isn't as Hard as You Think
databasearchitects.blogspot.com·4d·
🗃️Query Compilation
Flag this post
Adaptive Contrastive Learning via Dynamic Feature Masking for Fine-Grained Attribute Recognition
dev.to·1d·
Discuss: DEV
🗺️Region Polymorphism
Flag this post
Formal Verification’s Value Grows
semiengineering.com·5d
🎭Program Synthesis
Flag this post
Built my own password manager in Rust — learned a ton about encryption and ownership 🦀
reddit.com·1d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
I created a package and dependency manager for Godot
github.com·18h·
Discuss: r/godot
📦Package Managers
Flag this post
Ready-to-use local Claude Code or Codex like agent that can grind for hours and actually deliver
reddit.com·2d·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Flag this post
PromptCurator
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Flag this post
Had some fun building "Gaze Pong".. AI-generated faces that follow a pong ball 👀🏓
reddit.com·1d·
Discuss: r/webdev
🌙Lua
Flag this post
I don't why, but I love this language!
reddit.com·1d·
Discuss: r/Zig
Zig
Flag this post
2025 Heisman Trophy odds: Fernando Mendoza's Heisman moment reshapes the race
nytimes.com·2h
🧮Linear Algebra
Flag this post
AI Autopilot for AI: Dynamically Scaling Neural Nets on Edge Devices
dev.to·2d·
Discuss: DEV
🗺️Region Inference
Flag this post
TDS Newsletter: The Theory and Practice of Using AI Effectively
towardsdatascience.com·3d
🌱Minimal ML
Flag this post
Enhanced Spinodal Decomposition Prediction via Multi-Modal Data Fusion and HyperScore Evaluation
dev.to·3d·
Discuss: DEV
Effect Inference
Flag this post
Agentic Orchestrator with Tiger CLI
dev.to·9h·
Discuss: DEV
📋Souffle Datalog
Flag this post
AI’s Double-Edged Sword: Revolutionizing Mortgage-Backed Securities While Echoing 2007’s Warnings
bakersfield.marketminute.com·1d
🎭Program Synthesis
Flag this post