praveer13

4 ms·

1.
by praveer13 28d ago
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!
2.
by praveer13 1mo ago
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 n
3.
by praveer13 1mo ago
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 delegat
4.
Show HN: Kernelspace- interactive course on systems programming for LLM Serving(kernelspace.naigap.com)
2 points by praveer13 2mo ago|0 comments
5.
by praveer13 2mo ago
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 begi
6.
by praveer13 2mo ago
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
7.
by praveer13 2mo ago
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 - htt
8.
by praveer13 2mo ago
I made it specifically for mobile browsers. I’ll try to make it still work though for desktop!
9.
by praveer13 2mo ago
Ah I didn’t realize what you meant until I checked my history. Thanks for the feedback!
10.
by praveer13 3mo ago
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
11.
by praveer13 3mo ago
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:/
12.
by praveer13 3mo ago
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 incentiv
13.
by praveer13 3mo ago
The whole code is in the repo I linked in the description. Are you referring to something else ?
14.
Show HN: Ilya Sutskever's AI reading list into a learning RPG – using kimi k3(ilya-papers-quest.naigap.com)
6 points by praveer13 3mo ago|2 comments
15.
by praveer13 3mo ago
For writing for human consumption, I’ve taken to hand writing the docs and having agents review and suggest improvements.
16.
by praveer13 3mo ago
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
17.
by praveer13 4mo ago
Somehow 'Kage' is the first name claude suggests to me for any new project as well
18.
by praveer13 5mo ago
I’ve been doing the same thing in zig haha.
19.
Zig 0.16 Milestone Completed(mastodon.social)
26 points by praveer13 6mo ago|8 comments
20.
by praveer13 6mo ago
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&#
21.
by praveer13 8mo ago
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
22.
by praveer13 1y ago
Agreed. I tried cline but roo code has been massively better at same tasks. The added features are also really nice.
23.
by praveer13 1y ago
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
24.
by praveer13 2y ago
Is remote from India a possibility?
25.
by praveer13 3y ago
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.
26.
by praveer13 3y ago
Great article. The book Database Internals looks amazing. Are there any other such books that deep dive into internals?
27.
by praveer13 8y ago
Microsoft interviews are purely core CS stuff. I think even for 4-5 year experience guys they ask mostly data structures and algorithms.
28.
by praveer13 8y ago
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.
29.
by praveer13 8y ago
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
30.
by praveer13 8y ago
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.

More ›