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
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