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

Program Verification, Certified Compilation, Type Safety, Mobile Code

Anyone still have a scanner?
forums.anandtech.comยท1d
๐Ÿ“„Document Digitization
A Berkeley Odyssey: Ten years of BSD history (gitpi.us)
gitpi.usยท7h
๐Ÿ‡ฌ๐Ÿ‡งBritish Computing
Cactus Language โ€ข Pragmatics 9
inquiryintoinquiry.comยท2d
๐Ÿ“Concrete Syntax
How I Use LLMs for Data Harmonization: A Strategic, Limited Approach
rxdatalab.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Archival Workflows
From detection to trust: the evolving challenge of AI bot authentication
blog.castle.ioยท1dยท
Discuss: Hacker News
๐ŸŽซKerberos History
Show HN: Sylvio AI โ€“ Your Smartest Quiet Teammate
sylvioai.xyzยท12hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
PyCharm 2025.2: AI Toolkit for AI Engineers and More!
blog.jetbrains.comยท1d
โšกProof Automation
GitHub Nuked My Account at Midnight During Alpha Release
stack-junkie.comยท2dยท
Discuss: Hacker News
๐ŸŒฟgit
Little Mistakes in AI Can Lead to Big Problems
hackernoon.comยท3d
๐Ÿ”Vector Forensics
Good news - humans are getting better at spotting malware...but we're still pretty bad at it
techradar.comยท15h
๐Ÿฆ Malware Analysis
OpenIPC/firmware
github.comยท1d
๐Ÿ”“Open Source Software
Phishers Abuse Microsoft 365 to Spoof Internal Users
darkreading.comยท19h
๐ŸŽฏNTLM Attacks
Arduino Audio Spectrum on LED Dot Matrix 4 in 1 Display | DI
hackster.ioยท20h
๐ŸŽตGameboy Sound
Improve Retinal Artery/Vein Classification via Channel Couplin
arxiv.orgยท4h
๐Ÿ“ŠRate-Distortion Theory
Video-based Vehicle Surveillance in the Wild: License Plate, Make, and Model Recognition with Self Reflective Vision-Language Models
arxiv.orgยท2d
๐Ÿค–Advanced OCR
When Truth Is Overridden: Uncovering the Internal Origins of Sycophancy in Large Language Models
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
When Cars Have Stereotypes: Auditing Demographic Bias in Objects from Text-to-Image Models
arxiv.orgยท1d
๐Ÿค–Advanced OCR
AI Isn't Writing 90% of Your Code (But It Should Be Making You Money)
dev.toยท16hยท
Discuss: DEV
โšกProof Automation
Tech Breakthroughs of July 2025
dev.toยท1dยท
Discuss: DEV
๐Ÿ–ฅ๏ธTerminal Renaissance
Thinking With Videos: Multimodal Tool-Augmented Reinforcement Learning for Long Video Reasoning
arxiv.orgยท4h
๐Ÿง Learned Codecs
Loading...Loading more...
AboutBlogChangelogRoadmap