🛠️ All DevTools

Show HN: 3D print Z reinforcement via injected loops Commodity FDM print strength is limited by poor Z-axis layer bonding. Parts crack along Z under stress. MAGMA tries to fix this in software that works on any FDM 3D printer.<p>It&#x27;s a fork of OrcaSlicer with a new infill type that creates paired U-shaped vertical channels inside the print, plus G-code that injects molten plastic into those channels to bridge Z layer interfaces with continuous plastic.<p>Big caveat: I have a junky Ender 3 and haven&#x27;t gotten a clean physical print yet. Don&#x27;t expect this to work out of the box! After months of tinkering, I&#x27;m releasing the software so the 3DP community can experiment with nozzles, multi-material, weird hardware, and other print parameters I can&#x27;t. There&#x27;s around 40 MAGMA-specific settings to fiddle with, plus some general quality-of-life features (e.g. printing thin infill sections as solid, and a &quot;dual infill shell&quot; feature that applies MAGMA only to the outer shell to save print time).<p>THIS CODE IS ALPHA. Around 50 prints old. The injection G-code is novel. Some printer firmware won&#x27;t like extruding without movement. In extreme cases it could damage your printer or start a fire. DON&#x27;T WALK AWAY WHILE PRINTING.<p>Why MAGMA? &quot;Lava tubes&quot; is a misnomer. Molten rock is magma underground, lava only after it surfaces. The injected tubes are buried inside the print, so &quot;magma tubes&quot; is the correct term.

Show HN: UK sold house prices, uncapped, by postcode/county (Land Registry)

Show HN: Learn from 30 historical figures, open source, nonprofit, self-hosted Hello HN, I am the founder of Agora Cosmica.<p>This started about three years ago. On a walk I asked a chatbot to interpret the cave dream from Cormac McCarthy&#x27;s book &quot;The Road&quot; as C.G. Jung. It gave me a perspective I had not thought of. But for my own dreams the policies of the big providers felt wrong for so personal conversations, as zero data retention is not available. So I started building.<p>The project evolved to a German nonprofit and we published the code (AGPL-3.0) last month. The content is still copyright, but will be opened to CC-BY 4.0 in the next 6 to 12 months.<p>Agora Cosmica is a library to learn from 30 historical figures. Each one has 12 narrated stories about their teachings &#x2F; life wisdom, speech to speech conversation. Four learning modes and a council where you can gather the figures to discuss or reflect on a topic. Each figure is an AI Echo, an interpretation grounded in primary works, historical context, with a factcheck per figure to show what&#x27;s verified versus recreated. On privacy: The speech is self hosted on Hetzner GPU servers, Qwen3-TTS for German, Kokoro TTS for English, Faster-Whisper for transcription. 30 free messages per day (EU-hosted for GDPR), BYOK, or you can run it in a full local self-hosted mode.<p>No conversation is stored, no tracking cookies, no profiling, no signup.<p>The app is slow on purpose. Cosmic, no dopamine rush.<p>The mission is to be a doorway, a first step, an introduction to get people interested and outgrow the app to move to primary texts and human teachers.<p>Live at: <a href="https:&#x2F;&#x2F;agoracosmica.org" rel="nofollow">https:&#x2F;&#x2F;agoracosmica.org</a>

Show HN: Gravity – interactive solar-system simulator, from Newton to Einstein Just for fun and self education, I&#x27;ve built this over a weekend to teach myself why orbits exist, not just show planets going around. Something that was never clearly explain to me in school. It opens with a guided tour that builds the idea up step by step: two bodies and the equal&#x2F;opposite force, inertia (the Sun is removed and Earth just drifts straight), then &quot;an orbit is falling and continuously missing,&quot; cosmic velocities with a little rocket, Voyager 1 &amp; 2&#x27;s real gravity assists (the clock runs the actual 1977–1989 dates so the planets orbit into their grand-tour alignment and the slingshots line up), and it ends on Einstein — gravity as curved spacetime, the classic rubber-sheet well. What&#x27;s real: every body uses its real radius&#x2F;mass and J2000 orbital elements; positions come from solving Kepler&#x27;s equation each frame. You can toggle to an N-body mode (symplectic leapfrog) that shows live energy drift (~1e-6%) so you can see the integrator is honest. The only thing faked is scale — at true scale you can&#x27;t see anything — so there&#x27;s a toggle between true scale and a log-remapped &quot;visual&quot; scale, with physics always running in real AU. Tech: TypeScript + Three.js + Vite, fully client-side, no backend, works offline (surface textures are generated procedurally from value-noise; only Earth uses a real image). Source: <a href="https:&#x2F;&#x2F;github.com&#x2F;qunabu&#x2F;Gravity" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;qunabu&#x2F;Gravity</a><p>Happy to answer questions — and feedback on the physics or the explanations is very welcome. This project might be totally inaccurate in terms of real physics, this is how i do understand this on my own - i&#x27;m happy to confront this with reality

