๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš–๏ธ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

ETH Surges Past $3K as Glassnode Flags Rare Flip in Futures Volume over Bitcoin
coindesk.comยท22hยท
Discuss: Hacker News
๐Ÿ”BitFunnel
Rules_derive: Deriving Using Macro_rules
matx.comยท4dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Thinking in Crypto Security for Cyberpunk Individuals
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸŒณArchive Merkle Trees
Show HN: NameFast โ€“ Generate names for your SaaS idea in seconds
news.ycombinator.comยท10hยท
Discuss: Hacker News
๐Ÿ”BitFunnel
Ask HN: How to visualize all human thought
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸงญContent Discovery
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
arxiv.orgยท4d
๐Ÿ”Hash Functions
Assessing Value of Renewable-based VPP Versus Electrical Storage: Multi-market Participation Under Different Scheduling Regimes and Uncertainties
arxiv.orgยท3d
๐Ÿ“ˆLinear programming
FovEx: Human-Inspired Explanations for Vision Transformers and Convolutional Neural Networks
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Enhanced Prediction of CAR T-Cell Cytotoxicity with Quantum-Kernel Methods
arxiv.orgยท3d
๐Ÿ”Quantum Security
Oranits: Mission Assignment and Task Offloading in Open RAN-based ITS using Metaheuristic and Deep Reinforcement Learning
arxiv.orgยท5d
๐Ÿ•ธ๏ธNetwork Topology
Self-Hosting AI Models After Claude's Usage Limits
steipete.meยท2dยท
Discuss: Hacker News, Hacker News
โšกHomebrew CPUs
Building Integrations With AI Assistance That Go Beyond Vibes
thenewstack.ioยท2d
๐ŸŽ™๏ธWhisper
New Programming Language
news.ycombinator.comยท5dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Anthropic's Ascendancy: Why Enterprises Choose Claude Over ChatGPT
dev.toยท1dยท
Discuss: DEV
๐Ÿ–ฅ๏ธModern Terminals
Knowledge-Guided Memetic Algorithm for Capacitated Arc Routing Problems with Time-Dependent Service Costs
arxiv.orgยท4d
๐Ÿ”—Topological Sorting
Hi dev.to โ€” I'm Saloni, and I build smart internal tools with data, cloud, and AI
dev.toยท14hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
On This Day in Math - August 1
pballew.blogspot.comยท2dยท
Discuss: www.blogger.com
๐ŸŽApple Computing
MQWEB and passtickets
colinpaice.blogยท1d
๐ŸขIBM Mainframes
Automatic Classification of User Requirements from Online Feedback -- A Replication Study
arxiv.orgยท4d
๐Ÿ“ŠFeed Optimization
Few-Shot Vision-Language Reasoning for Satellite Imagery via Verifiable Rewards
arxiv.orgยท4d
๐ŸงฎKolmogorov Complexity
Loading...Loading more...
AboutBlogChangelogRoadmap