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

Near-cryogenic direct air capture using adsorbents
pubs.rsc.orgยท15hยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Internals
I was wrong about robots.txt
evgeniipendragon.comยท11hยท
Discuss: Lobsters, Hacker News
๐ŸŒDistributed systems
Enabling Rapid Genomic Analysis with Illumina Dragen on Amazon EC2 F2 Instances
aws.amazon.comยท1dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Internals
Programming Languages: Application and Interpretation
plai.orgยท3dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
The FIPS 140-3 Go Cryptographic Module
go.devยท2dยท
Discuss: Lobsters, Hacker News, r/golang, r/programming
๐Ÿ’ปProgramming languages
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.ioยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Divine Documentation
aneeshsathe.comยท21hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Why isn't packaging part of Python core development?
pydevtools.comยท20hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Wrote a deep dive on LLM tool calling with step-by-step REST and Spring AI examples
muthuishere.medium.comยท4dยท
Discuss: Hacker News, r/LocalLLaMA, r/programming
๐Ÿ’ปProgramming languages
Measuring the latency that GIL introduces to Python applications
coroot.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
AI integration in financial services: review of trends and regulatory challenges
nature.comยท1dยท
Discuss: Hacker News
๐Ÿ“ˆTimeseries
Privacy Is Web3โ€™s โ€œ0 To 1โ€ Moment
hackernoon.comยท20h
๐Ÿ”Security Patterns
Show HN: I built a self-learning AI without an LLM โ€“ memory, reflection
news.ycombinator.comยท5hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Open-source framework for real-time AI voice
github.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Let Me Cook You a Vulnerability: Exploiting the Thermomix TM5
synacktiv.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ“ŠPerformance Profiling
Pre-Auth SQLi to RCE โ€“ Fortinet FortiWeb Fabric Connector (CVE-2025-25257)
labs.watchtowr.comยท2dยท
Discuss: Hacker News
๐ŸนApache Arrow
The Evolution of AI Job Orchestration
blog.skypilot.coยท19hยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Remote Code Execution Discovered in XTool AnyScan App: Risks to Phones and Vehicles
nowsecure.comยท1dยท
Discuss: Hacker News
๐Ÿ”Security Patterns
Can the Law Compile? Legal Speech as Machine Code
hackernoon.comยท3d
๐Ÿ’ปProgramming languages
A new agentic IDE by AWS
kiroai.netยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Loading...Loading more...
AboutBlogChangelogRoadmap