Test-case reducers are underappreciated debugging tools

Cleaning up after AI rockstar developers

Microsoft's open source tools were hacked to steal passwords of AI developers

Show HN: I recreated AOL Instant Messenger in the browser What&#x27;s under the hood: - Real-time messaging powered by Firebase - Buddy lists, groups &amp; online presence - Away messages with auto-reply (and the classic %n, %d, %t variables) - Buddy icons &amp; editable profiles - Group chat rooms - The actual AIM sounds - Full Windows 98 desktop UI — taskbar, desktop icons, start menu, the works.<p>If you have any suggestions or feedback I would greatly appreciate hearing it. There&#x27;s still more work to be done with it, but it&#x27;s been a labor of love.<p>Right now every user that logs on is automatically put on to your Buddy list. I thought this would be a great way to get people to start chatting with each other.<p>The other day I had a conversation with this guy about skateboarding in the 90&#x27;s, Tony Hawk Pro Skater, and he sent me a photo through an IM of his CCS magazine they occasionally send him.

Show HN: Mach – A compiled systems language looking for contributions Hi HN,<p>I&#x27;m the creator of Mach (<a href="https:&#x2F;&#x2F;github.com&#x2F;octalide&#x2F;mach" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;octalide&#x2F;mach</a> or <a href="https:&#x2F;&#x2F;machlang.org" rel="nofollow">https:&#x2F;&#x2F;machlang.org</a>). Two days ago, we finally achieved full self hosting. I wanted to make a post here to show off the language since this is a big milestone for us.<p>## TL;DR about the language for those curious:<p>- There are no external dependencies anywhere in the pipeline. This includes LLVM, libc bindings, or anything of the sort (save for the historical bootstrap compiler, which requires any C compiler and has been phased out completely).<p>- Mach is extremely opinionated and very anti-magic. WYSIWYG is a core principal for the language. There are no hidden behaviors, implicit type conversions, or &quot;automatic features&quot;. Simplicity and stripping away ambiguity are core principals that this language upholds.<p>- Performance currently lags behind C by about a factor of only 4x at the time of writing, almost entirely due to the lack of deep compiler optimizations like autovectorization, which have not been fully implemented yet. Eventually, Mach will be at least on par with C.<p>## Why did I build this?<p>I love low level systems languages like C, Zig, Go, and (sometimes) Rust, but I wanted something that actively discourages &quot;cleverness&quot; in favor of long-term maintainability and overall clarity. Mach is highly opinionated and explicitly demands verbosity in ways that other languages are afraid to. Computers aren&#x27;t magic, and code you write should not pretend they are. This project initially started out as a learning opportunity for myself, but grew into a fully featured language as time went on. There is still a lot I have to learn, however, and I&#x27;m excited to be able to do so as this project continues to grow into the future.<p>## Why do I (the reader) care?<p>If you like C, you&#x27;ll probably like Mach. Mach takes heavy inspiration from the &quot;vibe&quot; of writing C, but improves on much of the syntax, lacks quite a few footguns, &quot;unhides&quot; a lot of internal mechanisms, and has a FAR better dependency management system.<p>If you want to play around with a language that is fully capable of replacing C, and especially if you would like to contribute to its development, then PLEASE stop by and mess around.<p>## Where should I go to check it out?<p>The github repository has a link to our discord if you&#x27;d like to chat with myself or our few other regular users. My personal account has all of the tooling that exists as well as a few example repos if you feel inclined to try it out.<p>## Will this project by dead in X months?<p>I&#x27;ve been working on this in the background for over 2 years now. This is a long term project that I plan to maintain into the indefinite future, with or without a userbase. If you like the language at all, I highly encourage you to get involved in its development because it WILL be sticking around in some capacity forever.<p>I know this was a bit &quot;rambly&quot;, but let me just say that it&#x27;s been a great joy to work on this project and I would love any and ALL opinions and contributions, ESPECIALLY if you hate the language or find a problem that needs fixing. Let me know what you guys think!

