aziis98

7 ms·

1.
How Is Compression Prediction?(lukefleed.xyz)
8 points by aziis98 20d ago|1 comments
2.
by aziis98 3mo ago
When for the training part you have to consider brains had like billions of years to develop. Maybe one of the reasons llms seem to be so expensive to train is because we are "compressing" in far less time that learning part
3.
by aziis98 3mo ago
For me, at least for agentic use, you need at least ~40tps. Less might be good only for tasks you could run in the background (like at night maybe). Instead of coding agents like tool for local models I would like to see more "docker p
4.
by aziis98 3mo ago
I also made my own variant recently. I really liked the idea of litmaps but I didn't really like the UI/UX or "graph expand" feature (it uses some internal heuristic that is not very clear). https://paper-expl
5.
by aziis98 3mo ago
This would be nice as an Astro (or generic meta-framework plugin) that automatically parses all generated html files and generates a small db of embeddings. This way on the frontend you can lazily load this. Maybe you could even store the H
6.
by aziis98 3mo ago
Is this GUI only?
7.
by aziis98 3mo ago
Love it! I also did some experiments some time ago. The thing this is missing for me is the ability to also run arbitrary commands other that just using a few premade apps. In fact I think this stuff becomes really interesting when you put
8.
by aziis98 3mo ago
Wow, awesome project! I gave a look a bit at the code (before realizing this was made with coding agents as said below on the website) and this seems really well made. Still, I would really like to know how you approached this from an archi
9.
Introducing HRM-Text(sapient.inc)
2 points by aziis98 4mo ago|0 comments
10.
by aziis98 5mo ago
> I was able to get I think 20 or 30 tokens per second on CPU (DDR4 ram) alone What are you using for inference? I have a recent intel laptop with 32GB of DDR5 and I am getting at most 25tps with the llama cpp vulkan backend (that is the
11.
by aziis98 5mo ago
I just tried the Q4_K_M variant of this [] and this is one of the first models that run at ~20tps on my laptop. I also tried it with some "hard" maths questions and it clearly knows much. Can't wait to try some local coding a
12.
by aziis98 7mo ago
I also did some experiments in this space as I have the same complaints about Tailwind https://github.com/aziis98/preact-css-extract I made this as I couldn't stand writing another 2K lines css file and wanted to
13.
by aziis98 7mo ago
On Firefox and Chrome the rectangle to make a query is offset wrong relative to the mouse D:
14.
by aziis98 7mo ago
Does anybody know if I can try this online?
15.
Prism: When an LLM predicts the next token, which training does it relying on?(guidelabs.ai)
1 points by aziis98 7mo ago|0 comments
16.
by aziis98 7mo ago
> The win? Massive. But there are benchmark numbers at least, so maybe they only used it for the prose
17.
Experiments with CodeMirror: Building a code review tool(aziis98.com)
1 points by aziis98 8mo ago|0 comments
18.
by aziis98 8mo ago
Why didn't I know about this before
19.
Run Typst in JavaScriptWorld(github.com)
2 points by aziis98 9mo ago|0 comments
20.
by aziis98 9mo ago
I hope we get to good A1B models as I'm currently GPU poor and can only do inference on CPU for now
21.
by aziis98 9mo ago
This simply solved icons for me
22.
by aziis98 9mo ago
The real problem vdom and more complex frameworks solve for me is dealing with much more complex state i.e. lists. When dealing with lists there are so many possible ways of updating them (full updates, insertion/removal at an index, u
23.
by aziis98 9mo ago
Still the whole world runs on GC-ed languages so it must be an abstraction at least some people like to work with. And I'm pretty sure using a GC in some cases it's the only option to not go crazy.
24.
Show HN: I made a Tailwind alternative for Preact(github.com)
6 points by aziis98 9mo ago|0 comments
25.
by aziis98 9mo ago
I don't get how this would be more "ai friendly" than other frameworks, that kind of propositions should be backed by more concrete proof. I know that this is a kind of open problem but at least show me this can be easily gen
26.
by aziis98 9mo ago
The erdos problem website tells the theorem is formalized in Lean but on the mathlib project there is just the theorem statement with a sorry. Does someone know where I can find the lean proof? I don't know maybe it's in some rand
27.
by aziis98 9mo ago
There are many made with eval-unescape-escape that feel a bit like cheating. Still all very impressive
28.
by aziis98 9mo ago
I didn't know about JBang, it looks awesome. Does it work somewhat like uv?
29.
by aziis98 10mo ago
I would actually merge html and js in a single language and bring the layout part of css too (something like having grid and flexbox be elements themselves instead of display styles, more typst kind of showed this is possible in a nice way)
30.
Granule – A statically-typed linear functional language with graded modal types(github.com)
2 points by aziis98 10mo ago|0 comments

More ›