FilterHN

1.

A blueprint for formal verification of Apple corecrypto

1 points

|

|

security.apple.com

|

1.

A blueprint for formal verification of Apple corecrypto(security.apple.com)

▲ 1 points 0 comments

2.

Greeter terminal for bash, zsh, fish, PowerShell, Linux, macOS, Windows

1 points

|

|

|

2.

Greeter terminal for bash, zsh, fish, PowerShell, Linux, macOS, Windows(github.com)

▲ 1 points 0 comments

3.

SteelSpine: Replay tool for debugging AI agents

1 points

|

|

|

3.

SteelSpine: Replay tool for debugging AI agents(steelspine.ai)

▲ 1 points 1 comment

4.

Interpreting Polygenic Prediction of Cognitive Ability

1 points

|

|

icajournal.scholasticahq.com

|

4.

Interpreting Polygenic Prediction of Cognitive Ability(icajournal.scholasticahq.com)

▲ 1 points 0 comments

5.

What I've Learned from Agentic Design

1 points

|

|

chrislachance.com

|

5.

What I've Learned from Agentic Design(chrislachance.com)

▲ 1 points 0 comments

6.

Bun's unreleased Rust port has 13,365 unsafe blocks

4 points

|

|

|

6.

Bun's unreleased Rust port has 13,365 unsafe blocks(bun.com)

▲ 4 points 0 comments

7.

Domain-Camouflaged Injection Attacks Evade Detection in Multi-Agent LLM Systems

1 points

|

|

|

7.

Domain-Camouflaged Injection Attacks Evade Detection in Multi-Agent LLM Systems(arxiv.org)

▲ 1 points 0 comments

8.

Tell HN: Packj flags malicious/risky open-source packages

2 points

|

|

|

8.

Tell HN: Packj flags malicious/risky open-source packages(github.com)

▲ 2 points 0 comments

9.

The ten steps towards a dictatorship

3 points

|

|

|

9.

The ten steps towards a dictatorship(nonogra.ph)

▲ 3 points 0 comments

10.

Marketing sites don't need a CMS anymore

1 points

|

|

|

10.

Marketing sites don't need a CMS anymore(frigade.com)

▲ 1 points 0 comments

11.

How did Asterix and Obelix learn to speak fluent Hindi? (2019)

1 points

|

|

indulgexpress.com

|

11.

How did Asterix and Obelix learn to speak fluent Hindi? (2019)(indulgexpress.com)

▲ 1 points 1 comment

12.

Show HN: Generate free golf yardage books from OpenStreetMap data

1 points

|

|

npilk.github.io

|

12.

Show HN: Generate free golf yardage books from OpenStreetMap data(npilk.github.io)

▲ 1 points 0 comments

13.

Batty: A Multiplexer Built on Ghostty

1 points

|

|

batty.sstools.co

|

13.

Batty: A Multiplexer Built on Ghostty(batty.sstools.co)

▲ 1 points 1 comment

14.

NYSE Compression Case Study

1 points

|

|

|

14.

NYSE Compression Case Study(code.kx.com)

▲ 1 points 0 comments

15.

God Is Technology (2010)

2 points

|

|

|

15.

God Is Technology (2010)(archive.org)

▲ 2 points 1 comment

16.

Show HN: macOS utility to record and playback mouse, keyboard events

2 points

|

|

|

16.

Show HN: macOS utility to record and playback mouse, keyboard events(github.com)

▲ 2 points 0 comments

17.

Why the NTSB Shut Down Their Plane Crash Report Archive [video]

4 points

|

|

|

17.

Why the NTSB Shut Down Their Plane Crash Report Archive [video](youtube.com)

▲ 4 points 1 comment

18.

Interview with the Engineer of Uruky, a Private Search Engine

1 points

|

|

theprivacydad.com

|

18.

Interview with the Engineer of Uruky, a Private Search Engine(theprivacydad.com)

▲ 1 points 0 comments

19.

OpenCode and Cursor's Composer 2.5

5 points

|

|

cursor-api.standardagents.ai

|

19.

OpenCode and Cursor's Composer 2.5(cursor-api.standardagents.ai)

▲ 5 points 0 comments

20.

Google Updates Android Bug Bounty Program with $1.5M Offer

3 points

|

|

|

20.

Google Updates Android Bug Bounty Program with $1.5M Offer(forbes.com)

▲ 3 points 0 comments

21.

Herasight found embryo with potential IQ score in 99.99th percentile

2 points

|

|

|

21.

Herasight found embryo with potential IQ score in 99.99th percentile(twitter.com)

▲ 2 points 0 comments

22.

Schwung – open up your Ableton Move

1 points

|

|

|

22.

Schwung – open up your Ableton Move(schwung.dev)

▲ 1 points 0 comments

23.

Shortcuts Playground: Create Apple Shortcuts with Claude Code/Codex

1 points

|

|

|

23.

Shortcuts Playground: Create Apple Shortcuts with Claude Code/Codex(macstories.net)

▲ 1 points 0 comments

24.

60 Percent of Grades at Harvard Were A's. Enough Is Enough

2 points

|

|

|

24.

60 Percent of Grades at Harvard Were A's. Enough Is Enough(nytimes.com)

▲ 2 points 4 comments

25.

AI as a Design Medium

2 points

|

|

harvarddesignmagazine.org

|

25.

AI as a Design Medium(harvarddesignmagazine.org)

▲ 2 points 0 comments

26.

Secure Boot and Microsoft CA Rollover – a heads-up for distributions

2 points

|

|

blog.einval.com

|

26.

Secure Boot and Microsoft CA Rollover – a heads-up for distributions(blog.einval.com)

▲ 2 points 0 comments

27.

Social Science at the NSF

1 points

|

|

abundanceandgrowth.org

|

27.

Social Science at the NSF(abundanceandgrowth.org)

▲ 1 points 0 comments

28.

Frontier labs don't use most AI compute (yet)

1 points

|

|

epochai.substack.com

|

28.

Frontier labs don't use most AI compute (yet)(epochai.substack.com)

▲ 1 points 0 comments

29.

Meta Released a Reddit-Like App Built Around Facebook Groups

3 points

|

|

firethering.com

|

29.

Meta Released a Reddit-Like App Built Around Facebook Groups(firethering.com)

▲ 3 points 0 comments

30.

At Tyler Cowen University, No One Would Have Tenure

1 points

|

|

|

30.

At Tyler Cowen University, No One Would Have Tenure(bloomberg.com)

▲ 1 points 1 comment