The best Hacker News stories from Show from the past day
Latest posts:
Show HN: Deta Surf – An open source and local-first AI notebook
Hi HN!<p>We got frustrated with the fragmented experience of exploring & creating across our file manager, the web and document apps. Lots of manual searching, opening windows & tabs, scrolling, and ultimately copying & pasting into a document editor.<p>Surf is a desktop app meant for simultaneous research and thinking to minimize the grunt work. It’s made of two parts:<p>1) A multi-media library where you can save and organize files and webpages into collections called Notebooks.<p>2) A LLM-powered smart document which you can auto-generate using the context from any stored page, tab or entire notebook. This document contains deep links back to the source material — like a page of a PDF or timestamp in a YouTube video. Unlike Deep Research products (or NotebookLMs chat) the entire thing is editable. The user also stays in the loop.<p>With a technology like AI, context / data is proving to be king. We think it should stay under the user’s control, with minimal lock in: where you can own & export, and plug & play with different models. That’s why Surf is:<p>- Open Source on GitHub
- Open (& Local Data): the data saved in Surf is stored on your local machine in open and accessible formats and mostly works offline.
- Open Model Choice: you can choose which models you use with Surf, and can add custom & Local LLMs<p>Early users include students & researchers who are learning and doing thematic research using Surf.<p>Github repo: <a href="https://github.com/deta/surf/" rel="nofollow">https://github.com/deta/surf/</a><p>Website: <a href="https://deta.surf/" rel="nofollow">https://deta.surf/</a>
Show HN: Deta Surf – An open source and local-first AI notebook
Hi HN!<p>We got frustrated with the fragmented experience of exploring & creating across our file manager, the web and document apps. Lots of manual searching, opening windows & tabs, scrolling, and ultimately copying & pasting into a document editor.<p>Surf is a desktop app meant for simultaneous research and thinking to minimize the grunt work. It’s made of two parts:<p>1) A multi-media library where you can save and organize files and webpages into collections called Notebooks.<p>2) A LLM-powered smart document which you can auto-generate using the context from any stored page, tab or entire notebook. This document contains deep links back to the source material — like a page of a PDF or timestamp in a YouTube video. Unlike Deep Research products (or NotebookLMs chat) the entire thing is editable. The user also stays in the loop.<p>With a technology like AI, context / data is proving to be king. We think it should stay under the user’s control, with minimal lock in: where you can own & export, and plug & play with different models. That’s why Surf is:<p>- Open Source on GitHub
- Open (& Local Data): the data saved in Surf is stored on your local machine in open and accessible formats and mostly works offline.
- Open Model Choice: you can choose which models you use with Surf, and can add custom & Local LLMs<p>Early users include students & researchers who are learning and doing thematic research using Surf.<p>Github repo: <a href="https://github.com/deta/surf/" rel="nofollow">https://github.com/deta/surf/</a><p>Website: <a href="https://deta.surf/" rel="nofollow">https://deta.surf/</a>
Show HN: Play abstract strategy board games online with friends or against bots
Thought I would post in celebration of 1 year of my website being online. I've been working on it on and off and currently the website allows users to play Hex, Tumbleweed, Amazons, and Connect 6 against friends or against practice bots. I've been a long time player of some of these games and I felt for a long time that the world could use a few more popular abstract strategy games compared to Chess or Go.<p>If you try it, let me know what you think. I'm always looking for new games or new features to add :)
Show HN: I built a tech news aggregator that works the way my brain does
An honest to god, non-algorithmic reverse chrono list of tech news that passes my signal-to-noise tests, updated hourly.<p>A lightweight a page design as I've been able to keep; simple, clean, fast. No commercial features or aspirations - this is a passion project, something I've been fooling around with on and off for decades.<p>There's a "Top" view too with an LLM edited front page & summary, and categorized views for a large number of topics - see the Directory. A few more buried features to explore, but the fundamental use case is pop in, scan, exit - fast and concise.<p>Your feedback would be appreciated!
Show HN: I built a tech news aggregator that works the way my brain does
An honest to god, non-algorithmic reverse chrono list of tech news that passes my signal-to-noise tests, updated hourly.<p>A lightweight a page design as I've been able to keep; simple, clean, fast. No commercial features or aspirations - this is a passion project, something I've been fooling around with on and off for decades.<p>There's a "Top" view too with an LLM edited front page & summary, and categorized views for a large number of topics - see the Directory. A few more buried features to explore, but the fundamental use case is pop in, scan, exit - fast and concise.<p>Your feedback would be appreciated!
Show HN: Modshim – A new alternative to monkey-patching in Python
I've invented a new alternative to forking / vendoring / monkey-patching packages in Python.<p>It's a bit like OverlayFS for Python modules - it allows you write modifications for a target module (lower) in a new module (upper), and have these combined in a new virtual module (mount).<p>It works by rewriting imports using AST transformations, then running both the lower and upper module's code in the new Python module.<p>This prevents polluting the global namespace when monkey-patching, and means if you want to make changes to a third-party package, you don't have to take on the maintenance burden of forking, you can package and distribute just your changes.
Show HN: Modshim – A new alternative to monkey-patching in Python
I've invented a new alternative to forking / vendoring / monkey-patching packages in Python.<p>It's a bit like OverlayFS for Python modules - it allows you write modifications for a target module (lower) in a new module (upper), and have these combined in a new virtual module (mount).<p>It works by rewriting imports using AST transformations, then running both the lower and upper module's code in the new Python module.<p>This prevents polluting the global namespace when monkey-patching, and means if you want to make changes to a third-party package, you don't have to take on the maintenance burden of forking, you can package and distribute just your changes.
Show HN: Cuq – Formal Verification of Rust GPU Kernels
Show HN: Cuq – Formal Verification of Rust GPU Kernels
Show HN: Cuq – Formal Verification of Rust GPU Kernels
Show HN: Cadence – A guitar theory app
Hello HN, I just released this music theory and ear training mobile app for guitar which I've been working on for a bit more than a year on the side.<p>The idea was to make something for the eternally "intermediate" guitarist (myself included). There are a lot of beginner apps which rely on learning songs, toolkits which give you a bunch of stuff with no explanation but not many in-between apps to actually learn and practice more generic and somewhat advanced stuff.<p>The app contains short lessons, recaps and most importantly challenges (visual, audio and pure theory) along with a very complete library.<p>The challenges are made for practicing, they will get increasingly harder and getting to the max score is supposed to be quite hard. The idea being that you have to repeat them regularly until your brain has integrated the info and it flows naturally rather than being a one time quick dopamine shot. This is partly inspired by how language learning apps work.<p>It has no ads, a lifetime purchase option and you can use it without an account if you don't care about multi-device sync or backing up your progress.<p>Android: <a href="https://play.google.com/store/apps/details?id=com.apizon.cadence.android">https://play.google.com/store/apps/details?id=com.apizon.cad...</a><p>iOS: <a href="https://apps.apple.com/us/app/cadence-guitar-theory/id6747011447?platform=iphone">https://apps.apple.com/us/app/cadence-guitar-theory/id674701...</a><p>(This is my second and last post about this sorry for spam. My first post a few weeks ago didn't get any views and posting on a saturday might not have helped...)
Show HN: Cadence – A guitar theory app
Hello HN, I just released this music theory and ear training mobile app for guitar which I've been working on for a bit more than a year on the side.<p>The idea was to make something for the eternally "intermediate" guitarist (myself included). There are a lot of beginner apps which rely on learning songs, toolkits which give you a bunch of stuff with no explanation but not many in-between apps to actually learn and practice more generic and somewhat advanced stuff.<p>The app contains short lessons, recaps and most importantly challenges (visual, audio and pure theory) along with a very complete library.<p>The challenges are made for practicing, they will get increasingly harder and getting to the max score is supposed to be quite hard. The idea being that you have to repeat them regularly until your brain has integrated the info and it flows naturally rather than being a one time quick dopamine shot. This is partly inspired by how language learning apps work.<p>It has no ads, a lifetime purchase option and you can use it without an account if you don't care about multi-device sync or backing up your progress.<p>Android: <a href="https://play.google.com/store/apps/details?id=com.apizon.cadence.android">https://play.google.com/store/apps/details?id=com.apizon.cad...</a><p>iOS: <a href="https://apps.apple.com/us/app/cadence-guitar-theory/id6747011447?platform=iphone">https://apps.apple.com/us/app/cadence-guitar-theory/id674701...</a><p>(This is my second and last post about this sorry for spam. My first post a few weeks ago didn't get any views and posting on a saturday might not have helped...)
Show HN: bbcli – A TUI and CLI to browse BBC News like a hacker
hey hn!<p>I (re)built this TUI tool for browsing BBC News in the terminal, it uses an RSS feed for getting headlines and previews and you can read articles too.<p>Try it out and let me know what you think! :)
Show HN: bbcli – A TUI and CLI to browse BBC News like a hacker
hey hn!<p>I (re)built this TUI tool for browsing BBC News in the terminal, it uses an RSS feed for getting headlines and previews and you can read articles too.<p>Try it out and let me know what you think! :)
Show HN: ASCII Automata
ASCII AUTOMATA is a tool to analyze the visual connectivity of characters in textmode fonts. It works by scoring edge connectivity of each piece and finding the best matching neighbour piece. Every time it places a piece, it "grows" towards the edges it touches by placing a matching piece. The red heatmap shows how frequently each character is used, useful for analyzing the fonts.<p>I initially made it as a tool for myself. When I design textmode art fonts it is sometimes difficult to figure out if a specific character would actually be useful for drawing or not. I wanted a tool which would show how useful and versatile some character is, and how well it connects to all other pieces.<p>But, as it turned out, this tool produces unexpectedly beautiful emergent patterns, so I made it into a proper little toy-tool for anyone to play around with.<p>Sidenote: it was also a good opportunity to test a new method for constructing a responsive semi-complex UI.<p>I made a web component which renders text as SVG paths using hershey vector fonts. The SVG fills the parent element, and applies stroke after the stretching happens: so strings "a" and "aaa" take the same amount of space, while remaining legible because the stroke is independent of the text's transformations. Thus, I never have problems with overflowing text in the UI!<p>The layout is made with a CSS grid. For example the sidebar is simply <div style="--cols:8;--rows:41;" class="sidebar grid"> and then each UI element gets a position and size <vec-text style="--x:1;--y:19;--w:2;--h:1;">Cell Width</vec-text> . As a result, the layout is easy to make, the sidebar itself can be any size or shape,all the UI elements stay exactly where I put them, and all text remains legible due to the stretchy, monolined vector font web component. It's great!<p>The WHOLE UI layout is just 120 lines of HTML, and 40 lines of CSS (for around 90 UI elements)!<p>(it did take a while to fiddle with the coordinate numbers, but I'm working on a wysiwyg tool to make that easier too...)<p>[crossposted this comment from mastodon: <a href="https://typo.social/@gdc/115405978249292146" rel="nofollow">https://typo.social/@gdc/115405978249292146</a>]
Show HN: ASCII Automata
ASCII AUTOMATA is a tool to analyze the visual connectivity of characters in textmode fonts. It works by scoring edge connectivity of each piece and finding the best matching neighbour piece. Every time it places a piece, it "grows" towards the edges it touches by placing a matching piece. The red heatmap shows how frequently each character is used, useful for analyzing the fonts.<p>I initially made it as a tool for myself. When I design textmode art fonts it is sometimes difficult to figure out if a specific character would actually be useful for drawing or not. I wanted a tool which would show how useful and versatile some character is, and how well it connects to all other pieces.<p>But, as it turned out, this tool produces unexpectedly beautiful emergent patterns, so I made it into a proper little toy-tool for anyone to play around with.<p>Sidenote: it was also a good opportunity to test a new method for constructing a responsive semi-complex UI.<p>I made a web component which renders text as SVG paths using hershey vector fonts. The SVG fills the parent element, and applies stroke after the stretching happens: so strings "a" and "aaa" take the same amount of space, while remaining legible because the stroke is independent of the text's transformations. Thus, I never have problems with overflowing text in the UI!<p>The layout is made with a CSS grid. For example the sidebar is simply <div style="--cols:8;--rows:41;" class="sidebar grid"> and then each UI element gets a position and size <vec-text style="--x:1;--y:19;--w:2;--h:1;">Cell Width</vec-text> . As a result, the layout is easy to make, the sidebar itself can be any size or shape,all the UI elements stay exactly where I put them, and all text remains legible due to the stretchy, monolined vector font web component. It's great!<p>The WHOLE UI layout is just 120 lines of HTML, and 40 lines of CSS (for around 90 UI elements)!<p>(it did take a while to fiddle with the coordinate numbers, but I'm working on a wysiwyg tool to make that easier too...)<p>[crossposted this comment from mastodon: <a href="https://typo.social/@gdc/115405978249292146" rel="nofollow">https://typo.social/@gdc/115405978249292146</a>]
Show HN: I'm rewriting a web server written in Rust for speed and ease of use
Hello! I got quite some feedback on a web server I'm building, so I'm rewriting the server to be faster and easier to use.<p>I (and maybe some other contributors?) have optimized the web server performance, especially for static file serving and reverse proxying (the last use case I optimized for very recently).<p>I also picked a different configuration format and specification, what I believe is easier to write.<p>Automatic TLS is also enabled by default out of the box, you don't need to even enable it manually, like it was in the original server I was building.<p>Yesterday, I released the first release candidate of my web server's rewrite. I'm so excited for this. I have even seen some serving websites with the rewritten web server, even if the rewrite was in beta.<p>Any feedback is welcome!
Show HN: I'm rewriting a web server written in Rust for speed and ease of use
Hello! I got quite some feedback on a web server I'm building, so I'm rewriting the server to be faster and easier to use.<p>I (and maybe some other contributors?) have optimized the web server performance, especially for static file serving and reverse proxying (the last use case I optimized for very recently).<p>I also picked a different configuration format and specification, what I believe is easier to write.<p>Automatic TLS is also enabled by default out of the box, you don't need to even enable it manually, like it was in the original server I was building.<p>Yesterday, I released the first release candidate of my web server's rewrite. I'm so excited for this. I have even seen some serving websites with the rewritten web server, even if the rewrite was in beta.<p>Any feedback is welcome!
Show HN: Katakate – Dozens of VMs per node for safe code exec
I've built this to make it easy to host your own infra for lightweight VMs at large scale.<p>Intended for exec of AI-generated code, for CICD runners, or for off-chain AI DApps. Mainly to avoid Docker-in-Docker dangers and mess.<p>Super easy to use with CLI / Python SDK, friendly to AI engs who usually don't like to mess with VM orchestration and networking too much.<p>Defense-in-depth philosophy.<p>Would love to get feedback (and contributors: clear & exciting roadmap!), thx
Show HN: Katakate – Dozens of VMs per node for safe code exec
I've built this to make it easy to host your own infra for lightweight VMs at large scale.<p>Intended for exec of AI-generated code, for CICD runners, or for off-chain AI DApps. Mainly to avoid Docker-in-Docker dangers and mess.<p>Super easy to use with CLI / Python SDK, friendly to AI engs who usually don't like to mess with VM orchestration and networking too much.<p>Defense-in-depth philosophy.<p>Would love to get feedback (and contributors: clear & exciting roadmap!), thx