The best Hacker News stories from Show from the past day
Latest posts:
Show HN: A Common Lisp implementation in development, supports ASDF
Implementation of the standard is still not complete, but breakpoints and stepping work quite well! It also has some support for watchpoints, that no implementation has.<p>Now it ships with ASDF and is capable of loading systems!<p>Let me know if you like it. Support on Patreon or Liberapay is much appreciated
Show HN: I created snapDOM to capture DOM nodes as images with exceptional speed
Show HN: Daily Jailbreak – Prompt Engineer's Wordle
I created a daily challenge for Prompt Engineers to build the shortest prompt to break a system prompt.<p>You are provided the system prompt and a forbidden method the LLM was told not to invoke. Your task is to trick the model into calling the function. Shortest successful attempts will show up in the leaderboard.<p>Give it a shot! You never know what could break an LLM.
Show HN: Daily Jailbreak – Prompt Engineer's Wordle
I created a daily challenge for Prompt Engineers to build the shortest prompt to break a system prompt.<p>You are provided the system prompt and a forbidden method the LLM was told not to invoke. Your task is to trick the model into calling the function. Shortest successful attempts will show up in the leaderboard.<p>Give it a shot! You never know what could break an LLM.
Show HN: Bhvr, a Bun and Hono and Vite and React Starter
Hey all! I've been using this stack personally for a while now and decided to automate it a bit by turning it into a template I can reuse. Hope others might find it helpful!
Show HN: Remote-Controlled IKEA Deathstar Lamp
Repainting the iconic IKEA PS 2014 lamp into the Deathstar from Star Wars has been a popular IKEA hack for quite some time.<p>This variant additionally replaces the manual, rope-operated mechanism to open and close the lamp with a remote-controlled motor.<p>The firmware is based on ESPHome, and its excellent Home Assistant integration enables one to implement higher-level features, like a "sundial" where the aperture of the Deathstar follows the sun elevation throughout the day (see the timelapse video).<p>That said, I will not consider this project as complete until the Imperial March can be played over the stepper motor (just like the legendary Floppotron) ;-)
Show HN: Empty Enter Expander – Type less in the terminal with this tool
When you have a lot of aliases it can be difficult to remember how was the one you need named especially if you do not use it very often. You can also have files stored in a bin folder and look there to find the name. Another trick is to prepend your commands with a comma then type the comma and hit the Tab key to see only your own commands. There is an article about it somewhere on the Internet.<p>I needed something lightweight to always show me the available commands. Something to run with a few keystrokes. Something that stores commands in files and folder structures.<p>The idea was born at the time of using Linux Debian with the dwm (dynamic window manager). The first version was implemented in bash and it could do three things: start an application, expand text from a template and do a predefined automation on the selected application.<p>It was launched by a keyboard shortcut and opened the list of commands in a new terminal window. The commands were stored in nested folders and it was able to switch between the three modes (launcher, expander, automator). It also required only few keystrokes to do the desired action.<p>For instance, I was in the terminal and hit Ctrl+P. It opened a new terminal and listed applications to launch. I hit the Space to switch to the expander mode. Then I hit the g to enter the Git folder and s for the status. The result was that it put the git status to the terminal I was in before. This expander could be used in any application. It could insert the email template into the browser.<p>Then I migrated to macOS and really missed that tool. So I quickly wrote a zsh vesrion that consists only the expander mode and supports only the terminal. It is activated by hitting Enter on empty command and then it inserts the desired command right into the prompt. For example, when you hit Enter, g and s you will get the git status command to the prompt and you can then execute it with Enter. Of course, those commands and keys are defined by you. There are various and lenghty commands that I use on a daily basis like this and it saves a lot of typing.<p>The tool is called Empty Enter Expander. It is implemented for the zsh as of now. Please check it out at <a href="https://github.com/waszabi/empty-enter-expander">https://github.com/waszabi/empty-enter-expander</a> and let me know what you like or dislike about it.
Show HN: GS-Calc – A modern spreadsheet with Python integration
Process large (e.g. 4GB+) data sets in a spreadsheet.<p>Load GB/32 million-row files in seconds and use them without any crashes using up to about 500GB RAM.<p>Load/edit in-place/split/merge/clean CSV/text files with up to 32 million rows and 1 million columns.<p>Use your Python functions as UDF formulas that can return to GS-Calc images and entire CSV files.<p>Use a set of statistical pivot data functions.<p>Solver functions virtually without limits for the number of variables.<p>Create and display all popular chart types with millions of data points instantly.<p>Suggestions for improvements are welcome (and often implemented quite quickly).
Show HN: GS-Calc – A modern spreadsheet with Python integration
Process large (e.g. 4GB+) data sets in a spreadsheet.<p>Load GB/32 million-row files in seconds and use them without any crashes using up to about 500GB RAM.<p>Load/edit in-place/split/merge/clean CSV/text files with up to 32 million rows and 1 million columns.<p>Use your Python functions as UDF formulas that can return to GS-Calc images and entire CSV files.<p>Use a set of statistical pivot data functions.<p>Solver functions virtually without limits for the number of variables.<p>Create and display all popular chart types with millions of data points instantly.<p>Suggestions for improvements are welcome (and often implemented quite quickly).
Show HN: My self-written hobby OS is finally running on my vintage IBM ThinkPad
Finally got my hobby OS up and running on real hardware. I love the old IBM thinkpads, so thought it was the perfect machine to get it working on. Been working on it for quite some time now, but this has been a big milestone!
Show HN: My self-written hobby OS is finally running on my vintage IBM ThinkPad
Finally got my hobby OS up and running on real hardware. I love the old IBM thinkpads, so thought it was the perfect machine to get it working on. Been working on it for quite some time now, but this has been a big milestone!
Show HN: Zev – Remember (or discover) terminal commands
Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust
I've just released an early version off my project I've been working on for a few months now and would love some feedback.<p><a href="https://github.com/fourlexboehm/faasta">https://github.com/fourlexboehm/faasta</a><p>I was surprised there isn't yet an open/source and standards compliant way to host wasi-http functions in a way that takes advantages of WASM, a multi tenanted application.<p>If you're not familiar with wasi, Compared to something like AWS Lambda, this approach is much more efficient as a single process can serve 1000s of function invocations concurrently and asynchronously, instead requiring an entire VM.<p>This is still early days for the project, but feel free to download the cli utility with cargo install cargo-faasta.<p>Feel free to test deploying functions on my hosted instance at <a href="https://website.faasta.xyz" rel="nofollow">https://website.faasta.xyz</a>.<p>The service is free to use and currently supports deployments via GitHub OAuth, with a limit of 10 functions per GitHub account.
Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust
I've just released an early version off my project I've been working on for a few months now and would love some feedback.<p><a href="https://github.com/fourlexboehm/faasta">https://github.com/fourlexboehm/faasta</a><p>I was surprised there isn't yet an open/source and standards compliant way to host wasi-http functions in a way that takes advantages of WASM, a multi tenanted application.<p>If you're not familiar with wasi, Compared to something like AWS Lambda, this approach is much more efficient as a single process can serve 1000s of function invocations concurrently and asynchronously, instead requiring an entire VM.<p>This is still early days for the project, but feel free to download the cli utility with cargo install cargo-faasta.<p>Feel free to test deploying functions on my hosted instance at <a href="https://website.faasta.xyz" rel="nofollow">https://website.faasta.xyz</a>.<p>The service is free to use and currently supports deployments via GitHub OAuth, with a limit of 10 functions per GitHub account.
Show HN: BugStalker - a modern Rust debugger
Show HN: BugStalker - a modern Rust debugger
Show HN: Formalizing Principia Mathematica using Lean
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia using Rocq (formerly Coq), which is much mature work than this one. However, I still thought it would be fun to do it using Lean4.<p><a href="https://ndrwnaguib.com/principia/" rel="nofollow">https://ndrwnaguib.com/principia/</a><p><a href="https://github.com/ndrwnaguib/principia">https://github.com/ndrwnaguib/principia</a>
Show HN: Formalizing Principia Mathematica using Lean
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia using Rocq (formerly Coq), which is much mature work than this one. However, I still thought it would be fun to do it using Lean4.<p><a href="https://ndrwnaguib.com/principia/" rel="nofollow">https://ndrwnaguib.com/principia/</a><p><a href="https://github.com/ndrwnaguib/principia">https://github.com/ndrwnaguib/principia</a>
Show HN: Formalizing Principia Mathematica using Lean
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia using Rocq (formerly Coq), which is much mature work than this one. However, I still thought it would be fun to do it using Lean4.<p><a href="https://ndrwnaguib.com/principia/" rel="nofollow">https://ndrwnaguib.com/principia/</a><p><a href="https://github.com/ndrwnaguib/principia">https://github.com/ndrwnaguib/principia</a>
Show HN: Magnitude – open-source, AI-native test framework for web apps
Hey HN, Anders and Tom here - we’ve been building an end-to-end testing framework powered by visual LLM agents to replace traditional web testing.<p>We know there's a lot of noise about different browser agents. If you've tried any of them, you know they're slow, expensive, and inconsistent. That's why we built an agent specifically for running test cases and optimized it just for that:<p>- Pure vision instead of error prone "set-of-marks" system (the colorful boxes you see in browser-use for example)<p>- Use tiny VLM (Moondream) instead of OpenAI/Anthropic computer use for dramatically faster and cheaper execution<p>- Use two agents: one for planning and adapting test cases and one for executing them quickly and consistently.<p>The idea is the planner builds up a general plan which the executor runs. We can save this plan and re-run it with only the executor for quick, cheap, and consistent runs. When something goes wrong, it can kick back out to the planner agent and re-adjust the test.<p>It’s completely open source. Would love to have more people try it out and tell us how we can make it great.<p>Repo: <a href="https://github.com/magnitudedev/magnitude">https://github.com/magnitudedev/magnitude</a>