FilterHN

1.

Lean Theorem Prover Mathlib

1 points

|

|

|

1.

Lean Theorem Prover Mathlib(github.com)

▲ 1 points 0 comments

2.

Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco

2 points

|

|

|

2.

Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco(kavi.sh)

▲ 2 points 0 comments

3.

Show HN: A game engine that transpiles your scripts to Rust for native perf

1 points

|

|

|

3.

Show HN: A game engine that transpiles your scripts to Rust for native perf(github.com)

▲ 1 points 0 comments

4.

Using a projector instead of a computer monitor

1 points

|

|

blog.shenjiasi.com

|

4.

Using a projector instead of a computer monitor(blog.shenjiasi.com)

▲ 1 points 0 comments

5.

FDA leaders propose new 'plausible mechanism' pathway for bespoke medicines

2 points

|

|

|

5.

FDA leaders propose new 'plausible mechanism' pathway for bespoke medicines(raps.org)

▲ 2 points 0 comments

6.

If a Meta AI model can read a brain-wide signal, why wouldn't the brain?

1 points

|

|

|

6.

If a Meta AI model can read a brain-wide signal, why wouldn't the brain?(1393.xyz)

▲ 1 points 0 comments

7.

Shooting at Brown U Barus and Holley building houses engineering and physics

2 points

|

|

rhodeislandcurrent.com

|

7.

Shooting at Brown U Barus and Holley building houses engineering and physics(rhodeislandcurrent.com)

▲ 2 points 0 comments

8.

Honing rods analyzed with an electron microscope – Scienceofsharp (2018)

1 points

|

|

scienceofsharp.com

|

8.

Honing rods analyzed with an electron microscope – Scienceofsharp (2018)(scienceofsharp.com)

▲ 1 points 0 comments

9.

How to Extend Phone Battery Life: 10 Proven Hacks

1 points

|

|

dailytechhacks.com

|

9.

How to Extend Phone Battery Life: 10 Proven Hacks(dailytechhacks.com)

▲ 1 points 1 comment

10.

Show HN: Libefaxx – A Microbenchmark for AWS EFA GPU/CPU RDMA Communication

2 points

|

|

|

10.

Show HN: Libefaxx – A Microbenchmark for AWS EFA GPU/CPU RDMA Communication(github.com)

▲ 2 points 0 comments

11.

Therapeutic Use of Cannabis and Cannabinoids: A Review

3 points

|

|

jamanetwork.com

|

11.

Therapeutic Use of Cannabis and Cannabinoids: A Review(jamanetwork.com)

▲ 3 points 0 comments

12.

Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory

2 points

|

|

|

12.

Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory(fsf.org)

▲ 2 points 0 comments

13.

NeuralOperator Joins the PyTorch Ecosystem

1 points

|

|

|

13.

NeuralOperator Joins the PyTorch Ecosystem(pytorch.org)

▲ 1 points 0 comments

14.

States lodge lawsuit against Trump's $100k H-1B visa fee

3 points

|

|

|

14.

States lodge lawsuit against Trump's $100k H-1B visa fee(politico.com)

▲ 3 points 1 comment

15.

Evaluating Gemini Robotics Policies in a Veo World Simulator

1 points

|

|

veo-robotics.github.io

|

15.

Evaluating Gemini Robotics Policies in a Veo World Simulator(veo-robotics.github.io)

▲ 1 points 0 comments

16.

Quantum Computing Could Put IBM Back on Top Again

3 points

|

|

|

16.

Quantum Computing Could Put IBM Back on Top Again(barrons.com)

▲ 3 points 2 comments

17.

Awesome-Jj: Jujutsu Things

1 points

|

|

|

17.

Awesome-Jj: Jujutsu Things(github.com)

▲ 1 points 0 comments

18.

Emulating AVX-512 intrinsics in Miri

1 points

|

|

trifectatech.org

|

18.

Emulating AVX-512 intrinsics in Miri(trifectatech.org)

▲ 1 points 0 comments

19.

Unswitching Loops for Fun and Profit

1 points

|

|

|

19.

Unswitching Loops for Fun and Profit(xania.org)

▲ 1 points 0 comments

20.

Job isn't programming

3 points

|

|

codeandcake.dev

|

20.

Job isn't programming(codeandcake.dev)

▲ 3 points 0 comments

21.

Making Windows Terminal with GitHub Copilot CLI

2 points

|

|

developer.microsoft.com

|

21.

Making Windows Terminal with GitHub Copilot CLI(developer.microsoft.com)

▲ 2 points 0 comments

22.

Resolving an ambiguity in the Windows clipboard automated text conversion table

1 points

|

|

devblogs.microsoft.com

|

22.

Resolving an ambiguity in the Windows clipboard automated text conversion table(devblogs.microsoft.com)

▲ 1 points 0 comments

23.

Coffee Pod Financing

1 points

|

|

newsletterhunt.com

|

23.

Coffee Pod Financing(newsletterhunt.com)

▲ 1 points 0 comments

24.

OpenAI Ends 'Vesting Cliff' for New Employees in Compensation-Policy Change

1 points

|

|

|

24.

OpenAI Ends 'Vesting Cliff' for New Employees in Compensation-Policy Change(wsj.com)

▲ 1 points 0 comments

25.

New Rule Forbids Gnome Shell Extensions Made Using AI Generated Code

1 points

|

|

|

25.

New Rule Forbids Gnome Shell Extensions Made Using AI Generated Code(phoronix.com)

▲ 1 points 0 comments

26.

A unscientific guide to the security of various PQC algorithms

1 points

|

|

keymaterial.net

|

26.

A unscientific guide to the security of various PQC algorithms(keymaterial.net)

▲ 1 points 0 comments

27.

How Did the CIA Lose a Nuclear Device?

4 points

|

|

|

27.

How Did the CIA Lose a Nuclear Device?(nytimes.com)

▲ 4 points 2 comments

28.

Vibe Coding Is Boring

4 points

|

|

|

28.

Vibe Coding Is Boring(cassidoo.co)

▲ 4 points 1 comment

29.

How Resilient Will the U.S. Consumer Be Without a Job?

4 points

|

|

|

29.

How Resilient Will the U.S. Consumer Be Without a Job?(bloomberg.com)

▲ 4 points 1 comment

30.

Apple locks account after redeeming gift card

2 points

|

|

daringfireball.net

|

30.

Apple locks account after redeeming gift card(daringfireball.net)

▲ 2 points 2 comments