frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Quint Visualizer – A GraphViz-like visualizer for Quint traces

https://quint-visualizer.noghartt.dev/
1•Noghartt•1h ago
I started digging deeper into Quint (https://quint-lang.org/), but I missed a tool that let me explore trace samples, something like how TLA+ uses GraphViz to visualize the state graph.

So I vibecoded a small web tool that lets you upload a valid JSON file and explore Quint trace in different stages.

ArrayPool: The most underused memory optimization in .NET

https://medium.com/@vladamisici1/arraypool-the-most-underused-memory-optimization-in-net-8c47f5df...
1•pjmlp•1m ago•0 comments

Id Software Programming Principles

https://felipe.rs/2017/02/25/id-software-programming-principles/
1•suioir•4m ago•0 comments

The Insurrection Act

https://www.brennancenter.org/our-work/research-reports/insurrection-act-explained
1•srameshc•7m ago•0 comments

psc: The ps utility, with an eBPF twist and container context

https://github.com/loresuso/psc
1•tanelpoder•7m ago•0 comments

Fil-Qt: A Qt Base build with Fil-C experience

https://git.qt.io/cradam/fil-qt
1•pjmlp•9m ago•0 comments

Ntcor.com

https://web.archive.org/web/19981212020100/http://ntcor.com/
1•rvnx•11m ago•0 comments

Mulholland Drive and the Future of Europe

https://milosmaricic.substack.com/p/mulholland-drive-and-the-future-of
1•yvander_loa•13m ago•0 comments

Codeless Code – Fables and Koans for the Software Engineer

https://thecodelesscode.com/case/234
1•birdculture•13m ago•0 comments

Cloudflare's plan for resilience after two outages in 2025

https://blog.cloudflare.com/fail-small-resilience-plan/
2•Jacques2Marais•15m ago•0 comments

Pragmatic Agent-Native Architecture

https://gmays.com/building-agent-native-software/
1•gmays•15m ago•0 comments

Bank Statement Converter That Physically Can't Read Your Data

https://www.blindstatement.com/
1•tav1•18m ago•1 comments

AnyBlox

https://github.com/AnyBlox
2•tosh•19m ago•0 comments

Show HN: Free Crypto Job Board

https://freecryptojobsboard.xyz
2•boggy_debuts•21m ago•0 comments

Why Greenland's natural resources are nearly impossible to mine

https://theweek.com/world-news/greenland-natural-resources-impossible-mine
2•Digit-Al•21m ago•0 comments

Blog: Coding Agents Have Crossed a Threshold

https://blog.qaware.de/posts/creative_director_of_code/
3•baquero•23m ago•0 comments

We Are Running Out of Time in Low Earth Orbit

https://www.universetoday.com/articles/28-days-to-disaster-why-we-are-running-out-of-time-in-low-...
2•Rogach•23m ago•0 comments

Portal Space selects 'Space Armor' debris shield for 2026 mission

https://spacenews.com/portal-space-selects-space-armor-debris-shield-for-2026-mission/
1•cainxinth•25m ago•0 comments

First-in-human drug trial lowers high blood fats

https://actu.epfl.ch/news/first-in-human-drug-trial-lowers-high-blood-fats/
1•geox•25m ago•0 comments

Show HN: Open-Source P2P Contacts App E2EE Signal | Alpha testers wanted

https://www.meishiapp.com/
1•marcoparisi•28m ago•0 comments

OptiMind, a research model designed for optimization

https://huggingface.co/blog/microsoft/optimind
1•ibobev•28m ago•0 comments

Try My Small RPG's Battle System in the Browser

https://jslegenddev.substack.com/p/try-my-small-rpgs-battle-system-in
2•ibobev•29m ago•0 comments

Show HN: mdto.page – Turn Markdown into a shareable webpage instantly

https://mdto.page
2•hjinco•29m ago•0 comments

Patching the Wii News Channel to serve local news

https://raulnegron.me/2025/wii-news-pr/
3•todsacerdoti•29m ago•0 comments

A Data Model for Git

https://jvns.ca/blog/2026/01/08/a-data-model-for-git/
1•ndr•29m ago•0 comments

What Goes Around Comes Around and Around (2024) [pdf]

https://db.cs.cmu.edu/papers/2024/whatgoesaround-sigmodrec2024.pdf
1•tosh•29m ago•0 comments

Scientists create sci-fi-like spray that heals wounds in seconds

https://www.dexerto.com/entertainment/scientists-create-sci-fi-like-spray-that-heals-wounds-in-se...
1•walterbell•30m ago•0 comments

Ask HN: How can we handle solo founder loneliness?

1•dabojula•33m ago•0 comments

Show HN: Context-Aware AI Assistant for macOS [Open Source]

https://www.thequickfox.ai
3•hgezim•33m ago•4 comments

UK High Court judgment on whether the Theft Act applies to Runescape gold pieces

https://caselaw.nationalarchives.gov.uk/ewca/crim/2026/4
6•PhilRodgers•34m ago•0 comments

Why forcing a developer to take time off helped

https://leadthroughmistakes.substack.com/p/when-the-right-call-is-to-stop-the
1•birdculture•34m ago•0 comments