Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 compilers
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2590
posts in
108.6
ms
aweussom/HowToShootYourselfInTheFoot
: How to shoot yourself in the foot - using: Operating Systems, Programming Languages etc.
github.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
lukeb-aidev/cohesix
: Cohesix is an open-source high-assurance control-plane operating system built on the formally verified seL4 microkernel, designed to keep the trusted computing base intentionally small while enabling deterministic orchestration of edge GPU systems and auditable MLOps.
github.com
·
5d
·
Discuss:
Hacker News
⚙️
systems programming
Word to
PDF
–
Convert
Word to
PDF
Online for Free (Safe & Private)
toolkuai.com
·
16h
·
Discuss:
Hacker News
🐫
ocaml
Fed on
Reams
of Cell Data, AI Maps New
Neighborhoods
in the Brain
quantamagazine.org
·
16h
·
Discuss:
Hacker News
🗄️
databases
BMW’s Newest “Innovation” is a
Logo-Shaped
Middle
Finger
to Right to Repair
fr.ifixit.com
·
17h
·
Discuss:
Hacker News
⚙️
systems programming
US is
dependent
on European tech too, chips
bosses
warn
politico.eu
·
17h
·
Discuss:
Hacker News
🐫
ocaml
Trying out
Thunderbird
Appointment While I
Patiently
Await For An Invite
blog.matthewbrunelle.com
·
17h
·
Discuss:
Lobsters
,
Hacker News
🌐
network programming
Jimmy
Lai
: Hong Kong pro-democracy
tycoon
gets 20 years' jail under national security law
bbc.com
·
16h
·
Discuss:
Hacker News
🗄️
databases
Making
Waffles
with Group
Theory
hmpcabral.com
·
17h
·
Discuss:
Hacker News
🐫
ocaml
Turn iMessage Conversations into
Printable
Keepsakes
chatkeepsake.com
·
16h
·
Discuss:
Hacker News
🐫
ocaml
Virtual
Staging
Software | AI
Interior
Design for Real Estate
aistage.pro
·
17h
·
Discuss:
Hacker News
✅
formal methods
Decoding
China’s New Space
Philosophy
universetoday.com
·
17h
·
Discuss:
Hacker News
⚙️
systems programming
Identification of Chlamydia pneumoniae and
NLRP3
inflammasome
activation in Alzheimer’s disease retina
nature.com
·
16h
·
Discuss:
Hacker News
🗄️
databases
How to Quiet a
Ugreen
4800 Plus Without
Sacrificing
Drive Temps
blog.tymscar.com
·
16h
·
Discuss:
Hacker News
,
r/homelab
⚙️
systems programming
Signing JSON Web
Tokens
: Algorithm
Tradeoffs
, Performance, and Security
ciamweekly.substack.com
·
17h
·
Discuss:
Substack
✅
formal methods
Testing software in the era of coding agents
garymm.org
·
16h
·
Discuss:
Hacker News
⚙️
systems programming
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
9h
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
How
Institutions
Forget
How to Move
seeingthesystem.com
·
14h
·
Discuss:
Hacker News
,
r/longform
⚙️
systems programming
Vibe
Coding:
Lessons
Learned
michelenasti.com
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
Why Every Business Must
Engage
with AI
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 17
•
Page 19 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help