๐Ÿฟ๏ธ 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

Porn site traffic plummets as UK age verification rules enforced
bbc.co.ukยท15hยท
Discuss: Hacker News
๐ŸนApache Arrow
Vanishing Y chromosomes seem to be driving heart disease in men
newscientist.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Staff fear UK's Turing AI Institute at risk of collapse
bbc.co.ukยท2dยท
Discuss: Hacker News
๐Ÿ“ˆTime Series ML
Open Sourcing Roblox Sentinel: Roblox's Approach to Preemptive Risk Detection
corp.roblox.comยท6dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
EyJaafCsubstantially: Cramming English words into JSON web tokens
tesseral.comยท6dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Lifelogging under fascism
werd.ioยท3dยท
Discuss: Hacker News
๐Ÿ”Security Patterns
The day Twitter suspended me
rubenerd.comยท3dยท
Discuss: Hacker News
๐Ÿ”Security Patterns
Where Are They? (2008)
nickbostrom.comยท4dยท
Discuss: Hacker News
๐ŸŒDistributed systems
You've got drought: UK gov suggests you save water by . . . deleting old emails
theregister.comยท1dยท
Discuss: Hacker News
๐Ÿ“ˆTime Series ML
Ask HN: Why did tech news sites report that Linux dropped Intel 486 support?
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸŒDistributed systems
Show HN: Grid-table โ€“ Emacs grid table with rich text, images, formulas
github.comยท4dยท
Discuss: Hacker News
๐ŸนApache Arrow
Automating Web3 Life: WORLD3 Unveils Expert Agent Demo And Launches Pre-TGE Campaign
hackernoon.comยท2d
๐ŸงฉMicroservices
An Engineer's Perspective on Hiring
jyn.devยท5dยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming
๐Ÿ’ปProgramming languages
AI Eroded Doctorsโ€™ Ability to Spot Cancer Within Months in Study
bloomberg.comยท1dยท
Discuss: Hacker News
๐Ÿ“ˆTime Series ML
OpenAI Moves Fast and Breaks ChatGPT
spyglass.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
Ask HN: Looking for an AI Research Mentor
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿ“ˆTime Series ML
The GPT-5 Prompt Gap: The Hidden Reason Your AI Outputs Suck
hackernoon.comยท3d
๐Ÿ“ˆTime Series ML
Show HN: Visualizing my 500 journal entries and building an LLM-ghost upon it
github.comยท4dยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
Replacing Agent Prompt Templates with Trainable Control Modules in DSPy
viksit.substack.comยท6dยท
Discuss: Substack
๐ŸŒŠStream Processing
Russia Is Suspected to Be Behind Breach of Federal Court Filing System
nytimes.comยท1dยท
Discuss: Hacker News
๐Ÿ“ˆTime Series ML
Loading...Loading more...
AboutBlogChangelogRoadmap