🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Server CPU Sockets
etbe.coker.com.auΒ·1h
πŸ–₯️Modern CPU
On This Day in Math - August 1
pballew.blogspot.comΒ·1dΒ·
Discuss: www.blogger.com
🍎Apple Computing
Changing of the guard: Anthropic new AI market leader among US companies
heise.deΒ·5h
πŸ”„Language Evolution
Apple History - specs for every Apple computer, established 1996
apple-history.comΒ·7hΒ·
Discuss: Hacker News
🍎Apple Computing
Our first outage from LLM-written code
sketch.devΒ·1dΒ·
Discuss: Lobsters, Hacker News
πŸ”„Language Evolution
First impressions of ChatGPT study mode
leonfurze.comΒ·3dΒ·
Discuss: Hacker News
πŸ”Concolic Testing
Kyiv mourns after a Russian attack that killed 31 people, including 5 children
the-independent.comΒ·1d
πŸ”Polish Cryptanalysis
"The Impact of Artificial Intelligence on the Future of Work"
dev.toΒ·5hΒ·
Discuss: DEV
πŸ€–Advanced OCR
Seeing with Your Ear: A Humble Experiment in AI, Depth, and Spatial Sound
medium.comΒ·1dΒ·
Discuss: Hacker News
🎧Learned Audio
A Deep Learning Automatic Speech Recognition Model for Shona Language
arxiv.orgΒ·3d
πŸ€–Advanced OCR
Voxtral: The Open Source Speech Recognition We've Been Waiting For
dev.toΒ·2dΒ·
Discuss: DEV
πŸŽ™οΈWhisper
Learning Go, feedback on code / project
reddit.comΒ·2dΒ·
Discuss: r/golang
Ξ»Lambda Formalization
Automated Testing: A Software Engineering Concept Data Scientists Must Know To Succeed
towardsdatascience.comΒ·2d
⚑Proof Automation
Recovering Diagnostic Value: Super-Resolution-Aided Echocardiographic Classification in Resource-Constrained Imaging
arxiv.orgΒ·1d
πŸ€–Advanced OCR
Building Real-Time Deepfake Detection in Slack
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”“Open Source Software
MIMII-Agent: Leveraging LLMs with Function Calling for Relative Evaluation of Anomalous Sound Detection
arxiv.orgΒ·4d
🎡Audio ML
When "Private" Isn’t: The Security Risks of GPT Chats Leaking to Search Engines
dev.toΒ·10hΒ·
Discuss: DEV
🏠Personal Archives
Why You Should Learn Python Today
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Concrete Syntax
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.comΒ·2dΒ·
Discuss: Hacker News
πŸ”Concolic Testing
Vector Embeddings and Vector Search
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”Semantic Search
Loading...Loading more...
AboutBlogChangelogRoadmap