frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Minish – A small property-based testing framework for Zig

3•habedi0•2h ago
I've made a small property-based testing framework for Zig named Minish. Property-based testing is a way of testing software by defining properties that should always hold true.

Given the amount of code being generated with the help of AI, software testing is becoming more important and, at the same time, harder. Minish is an example of a tool that aims to make it easier to test the correctness of the code in a more systematic way.

Project's GitHub repo: https://github.com/CogitatorTech/minish

Warren Buffet Clip Archive

https://buffett.cnbc.com/warren-buffett-archive/
1•super256•6m ago•0 comments

I built FoodieLens because ordering food should not be a gamble

https://foodielens.app/start
1•MikeyLi•12m ago•1 comments

Gaza: The Reckoning by B. Macaes

https://brunomacaes.substack.com/p/gaza-the-reckoning
2•HSO•12m ago•0 comments

Taiwan considers TSMC export ban

https://www.tomshardware.com/tech-industry/semiconductors/taiwan-considers-tsmc-export-ban-that-w...
3•throwaway270925•13m ago•0 comments

When to pay down tech debt

https://www.proactiveengineer.com/p/26-when-to-pay-down-tech-debts
2•shehabas•13m ago•0 comments

'$100 Steam Machine' uses a cut-down PS5 APU with Bazzite

https://www.tomshardware.com/pc-components/gpus/usd100-steam-machine-uses-a-cut-down-ps5-apu-with...
1•throwaway270925•15m ago•0 comments

Epstein Files Browser

https://epstein-files-browser.vercel.app/
2•helloplanets•15m ago•0 comments

Sam Altman's New Brain Venture, Merge Labs, Will Spin Out of a Nonprofit

https://www.wired.com/story/sam-altman-brain-computer-interface-merge-labs-spin-out-nonprofit-for...
1•danielmorozoff•19m ago•0 comments

America and China Are Racing to Different AI Futures [video]

https://www.youtube.com/watch?v=qDNFaAz3_Cw
1•hunglee2•24m ago•0 comments

The post-GeForce era: What if Nvidia abandons PC gaming?

https://www.pcworld.com/article/3013044/the-post-geforce-era-what-if-nvidia-abandons-pc-gaming.html
4•taubek•29m ago•0 comments

Ask HN: What is the most complex software you've built single handedly?

3•chistev•29m ago•0 comments

New Design for the Official Ruby Website

https://www.ruby-lang.org/en/
1•thunderbong•29m ago•0 comments

The Gerrit code review iceberg

https://www.haiku-os.org/blog/pulkomandy/2025-11-24-the_gerrit_pending_review_iceberg
2•birdculture•32m ago•0 comments

Show HN: A minimalist, high-quality Text-to-Speech Chrome extension

https://chromewebstore.google.com/detail/qariyo-text-to-speech/bdnmnapejclcgkgljpkddbnjfcplkhoj
1•abagh999•37m ago•0 comments

Ask HN: What are the most convincing resources about climate change?

1•eimrine•38m ago•0 comments

Em-admin: Open-source tool to read-write WaterStar watermeter radio parameters

https://github.com/hn/em-admin
1•hn___•39m ago•0 comments

Compiler Design (Summer 2025)

https://symbolaris.com/course/compiler.html
1•waldarbeiter•39m ago•0 comments

What Does a Database for SSDs Look Like?

https://brooker.co.za/blog/2025/12/15/database-for-ssd.html
4•charleshn•41m ago•2 comments

Show HN: Thufir – Claude Code plugin to solve production issues

https://github.com/evangelosmeklis/thufir
2•twelvechess•43m ago•1 comments

How to Watch the Ursids Winter Solstice Meteor Shower

https://www.nytimes.com/2025/12/20/science/ursids-meteor-shower-how-to-watch.html
1•quapster•48m ago•0 comments

The Intergiro Story

https://intergiro.com/
1•breton•49m ago•0 comments

How to Add Your Pathmind Course Certificate to LinkedIn

https://pathmind.app/landing/
1•WebToolsCaE•56m ago•1 comments

Reflections on Building a Pixel-Perfect UI Pipeline in JUCE Applications

https://playfultones.com/blog/reflections-on-building-a-pixel-perfect-ui-pipeline-in-juce-applica...
1•playfultones•56m ago•0 comments

Show HN:macOS Memory Benchmark for Apple Silicon (cache, bandwidth, latency)

https://github.com/timoheimonen/macOS-memory-benchmark
1•user_timo•1h ago•2 comments

From "I'll set up monitoring later" to 50 paying customers

https://www.catops.app/
1•honley•1h ago•1 comments

Google's boomerang year: 20% of AI engineers hired in 2025 were ex-employees

https://www.cnbc.com/2025/12/19/google-boomerang-year-20percent-ai-software-devs-hired-2025-ex-em...
1•arberavdullahu•1h ago•0 comments

Jax-JS: an ML library for the web

https://ekzhang.substack.com/p/jax-js-an-ml-library-for-the-web
1•samuel246•1h ago•0 comments

From Gridlock to Grid Power: The Promise of Superconducting Cables

https://ee.eng.cam.ac.uk/index.php/2025/09/22/from-gridlock-to-grid-power-the-promise-of-supercon...
1•zeristor•1h ago•0 comments

Monorepos: Please Don't

https://medium.com/@mattklein123/monorepos-please-dont-e9a279be011b
1•fanf2•1h ago•1 comments

Reflections on AI at the End of 2025

https://antirez.com/news/157
47•danielfalbo•1h ago•42 comments