work out - Moozonian Search

github.com• Jul 27, 2026• 1 min read

Show HN: Injectable time and timers with custom Date types for TypeScriptI find TypeScript js/node environment is missing a Time-Provider (just like *.*NET TimeProvider for instance ships with its framework).So for this purpose I built a small library (@time-provider) tailored for js/node environment.Obviously the goal is to both avoid using global monkey-patching with fake-timers or re-writing your clock interface... and still use your date library (native or custom).I propose four clock strategies: system (real time), fixed manual (advance time explicitly), and sequential (replay of a sequence of timestamps).I also benchmarked slightly better performances than jest / sinon.The project is still young, so the API may still receive refinements as real usage appears.I would be happy to hear feedback on this ! Take care.You can check it out on GitHub: https://github.com/jaenyf/time-providerJaenyf

github.com• Jul 27, 2026• 1 min read

Show HN: I built a static verifier for OpenCode to stop unsafe AI tool callsErik Meijer wrote the paper "Guardians of the Agents" on formal verification for AI workflows, and Nada Amin implemented it in the Guardians repository. I built this plugin to bring static security verification to OpenCode.How It Works: 1. Interception: Uses OpenCode's TypeScript plugin system ("tool.execute.before") to intercept candidate tool calls (bash, read, edit, write) before they run. 2. Sidecar Verification: Passes tool parameters to a local Python daemon running guardians.verify(). 3. Formal Verification (~1.5ms): Evaluates Z3 path containment (blocking path traversal like ../../../../etc/passwd), secret taint tracking (preventing .env data from flowing to output files or shell commands), and security automata (enforcing read-before-edit rules). 4. Pre-Execution Abort: If a violation is flagged, the plugin throws an exception to block execution before any side effects happen on disk, forcing the agent to self-correct.The repository links metareflection/guardians directly as a

bing.com• Jul 27, 2026• 1 min read

Regrading our trade grades: What we got right — and very wrong — at last season’s trade deadlineTo our surprise, Carlos Correa's deal worked out pretty well for the Twins, and even worse than we expected for the Astros. (Kenneth Richmond / Getty Images) I was wrong. I find myself saying that far ...

news.ycombinator.com• Jul 27, 2026• 1 min read

Show HN: How I built a debugging tool, and the agent, using it, found bugs in itThis story might never have happened, even though I'd been carrying the idea for a debugger for a long time. There was no trigger. But one day a trigger appeared that was strong enough that I set the project aside to build the debugger and never suffer like that again.A bit of backstory: I'm building a Platform for AI-solution developers, so anyone can come in and work on their own startups in a comfortable environment. There's a lot of work ahead to make that happen.I should mention that I'm building this entire project on principle using agentic coding. Not "vibe-coding" - that's for amateurs who've caught a whiff of "possibilities" - but genuine agentic coding, with a clearly structured workflow where the agent has no choice but to play by the rules I've set, within the boundaries I've built. On principle, I haven't written a single line of this project by hand.So there I was, doing routine work, fixing bugs in the Prompt Studio tool. I don't even remember now what exactly that bug

news.ycombinator.com• Jul 27, 2026• 1 min read

Ask HN: 1950's Chip industry undermined unions how is AI not doing the same?In the 1950s the Chip industry undermined minorities, immigrants, women and killed unions.In the 1960-70s it targeted black civil rights groups.Along the way, white men were pushed into management, while anything outside of business was split into smaller tasked jobs. This in return gave companies leverage to cut salaries.I don't care what altman says chatgpt did in a blackbox. I judge the world by what I see. Reality is, chat, claude, etc etc are about as useful as smart as the stupidest, slowest engineer on the team.On the other hand, introducing them has made the job appear more "streamline" more production line like. Work increased, and salaries flattened.Now that companies are not getting returns off of AI, they are cutting AI spending, but make no mistake. Salaries will not recover.What am I missing? How am I wrong?Would love opinions on this

hiitmeup.fit• Jul 27, 2026• 1 min read

Show HN: Simple HIIT timer for efficient workoutsHi HN community,As a busy techie with kids and other family obligations and my recent health diagnosis, I wanted an efficient way to integrate workouts in my daily routine and my research indicated that HIIT/Tabata style routines fit that requirement much better than a dedicated long running/planned workout routine.I made a simple PWA to help me with that endeavor that I have found useful and hoping some of you may like it as well. No sign ups needed but you can sign in if you'd like to save custom presets and history/progress. You may also enjoy some of the fitness guides/blog posts that I am put together to help someone get started more easily. Built using javascript, vite and firebase.Feedback is most welcome, both via the app/email or comments here.

news.ycombinator.com• Jul 26, 2026• 1 min read