Show HN: Ustps (UDP Speedy Transmission Protocol Secure) and USSH Hi HN,<p>Over the last few days I&#x27;ve been building USTPS (UDP Speedy Transmission Protocol Secure), an experimental encrypted transport protocol built on top of UDP.<p>The primary goal of USTPS is low-latency video streaming. A server can take a video source and expose it through a USTPS endpoint, while Linux and Android (Termux) clients receive the stream and expose it locally to applications such as VLC, mpv, and FFmpeg.<p>Although streaming is the main focus, USTPS is not limited to media delivery. It can also be used for other reliable encrypted UDP-based applications, which is why I built USSH on top of it.<p>Some of the main design differences compared to TCP-based transports are:<p>- USTPS is reliable but unordered. - If packet N is lost, later packets can still be accepted and processed immediately. - Missing packets are recovered through selective retransmission. - Ordering is handled by the application layer when needed.<p>This means the transport layer itself does not introduce Head-of-Line Blocking. The tradeoff is that applications which require ordering must implement reordering themselves. I consider this a reasonable tradeoff because it avoids forcing every application to pay the cost of transport-level ordering.<p>For media player compatibility, the default USTPS client creates a local TCP endpoint at 127.0.0.1:1238.<p>The client maintains a small reordering buffer (350 ms by default) to give retransmissions time to arrive before forwarding data to the local TCP stream. This allows existing software such as VLC, mpv, and FFmpeg to work without modification.<p>USTPS currently provides:<p>- Reliable delivery using ACKs and selective retransmissions - X25519 key exchange - AEAD encryption (AES-GCM and ChaCha20-Poly1305) - Optional unordered live output mode - Stream position metadata - Multi-client support - Local TCP compatibility output - No congestion control (currently intentional)<p>While developing USTPS, I also built USSH, an SSH-like remote shell running entirely over USTPS.<p>USSH uses the same unordered transport underneath, but the client reconstructs and orders terminal data before presenting it to the user. This prevents terminal corruption while still allowing the transport layer itself to remain unordered.<p>USSH includes:<p>- Interactive terminal sessions - PTY support - Password authentication - Host key verification (TOFU) - End-to-end encrypted communication through USTPS<p>I&#x27;m currently using USSH from my Android phone through Termux to manage my VPS.<p>The project is very young (less than a week old) and is primarily experimental and educational. I&#x27;m interested in feedback from people working on transport protocols, streaming systems, SSH implementations, QUIC, SCTP, and networking software.<p>USTP-Secure: <a href="https:&#x2F;&#x2F;github.com&#x2F;x1colegal&#x2F;USTP-Secure" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;x1colegal&#x2F;USTP-Secure</a><p>USSH: <a href="https:&#x2F;&#x2F;github.com&#x2F;x1colegal&#x2F;USSH" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;x1colegal&#x2F;USSH</a><p>Internet-Drafts:<p>USTPS Draft: <a href="https:&#x2F;&#x2F;datatracker.ietf.org&#x2F;doc&#x2F;draft-x1co-ustps&#x2F;" rel="nofollow">https:&#x2F;&#x2F;datatracker.ietf.org&#x2F;doc&#x2F;draft-x1co-ustps&#x2F;</a><p>USSH Draft: <a href="https:&#x2F;&#x2F;datatracker.ietf.org&#x2F;doc&#x2F;draft-x1co-ussh&#x2F;" rel="nofollow">https:&#x2F;&#x2F;datatracker.ietf.org&#x2F;doc&#x2F;draft-x1co-ussh&#x2F;</a><p>Questions, criticism, and suggestions are welcome.

All the Ways Europe Is Ditching American Technology

