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

On This Day in Math - August 9
pballew.blogspot.comยท23hยท
Discuss: www.blogger.com
๐Ÿ“Mathematical Art
Fastly's Resilience to HTTP/1.1 Desynchronization Attacks
fastly.comยท3d
๐ŸŒDNS Security
Cybersecurity Snapshot: CISA Analyzes Malware Used in SharePoint Attacks, as U.K. Boosts Cyber Assessment Framework
tenable.comยท1d
๐Ÿ”“Hacking
The 17-character code that runs the automotive world
cardog.appยท3dยท
Discuss: Hacker News
โš™๏ธAssembly Verification
Apple taught an LLM to predict tokens up to 5x faster in math and coding tasks
9to5mac.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Why AI's Tom Cruise problem means it is 'doomed to fail' (2024)
theguardian.comยท11hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
JetBrains/intellij-community
github.comยท3d
๐Ÿ”“Open Source Software
๐ŸฒBeginners guide to "Leetcode 808: Soup Serving"(C++ | JavaScript | Python)
dev.toยท2dยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
Good context leads to good code: How we built an AI-Native Eng Culture
blog.stockapp.comยท3dยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Agentic Workflow: What's inside RAGFlow v0.20.0
medium.comยท1dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
How to Fix Flaky Automated Accessibility Test Scripts
dev.toยท2dยท
Discuss: DEV
๐ŸงชBinary Fuzzing
Attackers Target the Foundations of Crypto: Smart Contracts
darkreading.comยท1d
๐ŸŽซKerberos Attacks
VulnOS โ€œLegacyโ€ Lab Walkthrough
infosecwriteups.comยท2d
๐Ÿ Homelab Pentesting
Kubernetes Is Getting a Better YAML
thenewstack.ioยท2dยท
Discuss: Hacker News
๐Ÿ“ABNF Parsing
WHP Top 10 Covert Entry Vulnerabilities
wehackpeople.wordpress.comยท9h
๐Ÿ”“Hacking
Dynamic Decision Tree Pruning via Reinforcement Learning for Real-time Risk Assessment
dev.toยท8hยท
Discuss: DEV
๐ŸŒŠStream Processing
ChatGPT-5 in Cursor IDE
dev.toยท1dยท
Discuss: DEV
๐ŸŒณIncremental Parsing
Low Cost 42LC RPN calculator
hackster.ioยท11h
โšกHomebrew CPUs
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.orgยท4d
๐Ÿ“Linear Logic
REINA: Regularized Entropy Information-Based Loss for Efficient Simultaneous Speech Translation
arxiv.orgยท2d
๐ŸŽงLearned Audio
Loading...Loading more...
AboutBlogChangelogRoadmap