HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
crypto.forem.com·1d·
Discuss: DEV
⚖Algorithmic Game Theory
Flag this post
Show HN: SKRL is a language for expressing keyboard remaps and shortcuts
gitlab.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
An introduction to computer algebra (2018)
corywalker.me·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Giving C a Superpower: custom header file (safe_c.h)
hwisnu.bearblog.dev·15h
🧠Memory Management
Flag this post
New comment by timhh in "Why I love OCaml (2023)"
news.ycombinator.com·2d·
Discuss: Hacker News
📝Lisp
Flag this post
Towards the Perfect Coin Flip: The NIST Randomness Beacon (2014)
hackaday.com·1d·
Discuss: Hacker News
🔐Cryptography
Flag this post
Patterns for Building a Scalable Multi-Agent System
devblogs.microsoft.com·2d·
Discuss: Hacker News
⚡Concurrency
Flag this post
Some advise needed - hosting for AI chatbot
reddit.com·11h·
Discuss: r/selfhosted
🧩Theorem Proving
Flag this post
I created a app that can let ai draw and modify diagram for you
github.com·3h·
Discuss: r/ClaudeAI
🦀Rust
Flag this post
I built a Python tool to quickly evaluate Kubernetes NetworkPolicy security
reddit.com·1d·
Discuss: r/kubernetes
🔌Network Programming
Flag this post
Agentic AI Design Patterns
dev.to·10h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Weekly #45-2025: PHP Tricks, LLM Collaboration, SQL Speedups, and the Future of Web Payments
dev.to·23h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
📈Complexity Theory
Flag this post
7 Top API Design Platforms That Revolutionize Team Collaboration
dev.to·3d·
Discuss: DEV
🔌Network Programming
Flag this post
Self-Healing Application Framework - Autonomous Issue Resolution with Agentic Postgres
dev.to·22h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Generalization in Representation Models via Random Matrix Theory: Application to Recurrent Networks
arxiv.org·2h
🎲Probabilistic Programming
Flag this post
How I Fell Down the Rabbit Hole of Dots and Dashes
dev.to·2d·
Discuss: DEV
🦀Rust
Flag this post
My new project: Coz.jp
dev.to·1d·
Discuss: DEV
👐Open Source Software
Flag this post
A benchmark multimodal oro-dental dataset for large vision-language models
arxiv.org·2h
🎲Probabilistic Programming
Flag this post
Turn any of your APIs into a Kubernetes-native citizen
dev.to·3d·
Discuss: DEV
🦀Rust
Flag this post