frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Praxis – AWS infrastructure automation, without the complexity

https://github.com/shirvan/praxis
2•shirvan•1h ago
Hi everyone,

Praxis is the result of a decade of my experiences and frustrations working with IaC and infrastructure management in general. It aims to solve the core needs like templating, state management, continues reconciliation, and lifecycle management without needing a complex setup like Kubernetes or bolting on additional tooling like CI pipelines.

It uses a durable execution engine (https://restate.dev) to create and manage digital twins, it means every AWS call is journaled, so a crash mid-provision resumes where it stopped instead of leaving half-applied state. Each resource is a single-writer object, so there's no locking and no state file. Continuous reconciliation is just a durable timer that re-checks every resource every five minutes and either fixes drift or reports it, your choice per resource. The whole thing runs from one Docker Compose stack.

You can declare resources in CUE templates (typed, validated, with real constraints), and there are 45 AWS drivers so far across networking, compute, storage, IAM, and monitoring. Using CUE gives us a lot of goodies like policy enforcement out of the box and our templates doc (https://github.com/shirvan/praxis/blob/main/docs/TEMPLATES.m...) explains the choice of using CUE in more detail.

It's in early development and not everything is tested on a live AWS account, so use at your own risk.

Show HN: ZeroFS – Make S3 your primary storage

https://www.zerofs.net/
2•Eikon•44s ago•0 comments

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code

https://serokell.io/blog/rust-c-and-the-tradeoffs-behind-safe-low-level-code-interview-with-nikit...
3•ibobev•58s ago•0 comments

Subterranean fungi networks more than 100 quadrillion km in length

https://www.theguardian.com/science/2026/jun/11/arbuscular-mycorrhizal-fungi-plant-life-climate-g...
1•tosh•1m ago•0 comments

Every LLM Tool Call Needs an Output Budget

https://www.axamy.com/blog/tool-budget
1•jhonovich•1m ago•0 comments

Sasquatch 'sightings' reignite fervour and scepticism about ape-like beast

https://www.theguardian.com/world/2026/jun/11/sasquatch-bigfoot-sightings-fervour-scepticism-ape-...
1•tosh•1m ago•0 comments

Section 702 Surveillance Reaches Friday Deadline. Why "Going Dark" Is a Myth

https://reclaimthenet.org/section-702-surveillance-friday-deadline-going-dark-myth
1•anonymousiam•4m ago•0 comments

Made an 82-0 style game for wrestling

https://5starbooker.com/
1•AndyNemmity•5m ago•1 comments

Superficial Beliefs in LLM Decision-Making

https://arxiv.org/abs/2606.11016
1•MediaSquirrel•5m ago•0 comments

Writing code vs. shipping code [pdf]

https://www.nber.org/system/files/working_papers/w35275/w35275.pdf
1•mustaphah•6m ago•0 comments

Army commissions second cohort of tech executives

https://www.army.mil/article/293173/army_commissions_second_cohort_of_tech_executives_into_execut...
1•sbuccini•6m ago•0 comments

SpaceX raises $75B in its IPO, making Elon Musk the first trillionaire

https://www.axios.com/2026/06/11/spacex-ipo-prices-75-billion
2•chakintosh•6m ago•0 comments

MCP tools groups. How Datadog proved the pattern

https://www.speakeasy.com/blog/mcp-tool-filtering-datadog
1•simplesagar•6m ago•0 comments

Cooling in Space

https://guille.site/posts/space-cooling/
2•LolWolf•8m ago•0 comments

Montir – The Beli for Movies

https://apps.apple.com/us/app/montir/id6776378113
1•michaelahn•8m ago•1 comments

He Hacked Teslas for Elon Musk. Now He's Launching a $100M AI Cyber Agent

https://www.forbes.com/sites/thomasbrewster/2026/06/10/elon-musk-favorite-hacker-launches-100-mil...
5•MistyMouse•9m ago•0 comments

An interactive tour to the terrific technical debt of Arabic typography

https://lr0.org/blog/p/arabic/
1•ghd_•10m ago•0 comments

Learning a regular language by inferring a DFA with the TTT algorithm

https://rahul.gopinath.org/post/2026/06/09/ttt-grammar-inference/
1•fanf2•10m ago•0 comments

Diabetes org apologizes for ejecting scientists over criticism of Trump

https://arstechnica.com/health/2026/06/diabetes-org-apologizes-for-ejecting-scientists-over-criti...
2•leephillips•12m ago•0 comments

Playing with Payphones

https://www.theguardian.com/society/2026/jun/12/payphones-phone-booths-free-calls-australia-resur...
1•mopoke•12m ago•0 comments

3D necroprinting: Leveraging biotic material as the nozzle for 3D printing

https://www.science.org/doi/10.1126/sciadv.adw9953
1•oidar•12m ago•0 comments

"Regulate AI? And lose our edge?"

https://deep.liveblog365.com/en/index-en.html?post=283
1•TonyBorlini•13m ago•0 comments

Show HN: NalityAI – desktop voice assistant with 9 personalities built in Python

https://nalityai.com/
1•Lashaga•13m ago•1 comments

Photos to 3D Model Offline – Cross-Platform App (Android, Desktop, Web)

https://github.com/yeicor/colmap-openmvs-app
1•yeicor•14m ago•1 comments

Tokenomics

https://www.citadelsecurities.com/news-and-insights/global-macro-strategy/tokenomics/
1•vikrum•14m ago•0 comments

Show HN: Free Music for Money

https://0g.software/freemusicformoney
1•0gs•15m ago•1 comments

Show HN: OpenClacky – A token-efficient personal agent written in Ruby

https://www.openclacky.com/
1•gemHunter•17m ago•0 comments

The University in the AI Era

https://htmx.org/essays/universities-and-ai/
2•recursivedoubts•17m ago•2 comments

Elon Musk under fire for stoking anti-immigrant riots in Belfast

https://www.nbcnews.com/world/united-kingdom/belfast-riots-elon-musk-anti-immigrant-violence-stab...
4•Chinjut•19m ago•0 comments

Turing Conjugation

https://lacker.substack.com/p/turing-conjugation
1•stopachka•19m ago•0 comments

Show HN: Plannotator – annotate agent plans, diffs, and HTML

https://github.com/backnotprop/plannotator
2•ramoz•24m ago•0 comments