๐ฟ๏ธ 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
Dexter Cows and Kefir Cheese
smallfarmersjournal.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Redis 8.2 is GA and brings more performance, efficiency, and new commands
redis.io
ยท
5d
ยท
Discuss:
Hacker News
๐๏ธ
Database Internals
Corporations aren't the reason your rent is too high
noahpinion.blog
ยท
1d
ยท
Discuss:
Hacker News
๐
Timeseries
EU's new AI code of practice could set regulatory standard for US companies
rhodeislandcurrent.com
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Palaeolithic carbonised plant food remains from Franchthi and Shanidar [pdf]
cambridge.org
ยท
3d
ยท
Discuss:
Hacker News
๐
Query Engines
The Dereliction of Due Process in the Scala Community
pretty.direct
ยท
6d
ยท
Discuss:
Hacker News
๐ฆ
Data Serialization
HRT's Python Fork: Leveraging PEP 690 for Faster Imports
hudsonrivertrading.com
ยท
6d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Exclusive: US embeds trackers in AI chip shipments to catch diversions to China, sources say
reuters.com
ยท
1d
ยท
Discuss:
Hacker News
,
r/China
,
r/hardware
๐
Systems Monitoring
MusicExtend
musicextend.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
OpenAI brings GPT-4o back as a default for all paying ChatGPT users, Altman promises โplenty of noticeโ if it leaves again
venturebeat.com
ยท
1d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Super Intelligence Is Collective Intelligence
romeviharo.substack.com
ยท
4d
ยท
Discuss:
Substack
๐
Distributed systems
Scaling the Memory Wall: The Rise and Roadmap of HBM
semianalysis.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Performance Profiling
Software Modernization Projects Dilemma (Part 1) โ Should you do it?
medium.com
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Programming languages
From Rising Star to Company Downfall: A Tale of Workplace Dynamics
news.ycombinator.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Time Series ML
Meta makes conservative activist an AI bias advisor following lawsuit
theverge.com
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
DuckDB
A Simple Model of Online Platform Enshittification
apoorvalal.github.io
ยท
3d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Vercel Goes All in on Vibe Coding Web Apps
thenewstack.io
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Pro-Russian hackers blamed for water dam sabotage in Norway
bleepingcomputer.com
ยท
7h
ยท
Discuss:
Hacker News
๐
Stream Processing
TIL about Cryptophasia, a phenomenon where a pair of twins develop a language only they can understand.
en.wikipedia.org
ยท
5d
ยท
Discuss:
Hacker News
,
r/todayilearned
๐ป
Programming languages
How I Made Next.js and PWA Finally Get Along โ With next-pwa-pack
hackernoon.com
ยท
5d
๐ฎ
Message Queues
Loading...
Loading more...
« Page 62
โข
Page 64 »