Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·14h·
Discuss: Hacker News
🏗️Calculus of Constructions
Flag this post
Risky Bulletin: Yanluowang ransomware IAB pleads guilty
news.risky.biz·8h
🛡️Security Type Systems
Flag this post
JanusCoder unites programming and visual design in one multimodal system
the-decoder.com·1d
🪞Homoiconicity
Flag this post
Real-Time Encrypted Emotion Recognition Using Homomorphic Encryption
eprint.iacr.org·3d
⚖️Weighted Automata
Flag this post
Deep learning models simultaneously trained on multiple datasets improve base-editing activity prediction
nature.com·2d
🗺️Region Inference
Flag this post
Antarys is a hackable vector database with built in embedding generation that can be directly embedded in any go projects
reddit.com·3d·
Discuss: r/golang
🤖Embedded Go
Flag this post
My Journey Improving a TTS Model for the Crimean Tatar Language
dev.to·2d·
Discuss: DEV
🌱Minimal ML
Flag this post
A Turing complete language in TypeScript types
github.com·1d·
Discuss: Hacker News
🔧API Design
Flag this post
StreamPulse – self-hosted microservice for monitoring RTSP/MJPEG camera streams
github.com·1d·
🌍HTTP Servers
Flag this post
Introduction to Godot C# Essentials | A microsoft introduction to Godot for C#
github.com·2d·
Discuss: r/godot
💬Interactive REPLs
Flag this post
So, I made a cross-platform 2D MMORPG with +20k registered accounts with Godot.
reddit.com·1d·
Discuss: r/godot
🏠indieweb
Flag this post
Revolutionizing Continuous Learning with Nested Neural Networks
dev.to·2d·
Discuss: DEV
🪜Recursive Descent
Flag this post
Testing While Developing (Part 5): Collecting Coverage
dev.to·10h·
Discuss: DEV
🐛Interactive Debuggers
Flag this post
User Reviews Synthesis: What Real Teams Say About Batch Background Tools
dev.to·4h·
Discuss: DEV
Live Programming
Flag this post
making my first game, is it okay if the prototype is a bit slow to make?
reddit.com·10h·
Discuss: r/gamedev
🐹Minimal Go
Flag this post
IT student in Embedded Systems
reddit.com·5h·
Discuss: r/embedded
💾Allocator Design
Flag this post
MLOps Best Practices: Streamlining AI Deployments in C# for 2025
dev.to·1d·
Discuss: DEV
🏗️MLIR
Flag this post
Fast Overview for Infraestructure as Data
dev.to·2d·
Discuss: DEV
📦Dependency Analysis
Flag this post
Episode 1: Arrays — The Hidden Logic Behind How Your Code Remembers
dev.to·13h·
Discuss: DEV
🪢Rope Data Structures
Flag this post
The Secret Life of Python: The String Intern Pool - When Two Strings Are One Object
dev.to·3d·
Discuss: DEV
📝String Interning
Flag this post