Qwen 27B with local well writen tools just as powerful as cluade models?I am noticing that for our fintech use case, well-written tools on self-hosted models are working just as well as frontier models. But people keep talking about round count and effective token utilization. Suggestions on how I can validate the hypothesis and close the debate for good in our org?

bing.com• Jul 26, 2026• 1 min read

How To Tell Your Boss You're At Capacity Without Looking WeakAfraid to tell your boss you're overloaded? Learn how to discuss capacity, prioritize work, and set realistic expectations without hurting your reputation.

punterjs.org• Jul 26, 2026• 1 min read

Show HN: Punter.js – single-file JavaScript game engine for teaching programmingWe host work experience students at Orca Scan. This year I mentored one myself.Schools teach programming theory, maybe some Python. Students rarely leave with something to show their friends. When I started coding on a ZX Spectrum, I typed in listings from INPUT magazine. Tweak a number, get more lives, you’re hooked. I wanted that same effect.So I pulled the JS engine we built for OrcaCam out into its own thing: punter.js. One file, ~2000 lines, plain ES5, no dependencies. Starting with Pong, a student can write a working game in an HTML file and have it live in 15 minutes.My goal is to create something simple schools can use to teach programming, but in a way that inspires.Would love your feedback, what do I need to add/improve to achieve this goal?

occultgatsby.work• Jul 26, 2026• 1 min read

Show HN: The Occult GatsbyThe Occult Great Gatsby The Great Gatsby Annotated for Esoteric Content: The Fourth Way, Alchemy, Tarot, and KabbalahAuthor is my father, Jon Woodson. I'm the web guy who wanted to bring this to a wider audience with a more interactive way to pop-up the notes about esoteric content.Author's blurb from Amazon self-publishing page:F. Scott Fitzgerald’s novel, The Great Gatsby, is a manual for spiritual development. It is not a unique text, for many American modernist novels of canonical stature are similarly grounded in the occult. Fitzgerald was a follower of A. R. Orage who not only taught the Gurdjieff Work (the Fourth Way) but organized a vast literary network to further its goals.The chief reason that this occult literary tendency has remained in the shadows is that the arbiter of the movement has been poorly understood and critically neglected.The Great Gatsby belongs to a genre of the novel invented by Carl Van Vechten. Van Vechten’s novel, The Blind Bow-Boy (1923) was the model f

mapmy.network• Jul 26, 2026• 1 min read

Show HN: Visualize your computer's network connections on a 3D globeHey all, two days ago I had the idea for a tool that visualizes all the internet connections my computer made. Now its real!Its a simple open source program written in Rust that listens for outbound connections your computer makes, runs traceroutes on each destination, geolocates each hop and renders in on a 3d globe.The tool (network cartographer) works on linux, mac and windows. Feel free to try it out. I tried making it as frictionless as possible.Beaware this is mostly a for-fun and educational tool. It will naturally be inaccurate as it doesnt show the routes the actual packets take, just the way that traceroute did. Its also limited how much data i could find for the geolocalization.

pdf-reader-peach.vercel.app• Jul 26, 2026• 1 min read

Show HN: A client side PDF and article reader backed by Google DriveI have been using different apps to read research papers, books, and web articles. On iPad, I read research papers and books on Apple Books, and articles in Safari; on Mac, I use skim for research papers and books, as it gives excellent annotation features.But I wanted one reading library that worked across iPad and Mac without locking my pdfs and annotations into a single service/app.So I have built a browser-based reader where your library lives in a folder you choose in google drive. The app itself is client side: pdfs, imported articles and annotations files are stored in your drive rather than on my server.- PDFs and web articles live together in one library- Articles stay as HTML instead of being converted into PDFs (because converting to PDFs often cuts words vertically such that the top half of the word is on one page and the rest on another)- Highlights, handwritten annotations and notes are stored separately alongside each document- The app first writes locally, then syncs wi

news.ycombinator.com• Jul 26, 2026• 1 min read

Ask HN: Is an in-page speed reader useful?A friend suggested I embed an RSVP reader in my blog posts, so I did a floating button in the corner of the page. It uses the Spritz heuristic for the focus letter (letter 1 for short words, up to letter 4 for long ones) but maps back through punctuation, and the timing isn't uniform either. I don't want to bury this post in technical detail, so if you're curious about any of it, just ask and I'm happy to share.But I'm not really used to speed readers, so I don't know if it's actually useful. What do you think?And about browser extensions? does a per-site reader still make sense when an extension works everywhere, in theory?It's on my blog (glitchedcat.com) on any post the lightning bolt button in the corner.

news.ycombinator.com• Jul 26, 2026• 1 min read

