frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev
56•PaulHoule•2h ago

Comments

aerhardt•2h ago
Off-topic but only today I was thinking of Hegel-related names for a certain business idea. Was wondering who had registered all the domains, well here's one. It would a completely different domain, and also a derivation of the name, so nothing to worry about there. But if I build something in Rust, I'll remember you :)
aw1621107•2h ago
A bit of an intro/announcement blog post for Hegel ("Hypothesis, Antithesis, synthesis", [0]) was submitted here ~2 weeks ago [1] and got a fair bit of discussion (106 comments).

[0]: https://antithesis.com/blog/2026/hegel/

[1]: https://news.ycombinator.com/item?id=47504094

mykowebhn•2h ago
Oh god, as someone who studies and admires Hegel, please change the name from Hegel.
supliminal•2h ago
A Hegel just flew over your house.
tensegrist•20m ago
does anyone actually say it like that
aerhardt•1h ago
Why? It’s perfectly coherent with the group of libraries and what they do.
bwestergard•1h ago
It isn't. See: https://www.jstor.org/stable/2708045
aerhardt•13m ago
I’ve read primary text excerpts from Hegel and some secondary sources too, and already knew that he didn’t write in that style, but the general idea that many forces in life develop themselves dialectically (the antithesis sometimes being expressed as alienation) is very similar in concept.

That a myth has developed around the terminology and methodology is persuading, but also there’s nothing wrong with a programming library to call itself Hegel.

Interesting paper regardless thanks for sharing.

sigbottle•1h ago
Yo what has been the coolest thing about Hegel's philosophy you learned?
mykowebhn•1h ago
(I can really only do your question a modicum of justice by answering metaphorically.) That Anglo-American analytic philosophy, which has dominated much of 20th century Western philosophy and Western thought, was doomed from the start. It treated ontological Being as fixed, as beings nailed to a wall, lifeless and immobile. Hegelian philosophy, more than anything, is about movement.
triplechill•1h ago
Awesome! I've been waiting for hegel-go and can't wait to take it for a spin
delis-thumbs-7e•1h ago
I’m studying currently Phenomenology of Geist. No code is so gard to read as it.
efficax•1h ago
Just wait until you get into the Science of Logic
sigbottle•1h ago
I'm starting with the Science of Logic!

I want to cry...

mykowebhn•59m ago
The first part of his Encyclopedia will help a lot, and might be better to read first before diving into SoL.
mykowebhn•1h ago
Did you start with the Preface, or are you going to read it at the end?

(I strongly recommend the latter.)

tybug•1h ago
I didn't expect to see Hegel when opening up HN today! Feel free to ask any questions about it. We released hegel-go earlier this week, and plan to release hegel-cpp sometime next week, so look forward to that :)
samth•1h ago
Is the protocol documented so that other people can build language front-ends?
tybug•1h ago
Yes! I just wrote up documentation for the protocol earlier this week: https://hegel.dev/reference/protocol.

In reality, we hope to provide more guidance than this to people who want to write their own language frontend. This protocol reference doesn't talk about the realities of [hegel-core](https://github.com/hegeldev/hegel-core) and how to invoke it, for example.

We intend to write a "How to write your own Hegel library" how-to guide. You can subscribe to this issue to get notified when we write that: https://github.com/hegeldev/website/issues/3.

If you're eager, pointing your favorite LLM at https://hegel.dev/reference/protocol + https://github.com/hegeldev/hegel-rust and asking it to write you one for your language of choice should be enough to get you started!

Native Instant Space Switching on macOS

https://arhan.sh/blog/native-instant-space-switching-on-macos/
124•PaulHoule•1h ago•57 comments

Reverse engineering Gemini's SynthID detection

https://github.com/aloshdenny/reverse-SynthID
48•_tk_•1h ago•12 comments

Charcuterie – Visual similarity Unicode explorer

https://charcuterie.elastiq.ch/
25•rickcarlino•1h ago•2 comments

PicoZ80 – Drop-In Z80 Replacement

https://eaw.app/picoz80/
73•rickcarlino•2h ago•14 comments

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev
56•PaulHoule•2h ago•19 comments

Old laptops in a colo as low cost servers

