Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·2h·
Discuss: Hacker News
🔄Concurrency
Flag this post
StranglerFigApplication
martinfowler.com·15h
💻CLI Tools
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·2h·
Discuss: Hacker News
🌐WebAssembly
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
kidger.site·1d·
Discuss: Hacker News
⚡Performance
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·1h·
Discuss: DEV
⚡Performance
Flag this post
glacier-creative-git/knowledge-graph-traversal-semantic-rag-research: Completed research on semantic retrieval augmented generation through novel knowledge grap...
github.com·15h
🗄️Database Design
Flag this post
From Ruby to Swift - Building a Maze Generation Framework
dev.to·5h·
Discuss: DEV
🍎iOS
Flag this post
I built a lightweight React table with per-column filtering and sorting
github.com·2d·
Discuss: r/reactjs
🌐WebAssembly
Flag this post
🤖Building an AI-Powered Digital Receptionist: Automating Business Communication
dev.to·1d·
Discuss: DEV
⚡Performance
Flag this post
HNG Internship Stage 1: String Analyzer API
dev.to·6d·
Discuss: DEV
🗄️Database Design
Flag this post
Thinking of learning Go for backend instead of Python -- worth it?
reddit.com·3d·
Discuss: r/golang
🌐WebAssembly
Flag this post
JSZip library in Chef codebase.
dev.to·2d·
Discuss: DEV
📱Recipe Apps
Flag this post
Develop AWS Glue job interactive sessions locally using Jupiter Notebook
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
Building an AI-Powered Resume Tailoring Pipeline: Lessons Learned
github.com·2d·
Discuss: DEV
🌐WebAssembly
Flag this post
Building a Modern CV Builder with React 19, TypeScript, and Firebase: A Complete Guide
dev.to·3d·
Discuss: DEV
🌐WebAssembly
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·1d·
Discuss: DEV
🍎iOS
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·11h·
Discuss: DEV
🍎iOS
Flag this post
Enhancing your .NET API with query language
dev.to·3d·
Discuss: DEV
🗄️Database Design
Flag this post
The Last SVG Tool You’ll Ever Need: A Zero-Dependency Alternative to SVGR
dev.to·12h·
Discuss: DEV
🌐WebAssembly
Flag this post
No OpenAI API? No Problem. Build RAG Locally with Ollama and FastAPI
dev.to·3d·
Discuss: DEV
🌐WebAssembly
Flag this post