Daily issue / 2026-05-14
Useful things that surfaced in Hacker News discussions on 2026-05-14. Open the context to see why each one caught our attention—or jump straight to the original thread.
What we found
Dense multimodal local model suggested as a 4070-friendly pick.
Source discussion: What's in a GGUF, besides the weights – and what's still missing?
Editorial paraphrase
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.
Read the original threadLocal MoE model recommended as the stronger big-run option.
Source discussion: What's in a GGUF, besides the weights – and what's still missing?
Editorial paraphrase
A commenter said Qwen 3.6 35B would be much smarter than 7B Mistral, just slower.
Read the original threadFunctional language and theorem prover picked as an APL successor.
Source discussion: Saying Goodbye to one line of APL
Editorial paraphrase
In the APL thread, a commenter called Lean 4 the 'best language in existence' for their use case.
Read the original threadInteractive APL implementation with full glyph support.
Source discussion: Saying Goodbye to one line of APL
Editorial paraphrase
A Raspberry Pi user noted Dyalog APL keeps all the glyphs visible and exposes a REPL.
Read the original threadNew Zealand peer-to-peer car-sharing service.
Source discussion: Removing the modem and GPS from my 2024 RAV4 hybrid
Editorial paraphrase
In the RAV4 privacy thread, a commenter praised YourDrive after using it a couple of times.
Read the original threadEmbedded-device security firm and firmware-CTF shop.
Source discussion: HDD Firmware Hacking
Editorial paraphrase
In the HDD firmware-hacking thread, a commenter called Red Balloon great and highly recommended it.
Read the original thread