imranq

6 ms·

1.
by imranq 11d ago
Note that this proof while impressive does not add any value to mathematics as a human pursuit. But it does show we can throw these LLM beasts at much gnarlier problems than we could have imagined previously. Maybe even formally verify pape
2.
by imranq 24d ago
Transcribed letter (from chatgpt): Dear Mr., In your letter of December 14, you ask me whether mathematics is a worthwhile endeavor. Mathematics absolutely is not a worthwhile endeavor! I can imagine only three possible reasons for studying
3.
by imranq 24d ago
Personally, I found that people are impressed with AI for subjects they simply don't understand, and when an expert works with AI, they're often underwhelmed. So while we're seeing some mathematics being automated and proved
4.
by imranq 1mo ago
Google doesnt even use its own Go build system internally. Its all blaze / bazel, so they are not even taking advantage of the so called compiler feedback of Go. Also if languages are to be designed for agents not humans, its not clear
5.
by imranq 6mo ago
Okay so the OP is saying that since Macbook Neo has the same hardware as iphone, but not locked down, so why is iphone locked down. They say its because of the app store profits. Sure App store is not to be understated, but I'd add our
6.
by imranq 6mo ago
Amazing write up and i wish more people showed the process for discovery which is often even more interesting than the result itself Still the result is really interesting being able to stack abstract reasoning and get better performance an
7.
by imranq 7mo ago
I think it might be 2020 when the M1 was released since I remember i had bought a mac book in 2019 and it was still intel
8.
by imranq 8mo ago
I really like Clawdbots safety gloves off approach - no handholding or just saying yes to every permission. I set it up on a old macbook pro I had that had a broken screen and it works great. Now I just message my server using telegram and
9.
by imranq 8mo ago
Some great life lessons here, but also some I don't agree with: - The lazy person works twice as hard. Often I found you can save a lot of time just trying to the minimal possible and gain a lot of insights of why something is minimal
10.
by imranq 8mo ago
Just because it is in C, doesn't mean you will get C like performance. Just look at the benchmarks, it is 8x slower than just using PyTorch... while I get its cool to use LLMs to generate code at this level, getting super high performi
11.
by imranq 8mo ago
I really liked the approach of getting new topics to research via embeddings, trails, and claude code, but often what will this give you outside of novelty?
12.
Show HN: NeurIPS 2025 Explorer – 5000+ papers, 20+ interactive explainers(neurips2025.pages.dev)
2 points by imranq 10mo ago|1 comments
13.
by imranq 10mo ago
Hey HN! I built an explorer for all NeurIPS 2025 Main Conference and workshop papers with reviews, scores, and code links. But the unique feature: AI-generated "explainers" that break down complex papers with interactive visuali
14.
by imranq 1y ago
The claims in this paper don't make sense. There is no proof that anything has been decompressed
15.
by imranq 1y ago
There is one: https://pricepertoken.com/
16.
by imranq 1y ago
Turning it off and then on again works in a lot of surprising places
17.
by imranq 1y ago
People basically want a life coach, someone by their side who can tell them what the best next thing to do is at any given moment. Everything else are just approximation of that ideal. The author's .txt file works because its simplicit
18.
by imranq 1y ago
While I agree with the author's vision for a more human-centric AI, I think we're closer to that than the article suggests. The core issue is that the default behavior is what's being criticized. The instruction-following cap
19.
by imranq 1y ago
My two takeaways is you build 1) Having a precise vision of what you want to achieve 2) Being able to control / steer AI towards that vision Teams that can do both of these things, especially #1 will move much faster. Even if they are
20.
by imranq 1y ago
This was a bit hard to read. It would be good to have a narrative structure and more clear explanation of concepts.
21.
by imranq 1y ago
I'd love to host my own LLMs but I keep getting held back from the quality and affordability of Cloud LLMs. Why go local unless there's private data involved?
22.
by imranq 1y ago
I like the idea of removing quadratic scaling for attention, this paper has thin experimental support. No real tasks tested beyond perplexity. Nothing on reasoning, retrieval QA, or summarization quality. Even in perplexity the gains are ma
23.
by imranq 1y ago
The powers of kerning are great indeed
24.
by imranq 1y ago
Nice idea! I think it would be better if it was just context and not connected to any model. Think of one place where you can hook in your drive folder, GitHub, etc. and have it produce the best context for the task you want to achieve. The
25.
by imranq 1y ago
Could you pop your code into an LLM and ask it to write comments for you? I'm not sure how accurate it is though
26.
by imranq 1y ago
You can describe a diagram with markdown like mermaid, so you can at least understand state changes and processes which are core to engineering.
27.
by imranq 1y ago
This just seems like a fancy way of describing LoRA? At the end of the day you are still learning weights based on a described set of outputs and then applying them to inference
28.
by imranq 1y ago
There are already some resources like that like: leetgpu.com https://github.com/srush/GPU-Puzzles For me its about a sense of progress, like in chess you can have an ELO score. Or in Duolingo theres a roadmap. If there
29.
by imranq 1y ago
If someone could turn these into an adaptive Khan Academy style app, that would be incredible
30.
by imranq 2y ago
I wish every paper had a succinct image like that!

More ›