๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

US Physics Team Wins International Olympiad
aas.orgยท3hยท
Discuss: Hacker News
๐ŸŒDistributed systems
Tesla to pay $243M in deadly Autopilot crash: 'This will open the floodgates'
nypost.comยท6hยท
Discuss: Hacker News
๐Ÿ“ŠSystems Monitoring
Exclusive: Three Intel senior executives to retire amid manufacturing shake up
reuters.comยท1dยท
Discuss: Hacker News, r/hardware
๐ŸŒDistributed systems
Show HN: MindSafe Journal โ€“ An Offline Mental Health Privacy Journal
onionwave7.gumroad.comยท7hยท
Discuss: Hacker News
๐Ÿ”Security Patterns
How to sell open source technology to the government
openthc.comยท2dยท
Discuss: Hacker News, r/opensource
๐ŸŒDistributed systems
Network tokens, the payment tech you've never heard of
birchtree.meยท1dยท
Discuss: Hacker News
๐Ÿ”Security Patterns
Learning Analog System Design With the MOSbius
spectrum.ieee.orgยท2dยท
Discuss: Hacker News, r/hardware
๐ŸนApache Arrow
Under RFK Jr, CDC skips study on vaccination rates, quietly posts data on drop
arstechnica.comยท14h
๐Ÿ“ˆTimeseries
Nvidia-backed startup invents Ethernet memory pool to help power AI โ€” claims it can add up to 18TB of DDR5 capacity for large-scale inference workloads and redu...
tomshardware.comยท3dยท
Discuss: Hacker News
๐ŸนApache Arrow
Artificial intelligence that "feels" guilt could lead to more cooperation
sciencenews.orgยท2dยท
Discuss: Hacker News
๐ŸŒDistributed systems
When Fluid Flows Become Computers: A New Limit to AI's Predictive Power
lightcapai.medium.comยท5dยท
Discuss: Hacker News
๐ŸŒDistributed systems
How Cursor Serves Billions of AI Code Completions Every Day
blog.bytebytego.comยท3dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Patents by Silk Typhoon-linked co hint at China's offensive hacking capabilities
therecord.mediaยท1hยท
Discuss: Hacker News
๐Ÿ”Security Patterns
The Biggest Signs That AI Wrote a Paper, According to a Professor
gizmodo.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Protecting Infra from Humans and Agents
github.comยท2dยท
Discuss: Hacker News
๐ŸงฉMicroservices
The Church's AI Doctrine: Human Dignity in the Age of AI
syntheticauth.aiยท3dยท
Discuss: Hacker News
๐ŸŒDistributed systems
Subliminal Learning: Language models transmit behavioral traits via hidden
arxiviq.substack.comยท3dยท
Discuss: Substack
๐Ÿ”Security Patterns
Progress update for Mixreel (3D and video-to-video)
mixreel.aiยท1dยท
Discuss: Hacker News
โšกSIMD Optimization
Show HN: Dfembed is a Rust-powered Python lib turning DataFrames into vector db
github.comยท3dยท
Discuss: Hacker News
๐ŸนApache Arrow
Neco is a C library that provides concurrency using coroutines
github.comยท5dยท
Discuss: Hacker News
๐ŸŒDistributed systems
Loading...Loading more...
AboutBlogChangelogRoadmap