๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Formal Methods
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 8
โข
Page 10 »