FilterHN
new
ask
show
jobs
submit
FilterHN
show menu
1.
Zero-knowledge SAT validation engine
1 points
|
0 comments
|
ptsf-engine.vercel.app
|
upvote
1.
Zero-knowledge SAT validation engine
(ptsf-engine.vercel.app)
▲ 1 points
0 comments
2.
Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]
2 points
|
0 comments
|
youtube.com
|
upvote
2.
Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]
(youtube.com)
▲ 2 points
0 comments
3.
Automating my job away
1 points
|
0 comments
|
austinhenley.com
|
upvote
3.
Automating my job away
(austinhenley.com)
▲ 1 points
0 comments
4.
The Redistribution of Housing Wealth Caused by Rent Control [pdf]
7 points
|
1 comment
|
rhawa.org
|
upvote
4.
The Redistribution of Housing Wealth Caused by Rent Control [pdf]
(rhawa.org)
▲ 7 points
1 comment
5.
Half-Life able to run on ReactOS
2 points
|
1 comment
|
xcancel.com
|
upvote
5.
Half-Life able to run on ReactOS
(xcancel.com)
▲ 2 points
1 comment
6.
Making Claude a Chemist
5 points
|
0 comments
|
anthropic.com
|
upvote
6.
Making Claude a Chemist
(anthropic.com)
▲ 5 points
0 comments
7.
Life Evolved
3 points
|
0 comments
|
github.com
|
upvote
7.
Life Evolved
(github.com)
▲ 3 points
0 comments
8.
Weave: Merging based on language structure and not lines
3 points
|
1 comment
|
ataraxy-labs.github.io
|
upvote
8.
Weave: Merging based on language structure and not lines
(ataraxy-labs.github.io)
▲ 3 points
1 comment
9.
Show HN: Tabby – sleeps tabs based on RAM pressure, not fixed timers
2 points
|
0 comments
|
meettabby.netlify.app
|
upvote
9.
Show HN: Tabby – sleeps tabs based on RAM pressure, not fixed timers
(meettabby.netlify.app)
▲ 2 points
0 comments
10.
Show HN: Bastion – isolated Linux VMs for background coding agents
1 points
|
0 comments
|
bastion.computer
|
upvote
10.
Show HN: Bastion – isolated Linux VMs for background coding agents
(bastion.computer)
▲ 1 points
0 comments
11.
Thirty Years My Open Source Project: The ApeSDK/Noble Ape
1 points
|
1 comment
|
apesdk.com
|
upvote
11.
Thirty Years My Open Source Project: The ApeSDK/Noble Ape
(apesdk.com)
▲ 1 points
1 comment
12.
The Rise of Housing Nationalism in Canada and Transnational Ownership Patterns
2 points
|
0 comments
|
open.library.ubc.ca
|
upvote
12.
The Rise of Housing Nationalism in Canada and Transnational Ownership Patterns
(open.library.ubc.ca)
▲ 2 points
0 comments
13.
I will put a talking persona on your website
1 points
|
2 comments
|
usegoblin.xyz
|
upvote
13.
I will put a talking persona on your website
(usegoblin.xyz)
▲ 1 points
2 comments
14.
AUR Malware Attack: Do Not Update [video]
1 points
|
3 comments
|
youtube.com
|
upvote
14.
AUR Malware Attack: Do Not Update [video]
(youtube.com)
▲ 1 points
3 comments
15.
Building a serial and VGA "everything console"
2 points
|
0 comments
|
oldvcr.blogspot.com
|
upvote
15.
Building a serial and VGA "everything console"
(oldvcr.blogspot.com)
▲ 2 points
0 comments
16.
Quadratic funding democratizes allocation by rewarding projects w/ broad support
2 points
|
0 comments
|
internetfreedom.torproject.org
|
upvote
16.
Quadratic funding democratizes allocation by rewarding projects w/ broad support
(internetfreedom.torproject.org)
▲ 2 points
0 comments
17.
If your sex life is dead, you can blame Steve Jobs
6 points
|
1 comment
|
theregister.com
|
upvote
17.
If your sex life is dead, you can blame Steve Jobs
(theregister.com)
▲ 6 points
1 comment
18.
Make stolen phones unusable, Met Police urges tech giants
2 points
|
0 comments
|
bbc.com
|
upvote
18.
Make stolen phones unusable, Met Police urges tech giants
(bbc.com)
▲ 2 points
0 comments
19.
Judge re-opens eBay harassment lawsuit after settlement talks break down
2 points
|
0 comments
|
universalhub.com
|
upvote
19.
Judge re-opens eBay harassment lawsuit after settlement talks break down
(universalhub.com)
▲ 2 points
0 comments
20.
Open-Cowork: open-source alternative to Claude Cowork with BYOK
1 points
|
0 comments
|
github.com
|
upvote
20.
Open-Cowork: open-source alternative to Claude Cowork with BYOK
(github.com)
▲ 1 points
0 comments
21.
Apt Encounters of the Third Kind
4 points
|
0 comments
|
igor-blue.github.io
|
upvote
21.
Apt Encounters of the Third Kind
(igor-blue.github.io)
▲ 4 points
0 comments
22.
Brew Browser – A Native macOS GUI for Homebrew
1 points
|
0 comments
|
brew-browser.zerologic.com
|
upvote
22.
Brew Browser – A Native macOS GUI for Homebrew
(brew-browser.zerologic.com)
▲ 1 points
0 comments
23.
Show HN: Inkwash, a watercolor sketching app and explanation
1 points
|
0 comments
|
johnowhitaker.github.io
|
upvote
23.
Show HN: Inkwash, a watercolor sketching app and explanation
(johnowhitaker.github.io)
▲ 1 points
0 comments
24.
The Australian Town Where More Than Half the Population Lives Underground
1 points
|
0 comments
|
terralocate.com
|
upvote
24.
The Australian Town Where More Than Half the Population Lives Underground
(terralocate.com)
▲ 1 points
0 comments
25.
Download Free Marketing Software
2 points
|
0 comments
|
coolmarketingsoftware.com
|
upvote
25.
Download Free Marketing Software
(coolmarketingsoftware.com)
▲ 2 points
0 comments
26.
What Should I Build?
1 points
|
0 comments
|
upvote
26.
What Should I Build?
▲ 1 points
0 comments
27.
ClawMoat, runtime containment for AI agents after Fable 5
1 points
|
0 comments
|
clawmoat.com
|
upvote
27.
ClawMoat, runtime containment for AI agents after Fable 5
(clawmoat.com)
▲ 1 points
0 comments
28.
5.3M-year-old deep-sea whale necropolis in the Diamantina Zone
4 points
|
0 comments
|
nature.com
|
upvote
28.
5.3M-year-old deep-sea whale necropolis in the Diamantina Zone
(nature.com)
▲ 4 points
0 comments
29.
Ask HN: Which cheap Chinese LLM are you using?
5 points
|
0 comments
|
upvote
29.
Ask HN: Which cheap Chinese LLM are you using?
▲ 5 points
0 comments
30.
GIER: A Danish computer from 1961 with a role in the modern astronomy
1 points
|
0 comments
|
arxiv.org
|
upvote
30.
GIER: A Danish computer from 1961 with a role in the modern astronomy
(arxiv.org)
▲ 1 points
0 comments
next page →