Ask HN: I spent personal money on game dev. How to turn stalled project around?Over the last year I spent a sizable sum on a personal multiplayer game project. I designed the idea until it was ready, contracted an offshore dev team, spent several months iterating on the production and then had the unfortunate luck to have the contracting company go out of business while the project was still in a pre alpha stage.How should I rethink my problem space and move forward in this situation? Game dev is different from some trades in the sense that investment is heavily front loaded, which makes it difficult to start bringing in revenue while you’re still building out the MVP.I firmly believe in the project itself, it already shows promise. The game is an online battle game, and what I currently have is a (rough) playable demo with placeholder art.Professionally, I’m a dev, so I could keep building it myself, although it involves much more than just software hours. There is a huge amount of work that includes 2D/3D art, sound, music, networking, UI, onboarding, testing,

github.com• Jul 26, 2026• 1 min read

Show HN: I built a transparent terminal wrapper for unobtrusive AII wanted a way to use my existing AI subscriptions as a terminal assistant to analyze shell output or help me with a complicated awk incantation from time to time without getting in my way the rest of the time. I couldn't find anything existing that does this do I built it! I used pvolok's excellent mprocs as a starting point and leaned heavily on Claude and Codex for coding all but the gnarliest parts while providing extensive guidance on how it should be implemented.I know that coding agents can run shell commands already but that puts the AI in the driver's seat. Terminai let's me be the driver, with codex or claude (or any other agent) sitting quietly in the backseat until I want its help.The hardest part was making it truly transparent. Most TUIs that embed a terminal break the terminal emulator's native scrollback and frequently also break copying to the clipboard. I worked hard to make sure that that both of these work exactly as they would without terminai. Along the way I had

github.com• Jul 26, 2026• 1 min read

Show HN: A browser-based video editor that renders videos directly with FFmpegWeave is a React app that provides a multi-track timeline editor to perform basic video edits like trimming, stitching, transitions, audio tracks etc. which maps directly to an FFmpeg command to render the video.I tried my best to have the React "video" preview closely replicate the FFmpeg lavfi filtergraph output, but naturally this is not perfect (especially replicating the `eq` filter using SVG filters is quite inaccurate).I've built this as a prototype for another project I'm working on, so I don't plan to actively maintain it, but I thought it'd be cool to share it.Try it live: https://weave.salviano.xyz/

getsnack.app• Jul 26, 2026• 1 min read

Show HN: Exercise snack reminders for iOS/Android, no server, one-time purchaseI built Snack App for my wife. She works from home, and every night, she would feel stiff and creaky after sitting all day, so she decided that she had to be less sedentary. Her idea was to break up her day with "exercise snacks" - formally defined as "isolated ≤1-min bouts of vigorous exercise performed periodically throughout the day" (https://pubmed.ncbi.nlm.nih.gov/34669625/) but really any kind of movement (a couple flights of stairs, a 5-minute walk, or a set of air squats) is better than nothing.So I wrote her an app that lets her set a goal and pick a reminder schedule. The app sends her notifications; she logs her snacks in the app; and every day she meets her goal extends her streak.Speaking of streaks, I forgot to do my Wordle one day and, to my horror, broke a 171-day streak, so I made Snack App's streaks flexible. You can pause your streak anytime, and it'll resume when you start logging snacks again. There's also a built-in grace period, just in case you forget. The whole

gitcharta.vercel.app• Jul 26, 2026• 1 min read

Show HN: GitCharta, generate a snapshot of any GitHub user's global networkIt just starts with how I could check if a person I followed on GitHub follows me back, or wanting to know if someone who starred my project started following me. I checked out some open source tools on GitHub and discovered a few, but the majority of them have limitations. First, they rely on the github rest api, so even if you decide to provide your PAT token, you are still stuck at around 5.000 requests (combining both following and followers). That’s not good for large accounts like Evan You or a really popular gitHub user with more than 5k followers. Second, they are either CLI tools that return another raw list or require you to sign up (and even in those cases, they are still stuck with the github rest api limitations and can't scale).So, I decided to create my own tool that others could use. But why just create another tool similar to the rest? I searched for a touch of originality and wanted to see the link, something we have in common. That's where the idea of countries came

kryptogram.se• Jul 26, 2026• 1 min read

Show HN: CDXE – Cyber Defence Exercise EnvironmentA few years ago I needed a lightweight way to simulate a realistic internet-like environment for some training purposes. Sadly I couldn’t find something suitable for the requirements. Already being halfway down the rabbit hole, when I later had some time left over I got started building the tool I was missing. In May this year, I was finally really to pull the trigger and released the first public version of CDXE into the wild.CDXE is an all-in-one internet-like environment carefully designed to meet the requirements of smaller scale Cyber Defence Exercises(CDX). While the main focus is on CDXs, I’m working on a map feature that can graphically show live traffic flows across the visualized “internet”. This god view is interesting from many perspectives, but specifically for students learning about the inner workings of the internet for the first time. Letting them see how their pings, traceroutes, and other traffic traverses the “internet”. (If you have been to any of my presentations