Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
forks's submissions
login
1.
AWS Duvet: a bidirectional link between implementation and specification
(
awslabs.github.io
)
12 points
by
forks
34 days ago
|
past
|
1 comment
2.
Hax: Verifying Security-Critical Rust Software Using Multiple Provers
(
iacr.org
)
2 points
by
forks
34 days ago
|
past
3.
Bake Oven Knob
(
wikipedia.org
)
2 points
by
forks
37 days ago
|
past
4.
Learning from Sudoku Solvers (2007)
(
ravimohan.blogspot.com
)
22 points
by
forks
45 days ago
|
past
|
8 comments
5.
Architecting Security for Agentic Capabilities in Chrome
(
googleblog.com
)
1 point
by
forks
45 days ago
|
past
6.
Continuously hardening ChatGPT Atlas against prompt injection attacks
(
openai.com
)
3 points
by
forks
45 days ago
|
past
7.
We removed 80% of our agent's tools
(
vercel.com
)
3 points
by
forks
59 days ago
|
past
8.
Calm: Consistency as Logical Monotonicity
(
bloom-lang.net
)
3 points
by
forks
61 days ago
|
past
9.
How the 'Lethal Trifecta' sets the conditions for stealing data on command
(
scworld.com
)
1 point
by
forks
65 days ago
|
past
|
1 comment
10.
The Missing Abstraction for AI Agents: The Agent Filesystem
(
turso.tech
)
2 points
by
forks
3 months ago
|
past
11.
You Just Don't Need Tox
(
lukasatkinson.de
)
4 points
by
forks
8 months ago
|
past
12.
Warby Parker Partners with Google to Develop Intelligent Eyewear
(
warbyparker.com
)
1 point
by
forks
9 months ago
|
past
13.
NOAA Ocean Explorer: A Collection of Sounds from the Sea
(
noaa.gov
)
1 point
by
forks
on Feb 16, 2025
|
past
14.
Arena Proposal: Impact Reports
(
phila.gov
)
1 point
by
forks
on Aug 27, 2024
|
past
15.
Is it time to reconsider the keyboard pants?
(
theverge.com
)
3 points
by
forks
on Aug 8, 2024
|
past
|
1 comment
16.
Winning Connect4 with Monte-Carlo Tree Search
(
steveindusteves.com
)
4 points
by
forks
on Aug 8, 2023
|
past
|
2 comments
17.
We Built an LSP-Powered VS Code Extension with Rust, WASM, and TypeScript
(
osohq.com
)
19 points
by
forks
on Jan 10, 2022
|
past
|
4 comments
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: