HackerLinks

Issue / 2026-05-14

6 interesting things surfaced from HN on 2026-05-14

A daily board of tools, apps, and references that Hacker News readers pulled into view on 2026-05-14. Each row keeps the original HN thread close to the claim.

At a glance:
Items:6
Threads:4

What surfaced that day

01
Gemma 4 E4B
huggingface.co

Dense multimodal local model suggested as a 4070-friendly pick.

Show Evidence

In the GGUF thread, a commenter said Gemma 4 E4B should run great on a 4070 and put it forward as the better size match.

02
Qwen 3.6 35B A3B
huggingface.co

Local MoE model recommended as the stronger big-run option.

Show Evidence

A commenter said Qwen 3.6 35B would be much smarter than 7B Mistral, just slower.

03
Lean 4
lean-lang.org

Functional language and theorem prover picked as an APL successor.

Show Evidence

In the APL thread, a commenter called Lean 4 the 'best language in existence' for their use case.

04
Dyalog APL
dyalog.com

Interactive APL implementation with full glyph support.

Show Evidence

A Raspberry Pi user noted Dyalog APL keeps all the glyphs visible and exposes a REPL.

05
YourDrive
yourdrive.co.nz

New Zealand peer-to-peer car-sharing service.

Show Evidence

In the RAV4 privacy thread, a commenter praised YourDrive after using it a couple of times.

06
Red Balloon Security
redballoonsecurity.com

Embedded-device security firm and firmware-CTF shop.

Show Evidence

In the HDD firmware-hacking thread, a commenter called Red Balloon great and highly recommended it.