https://colaptop.pages.dev/
77•argentum47•3h ago•37 comments

Research-Driven Agents: What Happens When Your Agent Reads Before It Codes

https://blog.skypilot.co/research-driven-agents/
83•hopechong•4h ago•37 comments

Unfolder for Mac – A 3D model unfolding tool for creating papercraft

https://www.unfolder.app/
79•codazoda•4h ago•14 comments

Show HN: I built a Cargo-like build tool for C/C++

https://github.com/randerson112/craft
99•randerson_112•5h ago•86 comments

Top laptops to use with FreeBSD

https://freebsdfoundation.github.io/freebsd-laptop-testing/
246•fork-bomber•12h ago•141 comments

Maine is about to become the first state to ban major new data centers

https://www.gadgetreview.com/maine-is-about-to-become-the-first-state-to-ban-major-new-data-centers
167•rmason•1h ago•211 comments

Show HN: Druids – Build your own software factory

https://github.com/fulcrumresearch/druids
6•etherio•1d ago•1 comments

EFF is leaving X

https://www.eff.org/deeplinks/2026/04/eff-leaving-x
867•gregsadetsky•4h ago•745 comments

Reallocating $100/Month Claude Code Spend to Zed and OpenRouter

https://braw.dev/blog/2026-04-06-reallocating-100-month-claude-spend/
251•kisamoto•12h ago•178 comments

Moving from WordPress to Jekyll (and static site generators in general)

https://www.demandsphere.com/blog/rebuilding-demandsphere-with-jekyll-and-claude-code/
4•rgrieselhuber•35m ago•0 comments

Bitmap fonts make computers feel like computers again

https://korigamik.dev/blog/bitmap_fonts/
64•speckx•2h ago•47 comments

Introduction to Nintendo DS Programming

https://www.patater.com/files/projects/manual/manual.html
195•medbar•1d ago•37 comments

How Do You Find an Illegal Image Without Looking at It?

https://mahmoud-salem.net/the-invisible-shield
5•danso•2d ago•0 comments

Netflix Prices Went Up Again – I Bought a DVD Player Instead

https://aywren.com/2026/04/09/netflix-prices-went-up-again-i-bought-a-dvd-player-instead/
145•speckx•1h ago•149 comments

A WebGPU implementation of Augmented Vertex Block Descent

https://github.com/jure/webphysics
112•juretriglav•9h ago•14 comments

The Future of Everything Is Lies, I Guess: Part 3 – Culture

https://aphyr.com/posts/413-the-future-of-everything-is-lies-i-guess-culture
71•aphyr•8h ago•47 comments

Wit, unker, Git: The lost medieval pronouns of English intimacy

https://www.bbc.com/future/article/20260408-the-extinct-english-words-for-just-the-two-of-us
169•eigenspace•11h ago•104 comments

Meta removes ads for social media addiction litigation

https://www.axios.com/2026/04/09/meta-social-media-addiction-ads
496•giuliomagnifico•8h ago•204 comments

Doing Impressions: Monet's Early Caricatures (ca. late 1850s)

https://publicdomainreview.org/collection/claude-monet-caricatures/
39•prismatic•3d ago•1 comments

Show HN: CSS Studio. Design by hand, code by agent

https://cssstudio.ai
126•SirHound•10h ago•89 comments

Open source security at Astral

https://astral.sh/blog/open-source-security-at-astral
340•vinhnx•17h ago•94 comments

Help Keep Thunderbird Alive

https://updates.thunderbird.net/en-US/thunderbird/140.0/apr26-1e/donate/
466•playfultones•14h ago•328 comments

Building a framework-agnostic Ruby gem (and making sure it doesn't break)

https://newsletter.masilotti.com/p/on-building-a-framework-agnostic
45•joemasilotti•2d ago•6 comments

LittleSnitch for Linux

https://obdev.at/products/littlesnitch-linux/index.html
1240•pluc•21h ago•408 comments

Lichess and Take Take Take Sign Cooperation Agreement

https://lichess.org/@/Lichess/blog/lichess-and-take-take-take-sign-cooperation-agreement/DZS0S0Dy
160•stevage•9h ago•45 comments