Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.govยท2dยท
Discuss: Hacker News
๐Ÿ“ŠData Structures
Flag this post
My method for speedrunning your Literature Review
guara.techยท1dยท
Discuss: Hacker News
๐Ÿ”ŒAPIs
Flag this post
The 2025 Family Office Software Roundup
forbes.comยท3d
๐Ÿ”ŒAPIs
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.devยท2dยท
Discuss: Hacker News
๐Ÿ”ŒAPIs
Flag this post
AI isn't throttling HPC. It <em>is</em> HPC
theregister.comยท14h
๐Ÿ“ŠData Structures
Flag this post
How Payments Automation Helps CFOs Keep Up With Their Own Data
pymnts.comยท10h
๐Ÿ“ŠData Structures
Flag this post
American Wind Farms
tech.marksblogg.comยท5dยท
Discuss: Hacker News
๐Ÿ“ŠData Structures
Flag this post
How to Set Up Valkey, The Alternative to Redis
percona.comยท4d
๐Ÿ’ปCLI Tools
Flag this post
Show HN: Active Memory Plugin in Claude Code
shubhamattri.comยท2dยท
Discuss: Hacker News
๐ŸŒWebAssembly
Flag this post
GPT-5-mini gave me its system prompt (after a bit of manpulation).
reddit.comยท22hยท
Discuss: r/ChatGPT
โšกSystems Programming
Flag this post
Lightning Talk: Beyond Lua: Lightweight Envoy Extension With JavaScript - Takeshi Yoneda, Tetrate.io
youtube.comยท1h
๐ŸŒWebAssembly
Flag this post
My SQLite GDExtension - automatic Resource integration and WAL multi-threading
reddit.comยท4dยท
Discuss: r/godot
๐ŸŒWebAssembly
Flag this post
What is Argo Workflows?
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Concurrency
Flag this post
Patterns in Your Data Using Clustering in Tableau
dev.toยท6hยท
Discuss: DEV
๐ŸŒWebAssembly
Flag this post
Building Intelligent Game AI with CXXGraph: From Grid Pathfinding to Strategic Navigation
dev.toยท14hยท
Discuss: DEV
๐Ÿ“ŠData Structures
Flag this post
I Built an API-First Document Workflow Engine (Looking for Feedback)
dev.toยท9hยท
Discuss: DEV
๐Ÿ”ŒAPIs
Flag this post
AI is all about inference now
infoworld.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒAPIs
Flag this post
High-dimensional Bayesian filtering through deep density approximation
arxiv.orgยท19h
๐Ÿ“ŠData Structures
Flag this post
Decoupling Firebase Push Notification Logic with BullMQ - From Synchronous Chaos to Asynchronous Elegance
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Concurrency
Flag this post
On the Mechanisms of Collaborative Learning in VAE Recommenders
arxiv.orgยท19h
๐Ÿ“ŠData Structures
Flag this post