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
2615
posts in
261.1
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
Hims
cancels plans to sell
compounded
GLP-1 pill after FDA backlash
biopharmadive.com
·
18h
·
Discuss:
Hacker News
🗄️
databases
The power of anime: using anime for education and
outreach
in
STEM
frontiersin.org
·
18h
·
Discuss:
Hacker News
🌐
network programming
Show HN:
DayTape
– record thoughts, get
transcripts
, takeaways, and patterns
apps.apple.com
·
18h
·
Discuss:
Hacker News
🗄️
databases
Show HN: Orange
Juice
Hacker
News browser extension
oj-hn.com
·
18h
·
Discuss:
Hacker News
🌐
network programming
America Has a
Tungsten
Problem
noleary.com
·
18h
·
Discuss:
Hacker News
⚡
query optimization
Ultrasound-Activated
Nonvolatile
State Storage in
Piezoelectric-Memristive
Core-Shell Particles: A Theoretical Framework
zenodo.org
·
18h
·
Discuss:
Hacker News
✅
formal methods
AGI/Singularity
: 9,300 Predictions
Analyzed
research.aimultiple.com
·
18h
·
Discuss:
Hacker News
⚙️
systems programming
Strengthening
Windows trust and security through User Transparency and
Consent
blogs.windows.com
·
18h
·
Discuss:
Hacker News
⚙️
systems programming
A Brief History of
Oral
Peptides
seangeiger.substack.com
·
17h
·
Discuss:
Substack
🗄️
databases
Deep Research
Prompt
—
Validate
Any Startup Idea for Free
brainwave.vc
·
18h
·
Discuss:
Hacker News
🗄️
databases
AI Helps Scam Centers
Evade
Crackdown in Asia,
Dupe
More Victims
bloomberg.com
·
18h
·
Discuss:
Hacker News
🗄️
databases
How to
elevate
visual
storytelling
with Nano Banana Pro
theaithinker.com
·
18h
·
Discuss:
Hacker News
⚙️
systems programming
‘What I see in clinic is never a set of labels’: are we in danger of
overdiagnosing
mental
illness
?
theguardian.com
·
10h
·
Discuss:
Hacker News
,
r/Longreads
🗄️
databases
Having a well
paid
side-hustle
while working in tech leadership
news.ycombinator.com
·
12h
·
Discuss:
Hacker News
⚙️
systems programming
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
9h
·
Discuss:
Hacker News
⚙️
systems programming
Ask HN: Am I
holding
it wrong?
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🐫
ocaml
Data
Modeling
Is
Changing
ssp.sh
·
15h
·
Discuss:
Hacker News
🗄️
databases
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
13h
·
Discuss:
Hacker News
✅
formal methods
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