Show HN: Tiny Hoare logic verifier using SMT
6 by namin | 1 comments on Hacker News.
Thursday, June 19, 2025
Wednesday, June 18, 2025
Tuesday, June 17, 2025
Monday, June 16, 2025
New top story on Hacker News: Show HN: Trieve CLI – Terminal-Based LLM Agent Loop with Search Tool for PDFs
Show HN: Trieve CLI – Terminal-Based LLM Agent Loop with Search Tool for PDFs
13 by skeptrune | 0 comments on Hacker News.
Hi HN, I built a CLI for uploading documents and querying them with an LLM agent that uses search tools rather than stuffing everything into the context window. I recorded a demo using the CrossFit 2025 rulebook that shows how this approach compares to traditional RAG and direct context injection[1]. The core insight is that LLMs running in loops with tool access are unreasonably effective at this kind of knowledge retrieval task[2]. Instead of hoping the right chunks make it into your context, the agent can iteratively search, refine queries, and reason about what it finds. The CLI handles the full workflow: ```bash trieve upload ./document.pdf trieve ask "What are the key findings?" ``` You can customize the RAG behavior, check upload status, and the responses stream back with expandable source references. I really enjoy having this workflow available in the terminal and I'm curious if others find this paradigm as compelling as I do. Considering adding more commands and customization options if there's interest. The tool is free for up to 1k document chunks. Source code is on GitHub[3] and available via npm[4]. Would love any feedback on the approach or CLI design! [1]: https://www.youtube.com/watch?v=SAV-esDsRUk [2]: https://ift.tt/Bmvpjz1 [3]: https://ift.tt/eZ0uW4Q... [4]: https://ift.tt/m3u04Ud
13 by skeptrune | 0 comments on Hacker News.
Hi HN, I built a CLI for uploading documents and querying them with an LLM agent that uses search tools rather than stuffing everything into the context window. I recorded a demo using the CrossFit 2025 rulebook that shows how this approach compares to traditional RAG and direct context injection[1]. The core insight is that LLMs running in loops with tool access are unreasonably effective at this kind of knowledge retrieval task[2]. Instead of hoping the right chunks make it into your context, the agent can iteratively search, refine queries, and reason about what it finds. The CLI handles the full workflow: ```bash trieve upload ./document.pdf trieve ask "What are the key findings?" ``` You can customize the RAG behavior, check upload status, and the responses stream back with expandable source references. I really enjoy having this workflow available in the terminal and I'm curious if others find this paradigm as compelling as I do. Considering adding more commands and customization options if there's interest. The tool is free for up to 1k document chunks. Source code is on GitHub[3] and available via npm[4]. Would love any feedback on the approach or CLI design! [1]: https://www.youtube.com/watch?v=SAV-esDsRUk [2]: https://ift.tt/Bmvpjz1 [3]: https://ift.tt/eZ0uW4Q... [4]: https://ift.tt/m3u04Ud
Sunday, June 15, 2025
New top story on Hacker News: Show HN: I'm a student built an AI to chat with YouTube videos
Show HN: I'm a student built an AI to chat with YouTube videos
12 by adrinant | 4 comments on Hacker News.
Wiyomi.com, YouTube + AI = Personal Tutor for Every Learner. Please leave feedbacks so this tool is getting better and fruitful for you!
12 by adrinant | 4 comments on Hacker News.
Wiyomi.com, YouTube + AI = Personal Tutor for Every Learner. Please leave feedbacks so this tool is getting better and fruitful for you!
Saturday, June 14, 2025
Friday, June 13, 2025
New top story on Hacker News: Ask HN: What is your fallback job if AI takes away your career?
Ask HN: What is your fallback job if AI takes away your career?
11 by 7402 | 23 comments on Hacker News.
For the sake of argument, assume that if your job consists of sitting at a computer, reading on a screen, and typing on a keyboard, then your career will go away. There is always room at the top, and there may always be room for humans at the top of any career. Assume (this is a tough ask, I know) that you are NOT one of those people. What is your fallback job? What skills do you have or would like to acquire that might keep you going? Bicycle mechanic? Teach music to children? Woodworking/carpentry? (Living off your stock options or investments does not count)
11 by 7402 | 23 comments on Hacker News.
For the sake of argument, assume that if your job consists of sitting at a computer, reading on a screen, and typing on a keyboard, then your career will go away. There is always room at the top, and there may always be room for humans at the top of any career. Assume (this is a tough ask, I know) that you are NOT one of those people. What is your fallback job? What skills do you have or would like to acquire that might keep you going? Bicycle mechanic? Teach music to children? Woodworking/carpentry? (Living off your stock options or investments does not count)
Thursday, June 12, 2025
Wednesday, June 11, 2025
Tuesday, June 10, 2025
New top story on Hacker News: Ask HN: What cool skill or project interests you, but feels out of reach?
Ask HN: What cool skill or project interests you, but feels out of reach?
3 by akktor | 3 comments on Hacker News.
This question's for all those cool projects or skills you're secretly fascinated by, but haven't quite jumped into. Maybe you feel like you just don't have the right "brain" for it, or you're not smart enough to figure it out, or even worse, you simply have no clue how or where to even start. The idea here is to shine a light on these hidden interests and the little (or big!) mental blocks that come with them. If you're already rocking in those specific areas – or you've been there and figured out how to get past similar hurdles – please chime in! Share some helpful resources, dish out general advice, or just give a nudge of encouragement on how to take that intimidating first step. Let's help each other get unstuck!
3 by akktor | 3 comments on Hacker News.
This question's for all those cool projects or skills you're secretly fascinated by, but haven't quite jumped into. Maybe you feel like you just don't have the right "brain" for it, or you're not smart enough to figure it out, or even worse, you simply have no clue how or where to even start. The idea here is to shine a light on these hidden interests and the little (or big!) mental blocks that come with them. If you're already rocking in those specific areas – or you've been there and figured out how to get past similar hurdles – please chime in! Share some helpful resources, dish out general advice, or just give a nudge of encouragement on how to take that intimidating first step. Let's help each other get unstuck!
Monday, June 9, 2025
New top story on Hacker News: Show HN: Munal OS: a graphical experimental OS with WASM sandboxing
Show HN: Munal OS: a graphical experimental OS with WASM sandboxing
36 by Gazoche | 5 comments on Hacker News.
Hello HN! Showing off the first version of Munal OS, an experimental operating system I have been writing in Rust on and off for the past few years. https://ift.tt/eEuvYjG It's an unikernel design that is compiled as a single EFI binary and does not use virtual address spaces for process isolation. Instead, applications are compiled to WASM and run inside of an embedded WASM engine. Other features: * Fully graphical interface in HD resolution with mouse and keyboard support * Desktop shell with window manager and contextual radial menus * PCI and VirtIO drivers * Ethernet and TCP stack * Customizable UI toolkit providing various widgets, responsive layouts and flexible text rendering * Embedded selection of applications including: * A web browser supporting DNS, HTTPS and very basic HTML * A text editor * A Python terminal Checkout the README for the technical breakdown. Demo video: https://ift.tt/aZOEgkc
36 by Gazoche | 5 comments on Hacker News.
Hello HN! Showing off the first version of Munal OS, an experimental operating system I have been writing in Rust on and off for the past few years. https://ift.tt/eEuvYjG It's an unikernel design that is compiled as a single EFI binary and does not use virtual address spaces for process isolation. Instead, applications are compiled to WASM and run inside of an embedded WASM engine. Other features: * Fully graphical interface in HD resolution with mouse and keyboard support * Desktop shell with window manager and contextual radial menus * PCI and VirtIO drivers * Ethernet and TCP stack * Customizable UI toolkit providing various widgets, responsive layouts and flexible text rendering * Embedded selection of applications including: * A web browser supporting DNS, HTTPS and very basic HTML * A text editor * A Python terminal Checkout the README for the technical breakdown. Demo video: https://ift.tt/aZOEgkc
Sunday, June 8, 2025
New top story on Hacker News: Abstract visual reasoning based on algebraic methods
Abstract visual reasoning based on algebraic methods
9 by bryanrasmussen | 3 comments on Hacker News.
9 by bryanrasmussen | 3 comments on Hacker News.
Saturday, June 7, 2025
Friday, June 6, 2025
Thursday, June 5, 2025
Wednesday, June 4, 2025
Tuesday, June 3, 2025
Monday, June 2, 2025
Subscribe to:
Posts (Atom)