Show HN: Command Center, the AI coding env for people who care about quality Hi HN! We’re Jimmy and Ray. Jimmy is a Thiel Fellow with a Ph. D. from MIT who has worked on programming tools for 15 years; Ray became VP of Sales at a $2B company when he was 19 and has built side-businesses vibe-coding.<p>Last year, we set to answer the question “If AI can write code 100x faster, then why aren’t you shipping 100x faster?” What we learned shocked us — even fairly nontechnical people and solo founders told us they were spending more than half of their development time reading the AI-written code. And much of the rest of the time was spent either de-slop-ping it, or wishing they had done so.<p>As luck turns out, our last two products were a tool that quickly onboards people to large codebases ( <a href="https:&#x2F;&#x2F;x.com&#x2F;0xjimmyk&#x2F;status&#x2F;1873357324229984677" rel="nofollow">https:&#x2F;&#x2F;x.com&#x2F;0xjimmyk&#x2F;status&#x2F;1873357324229984677</a> ) and trainings that taught deep concepts of code quality to CEOs, YC founders, and engineers at top companies ( mirdin.com ), so we were extremely well-positioned to solve these problems.<p>Command Center is an agentic coding environment focused on quality. With a few keypresses, you can start building 3 features at once and soon have 3 diffs ready, each consisting of 2000 changed lines across 50 files….<p>This is normally the point where you think “Crap, what now?”<p>With Command Center, at this point you simply click “Refactor,” and watch the vibed slop turn into readable robustness. Then you click “Generate Walkthrough,” and then suddenly, to read a 2000 line diff, instead of scrolling up and down trying to make sense of it, you just press the right arrow key 200 times. See something you don’t like? Click on line 37, type “Do this and all other network fetches in the background Cmd+Enter,” and you have a few more agents getting your code into final shape. Click or type “Commit,” “Push,” “Create PR” — you just shipped a high quality, non-slop feature<p>We’re striving to be the best at every step of the pipeline, but can just try Command Center in pieces wherever you feel your current workflow is weakest. We have users who do all their coding in Zed or the Codex app, and then jump over to Command Center for a walkthrough when it finishes running. There’s even a skill that will pop open a Command Center walkthrough from the environment of your choice. Or you can just keep Command Center running while you do your work elsewhere, and if your AI deletes anything, you have Command Center’s snapshots to the rescue.<p>We launched quietly last year and have been refining since. The quality and usability have kept going up, and Command Center is now ready for a lot more attention.<p>Since our quiet launch, we’ve seen at least a dozen other agentic coding environments appear….approximately all of which have the same feature set focused on the part which is already easy (generating the first version of the code) and with at best a shoddy answer to the hard part (everything that comes after). Command Center’s focus is making the hard parts easy.<p>Here’s what our users have to say:<p>“[The refactorings] give your LLM taste. I’ve never seen an LLM write code this good before.” — Doug Slater, Staff Engineer, Climavision<p>“With Command Center walkthroughs, I can get through a 400-line diff in less than half the time.” — Prateek Kumar, Platfor Engineer, Sumo Logic<p>This product is not for everyone. If you’re someone who preaches “the prompt is the source, the code is the compiler output,” then you probably won’t enjoy Command Center.<p>But if you want to uphold traditional engineering discipline while also shipping 20 PRs a day, then this is the environment for you.

Confidential submission of draft S-1 to the SEC

Developer gets Half-Life running at 30 FPS on a Nokia N95 <a href="https:&#x2F;&#x2F;twitter.com&#x2F;dante_leoncini&#x2F;status&#x2F;2063035015068307905" rel="nofollow">https:&#x2F;&#x2F;twitter.com&#x2F;dante_leoncini&#x2F;status&#x2F;206303501506830790...</a>

Apple bets cheaper AI will woo small developers

FrontierCode

Show HN: macOS Apps on Linux: SwiftUI for Linux (and AppKit, NSFoundation, etc.) I made an open-source project that will take an existing macOS swift project and make it easily compile into a Linux (GTK&#x2F; or Qt). It&#x27;s part of a new quality Swift-first OS I am making called QuillOS.<p>I&#x27;m eager for help and for feedback.<p>Also looking for people who have Swift code (there is very little open source swift code) who can give me example apps to compile against this to find any missing holes. The simpler&#x2F;smaller the better but any size good.<p>It&#x27;s also easy to convert any working iOS app and adapt it to macOS with Claude, and then also cross-compile to Linux with this.<p><a href="https:&#x2F;&#x2F;github.com&#x2F;Lore-Hex&#x2F;QuillUI" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;Lore-Hex&#x2F;QuillUI</a>

SVG-Line: Better Status Bars for Emacs – Charlie Holland's Blog

I'm building a parallel internet, and it's called The Thinnernet

Apple Core AI Framework