FilterHN

1.

Zero-knowledge SAT validation engine

1 points

|

|

ptsf-engine.vercel.app

|

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

|

|

|

2.

Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video](youtube.com)

▲ 2 points 0 comments

3.

Automating my job away

1 points

|

|

austinhenley.com

|

3.

Automating my job away(austinhenley.com)

▲ 1 points 0 comments

4.

The Redistribution of Housing Wealth Caused by Rent Control [pdf]

7 points

|

|

|

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

|

|

|

5.

Half-Life able to run on ReactOS(xcancel.com)

▲ 2 points 1 comment

6.

Making Claude a Chemist

5 points

|

|

|

6.

Making Claude a Chemist(anthropic.com)

▲ 5 points 0 comments

7.

3 points

|

|

|

7.

Life Evolved(github.com)

▲ 3 points 0 comments

8.

Weave: Merging based on language structure and not lines

3 points

|

|

ataraxy-labs.github.io

|

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

|

|

meettabby.netlify.app

|

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

|

|

bastion.computer

|

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

|

|

|

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

|

|

open.library.ubc.ca

|

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

|

|

|

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

|

|

|

14.

AUR Malware Attack: Do Not Update [video](youtube.com)

▲ 1 points 3 comments

15.

Building a serial and VGA "everything console"

2 points

|

|

oldvcr.blogspot.com

|

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

|

|

internetfreedom.torproject.org

|

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

|

|

theregister.com

|

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

|

|

|

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

|

|

universalhub.com

|

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

|

|

|

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

|

|

igor-blue.github.io

|

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

|

|

brew-browser.zerologic.com

|

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

|

|

johnowhitaker.github.io

|

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

|

|

terralocate.com

|

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

|

|

coolmarketingsoftware.com

|

25.

Download Free Marketing Software(coolmarketingsoftware.com)

▲ 2 points 0 comments

26.

What Should I Build?

1 points

|

|

26.

What Should I Build?

▲ 1 points 0 comments

27.

ClawMoat, runtime containment for AI agents after Fable 5

1 points

|

|

|

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

|

|

|

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

|

|

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

|

|

|

30.

GIER: A Danish computer from 1961 with a role in the modern astronomy(arxiv.org)

▲ 1 points 0 comments