Catalog of reliability properties for blockchains (Antithesis)
antithesis.comยท13hยท
Discuss: Hacker News
๐Ÿ—๏ธDesign Patterns
Flag this post
original โ†—
raymondcamden.comยท1d
๐Ÿ’ปprogramming
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
dev.toยท12hยท
Discuss: DEV
ฮปFunctional Programming
Flag this post
Day 23: Python Positive Sum Function โ€“ Calculate the Sum of Positive Numbers in a List
dev.toยท13hยท
Discuss: DEV
๐Ÿ”Recursion
Flag this post
Geonum โ€“ geometric number library for unlimited dimensions with O(1) complexity
github.comยท16hยท
Discuss: Hacker News
๐ŸŽจComputer Graphics
Flag this post
Quantum Network Tomography for General Topology with SPAM Errors
arxiv.orgยท2h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
Weekly Bookmarks
inkdroid.orgยท2d
๐Ÿ•ธ๏ธGraph Theory
Flag this post
On Designing Low-Latency Systems for High-Traffic Environments
hackernoon.comยท14h
๐Ÿ—๏ธDesign Patterns
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.comยท1d
ฮปFunctional Programming
Flag this post
Learn to Capitalize the First Letter of Each Word with Go
dev.toยท6hยท
Discuss: DEV
๐Ÿ”Recursion
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.orgยท1d
๐ŸŒณRed-Black Trees
Flag this post
How to Sort Arrays in Objective-c in 2025?
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปprogramming
Flag this post
EVINGCA: Adaptive Graph Clustering with Evolving Neighborhood Statistics
arxiv.orgยท2h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
Cracking the Cube: How Competitive Rubikโ€™s Cube Algorithms Inspire Modern AI and Programming
dev.toยท12hยท
Discuss: DEV
๐Ÿ”„Dynamic Programming
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.orgยท2h
๐ŸŽจComputer Graphics
Flag this post
Indexers in C# โ€” Making Your Classes Feel Like Arrays
dev.toยท2dยท
Discuss: DEV
๐Ÿ—๏ธDesign Patterns
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.orgยท2h
ฮปFunctional Programming
Flag this post
I don't know if you've seen this awesome list or not: A list of Game Development resources to make magic happen.
github.comยท12hยท
Discuss: r/gamedev
๐ŸŽจComputer Graphics
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.orgยท2h
๐Ÿ—๏ธDesign Patterns
Flag this post