frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Learning Nix with LabCraft

https://www.labcraft.dev/
3•anandsuresh•1h ago
LabCraft is an AI-mentored learning platform. It is NOT a chatbot! Instead, it consists of course curriculum and an instrumented playground where learners can safely practice what they learn. The AI mentor observes the user's actions in the playground, and guides them towards the objective when they are stuck. This loop is iterated upon over time to improve the curriculum, the playground, and the mentor, all in service of providing to provide a better learning experience.

Currently, I'm focussed on Nix/NixOS. It is a useful piece of technology with a steep learning curve, and my goal is for LabCraft to help users overcome that. The playground consists of Linux VMs with instrumented shells that allows the AI mentor to observe the user running commands and guiding them as needed. Part 1 of ~48 parts of the Nix/NixOS course is live for all users today.

I'm looking for feedback from users on how and where we can improve the learning experience.

Show HN: Capy – A Git-style platform for managing your team's secrets

https://github.com/capysc/capy-cli
4•cvince•10m ago•2 comments

Show HN: ClickBench Playground – a playground for 110 database systems

https://benchmark.clickhouse.com/playground/
3•zX41ZdbW•1h ago•1 comments

Show HN: DrakeAI – expense tracker you log by voice or text, no bank sync

https://drakeai.app/
2•a_protsyuk•1h ago•0 comments

Show HN: Greenlight – Preflight Scanner for App Store and Google Play

https://github.com/RevylAI/greenlight
2•ethanzhoucool•1h ago•0 comments

Show HN: Spltty – a Markdown-based personal finance CLI built with Claude

https://tdiniz.dev/thoughts/building-a-personal-finance-tracker-with-claude
6•thiagovsdiniz•1h ago•2 comments

Show HN: Learning Nix with LabCraft

https://www.labcraft.dev/
3•anandsuresh•1h ago•0 comments

Show HN: GetPageSpeed Amplify, a compatible replacement for Nginx Amplify

https://amplify.getpagespeed.com/
2•dvershinin•1h ago•0 comments

Show HN: Ocean – All your team's agent sessions in one place

https://ocean.mosaic.inc/
4•electrodisk•1h ago•1 comments

Show HN: Stripekit – Terraform-style declarative config for your Stripe account

https://stripe.rafael.ltd/
2•rafgg•2h ago•0 comments

Show HN: I automated California Property tax reduction claim process

https://saveproptax.com
2•atifnayeem•2h ago•0 comments

Show HN: AI agents gives its worst answers when you're overwhelmed

https://github.com/softcane/human-state-skills
2•pradeep1177•2h ago•0 comments

Show HN: Summarize any page into a pod episode

https://thedaily.fm/docs/page-to-pod
2•carimura•2h ago•1 comments

Show HN: What's Your AI Debt Score? Roast My Code – No AI, Just Regex

3•piggydev•2h ago•0 comments

Show HN: Diffing Binary Files

https://withkord.com/diff
10•wennyyustalim•3h ago•4 comments

Show HN: Lucidos, a local AI OS that keeps the apps you describe running

https://github.com/lucidos-dev/lucidos
3•kennethtiller•2h ago•1 comments

Show HN: LiminalML – Study ML or SWE at interview depth, grounded in your resume

https://liminalml.com
3•OliverPerrin•2h ago•1 comments

Show HN: ZeroCloudPDF Sign

https://zerocloudpdf.com/sign-pdf
3•HozeKan•2h ago•3 comments

Show HN: BoundaryBench – benchmarking coding agents under real sandbox policy

https://github.com/boundary-bench/boundary-bench
2•_orcaman_•2h ago•0 comments

Show HN: Voca – Most AI tutors wander. I built one that follows a curriculum

https://vocalessons.com/
2•amreldessoukiad•2h ago•0 comments

Show HN: HUD, an open-source minimal terminal UI for ClaudeCode, Codex, OpenCode

https://github.com/adrida/hud-mode
6•adam_rida•4h ago•1 comments

Show HN: Modern Browsers Don't Need the Cookie Anymore

https://kuber.studio/cookie/
10•kuberwastaken•7h ago•7 comments

Show HN: Cool Concepts

https://mkornreich.me/projects/coolconcepts/
2•enjoyyourlife•2h ago•0 comments

Show HN: LingoForge – AI-powered IELTS writing with instant feedback

https://lingoforge.net/en/start
2•chenillen•2h ago•0 comments

Show HN: An AI agent that trades inside limits you set, starting on paper

https://quantsignals.xyz/fst
10•henryzhangpku•7h ago•3 comments

Show HN: PON-BEAM re-architecture of the Erlang VM

https://github.com/matheuscamarques/pon_beam
2•matheusosan•3h ago•0 comments

Show HN: Simple algorithm and color space to generate diverse skin tones

https://toneyalexander.github.io/inclusive-color-space/
595•automatoney•1d ago•99 comments

Show HN: I was wrong about scrollytelling landing pages

4•vaitko•3h ago•1 comments

Show HN: Agents keep running with the lid closed

https://agentsneversleep.app/
2•alekseyrozh•3h ago•2 comments

Show HN: ExANS – Lossless KV cache compression at 622 GB/s on H100

https://www.theopenlake.com/blog/exans-lossless-gpu-compression-for-bf16-kv-cache
14•arnav__1•3h ago•0 comments

Show HN: Webklip – ephemeral online clipboard with live sync and E2E encryption

https://webklip.com/
3•vsergione•3h ago•0 comments