๐ฟ๏ธ 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
A Mental Model for C++ Coroutine
uvdn7.github.io
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Book review: A New Kind of Science (2005)
bactra.org
ยท
3d
ยท
Discuss:
Hacker News
๐
Query Engines
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev
ยท
1d
ยท
Discuss:
Hacker News
๐
Stream Processing
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com
ยท
1d
ยท
Discuss:
Substack
๐๏ธ
Database Internals
Data-Star.dev โ v1 and Beyond
data-star.dev
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Secure Your Keys with Keyand.me
thasso.xyz
ยท
1d
ยท
Discuss:
Hacker News
๐
Security Patterns
More Layers Unlock 2^N Transformer Context Depth with Divide and Conquer
ml-mike.com
ยท
7h
ยท
Discuss:
Hacker News
โก
SIMD Optimization
Preventing Reentrancy Bugs From Creeping Back In: Linking TLA+ Models to Rust Code
medium.com
ยท
4d
ยท
Discuss:
Lobsters
๐ป
Programming languages
Types are Transforming Python
spin.atomicobject.com
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com
ยท
1d
ยท
Discuss:
Substack
๐
Stream Processing
Using AMD MI300X for High-Throughput, Low-Cost LLM Inference
herdora.com
ยท
2h
ยท
Discuss:
Hacker News
๐
Performance Profiling
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Malware found in official gravityforms plugin indicating supply chain breach
patchstack.com
ยท
16h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Breaking Down and Explaining Type Parameters
hackernoon.com
ยท
22h
๐ป
Programming languages
Show HN: Optiverse โ Evolving Code with LLMs
mathieularose.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
A Refreshing SQL Injection Discovery in Z-Push
xbow.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Security Patterns
Data Science Weekly โ Issue 607
datascienceweekly.substack.com
ยท
1d
ยท
Discuss:
Substack
๐
Query Engines
My first verified (imperative) program
markushimmel.de
ยท
5d
ยท
Discuss:
Lobsters
,
Hacker News
,
r/programming
๐ป
Programming languages
Copyleft-Next Building the NextGen Copyleft License
fossforce.com
ยท
8h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Loading...
Loading more...
« Page 2
โข
Page 4 »