HNHacker News
TopNewBestAskShowJobs

praveer13

126 karma · joined October 19, 2013

[ my public key: https://keybase.io/extrabrave; my proof: https://keybase.io/extrabrave/sigs/dcFj5umBxycg3skhR7Qw9OcGpdDKaYVUXZKg_f153n4 ]
submissionscomments
praveer13··on Jellyfin 12.0
I have a plex pass but moved to jellyfin, because I can't get plex to reliably stream from my server at all. While jellyfin works so smoothly. Look forward to this update!
praveer13··on No AI Fridays
For my personal “project” I’ve been using chatgpt to teach me from math (linear algebra) to quantum computing - asked it to create a big list of prompts optimal for single threads, for me to learn with Socratic method. I plan to write my notes as a blog for each thread in my own words. I think this is a good use of AI for personal goals, it’s the best learning experience for me so far. I’ve never been able to focus on lecture videos
praveer13··on Small Models Have Arrived
Luna is great at doing targeted smaller work, I use sol max for creating a plan and targeted /goal prompts after I finalize the design. Or Claude with ultracode for design and planning and adversarial review by sol max and then delegate to Luna for smaller goal prompts
praveer13··on Ask HN: What are you working on? (August 2026)
Posted on the other thread too related to this

I’ve been making interactive learning resources for myself - with wasm and browser simulation based labs (browser only interactive courses served from GitHub pages) to teach me topics from beginner to advanced

LLMs and systems intersection - https://kernelspace.naigap.com

Distributed systems - https://byzantine.play.naigap.com

praveer13··on How I use LLMs to learn complex topics
I just gave a simple prompt to Kimi k3 when it came out, and then just using it and asking it to improve based on my own taste/gaps etc so it’s a long drawn out process. I’m doing that for the first one, will iteratively keep improving it myself as I run through it. Maybe will post on HN after that.
praveer13··on How I use LLMs to learn complex topics
I’ve been doing something similar (browser only interactive courses served from GitHub pages) to teach me topics from beginner to advanced

LLMs and systems intersection - https://kernelspace.naigap.com

Distributed systems - https://byzantine.play.naigap.com

praveer13··on Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
I made it specifically for mobile browsers. I’ll try to make it still work though for desktop!
praveer13··on Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
Ah I didn’t realize what you meant until I checked my history. Thanks for the feedback!
praveer13··on Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
Yeah I am not liking third one either. Mechanics aren’t working well for me either. I might get it redesigned - maybe by gpt this time lol
praveer13··on Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
https://vecto.play.naigap.com/

https://phaseworld.play.naigap.com/

https://slope-rider.play.naigap.com

Three so far Repos -

https://github.com/praveer13/vecto

https://github.com/praveer13/slope-rider

https://github.com/praveer13/phase-world

praveer13··on Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
This is amazing. I also think this will become more common. I feel there is a lot of software that can just be served locally via html/typescript/react etc and even have local state. There's just not been an economic incentive till now.

I am personally using kimi k3 to create a mobile friendly set of games, starting from math like linear algebra to quantum physics - neurodivergent friendly, completely local state, served from github pages - to get someone interested in the field. This needs an economic incentive to exist without LLMs, because of so much different expertise needed, and time.

if anyone's interested in the games let me know - i plan to play it myself, improve it, remove bugs etc before publishing on HN.

praveer13··on Show HN: Ilya Sutskever's AI reading list into a learning RPG – using kimi k3
The whole code is in the repo I linked in the description. Are you referring to something else ?
praveer13··on Write code like a human will maintain it
For writing for human consumption, I’ve taken to hand writing the docs and having agents review and suggest improvements.
praveer13··on GLM-5.2 is a step change for open agents
For personal use I’m considering using the frontier models from openai or anthropic to create a plan with research and brainstorming etc with enough details for cheap models to be able to follow (glm, deepseek etc) - with openrouter - will monitor how cheap and effective that turns out to be.
praveer13··on Show HN: Kage – Shadow any website to a single binary for offline viewing
Somehow 'Kage' is the first name claude suggests to me for any new project as well
praveer13··on Zerostack – A Unix-inspired coding agent written in pure Rust
I’ve been doing the same thing in zig haha.
praveer13··on Zig 0.16 Milestone Completed
From Andrew’s post

> Zig 0.16.0 is tagged. Release notes are just about completed and will be published in about 20 hours when the tarballs finish building. As it turns out, it takes a while to build LLVM 27 times on one computer! That's how many different targets we provide compiler binaries for now - all cross compiled from one host.

praveer13··on Zig – io_uring and Grand Central Dispatch std.Io implementations landed
I’ve been making a project in zig 0.16 with Claude as a learning experiment. It’s a fairly non trivial project (BitTorrent compliant p2p downloader for model weights on top of huggingface xet) - whenever it doesn’t know the syntax or makes errors, it literally reads the standard library code to understand and fix it. The project works too!
praveer13··on The Void IDE, Open-Source Alternative to Cursor, Released in Beta
Agreed. I tried cline but roo code has been massively better at same tasks. The added features are also really nice.
praveer13··on Gemini-2.5-pro-preview-06-05
I’ve honestly had consistently the opposite experiences for general questions. Also for images, Gemini just hallucinates crazily. ChatGPT even on free tier is giving perfectly correct answers, and I’m on Gemini pro. I canceled it yesterday because of this
praveer13··on Ask HN: Who is hiring? (May 2024)
Is remote from India a possibility?
praveer13··on Getting things done in small increments (2022)
This is the exact problem I’ve been dealing with lately. As a dad of a toddler, can’t find any time for deep work for personal work. And that’s probably okay since family does take priority. Good strategies though, thanks.
praveer13··on Database Fundamentals
Great article. The book Database Internals looks amazing. Are there any other such books that deep dive into internals?
praveer13··on Ask HN: Startup failed after years of work – Can I even get a job now?
Microsoft interviews are purely core CS stuff. I think even for 4-5 year experience guys they ask mostly data structures and algorithms.
praveer13··on Ask HN: Startup failed after years of work – Can I even get a job now?
Agreed. A product owner or a product manager is what people in OP's position usually go for. And they draw very high salaries from what I've seen. Companies must desperately want people in OP's position.
praveer13··on Ask HN: Startup failed after years of work – Can I even get a job now?
Your experience in building the startup is highly valuable. If you're going to look for a job, you will be most likely asked architectural and system design related questions, with Data structures and algorithms problems for screening at some places. You will easily find a well paying job with your experience and portfolio, don't worry.
praveer13··on Sleep Scientist Warns Against Walking Through Life 'In an Underslept State'
I've found podcasts to be incredible tools to induce sleep. It's very difficult to stay awake for me while listening to any podcast or audiobook. I really don't know how people do it.
praveer13··on End to End Machine Learning Pipeline Tutorial
Are there more great resources like this to learn finding, cleaning and structuring data? Would greatly appreciate it if someone could point me in a direction.
praveer13··on Ask HN: What do you want to learn in 2017?
I want to learn machine learning and also complex systems deeply and build some projects around them.
praveer13··on A tiny forest tribe built a DIY drone from YouTube to fight off illegal loggers
I think you're looking for something to take offense to without any reason. A tribe from a poor country building these things from videos they saw on internet is certainly more impressive than a 15 year old american kid doing the same. The reason is not that they can't be that capable, the difference is that these people have not been exposed to education, environment, schools, infrastructure, computers etc like a kid from the most developed country in the world. That is what is impressive here. You can't compare the two because of the background they come from, not because they are inferior.
Page 1 of 3Next →