adsharma

10 ms·

151.
by adsharma 1y ago
https://github.com/adsharma/ask-me-anything Supports MLX on Apple silicon. Electron app. There is a CI to build downloadable binaries. Looking to make a v0.1 release.
152.
by adsharma 1y ago
What's the best number on vLLM and SGlang so far on H100? It's sad that MLPerf takes a long time to catch up to SOTA models.
153.
by adsharma 1y ago
What use cases will gain from this architecture?
154.
by adsharma 1y ago
My cursory reading is that SPy is generous in what it accepts. The subset I've been working with is even narrower. Given my stance on pattern matching, it may not even be a subset. https://github.com/py2many/py2man
155.
by adsharma 1y ago
That assumes python is one monolithic thing and everyone agrees what it is. True, the view you express here has strong support in the community and possibly in the steering committee. But there are differing ideas on what python is and why
156.
by adsharma 1y ago
The most interesting part of this article is the link to SPy. Attempts to find a subset of python that could be made performant.
157.
by adsharma 1y ago
Ask me anything. Electron. Python backend. Can talk to Ollama and other backends. Need help with design and packaging. https://github.com/adsharma/ask-me-anything
158.
by adsharma 1y ago
I had a Twitter exchange with the author a few days ago on these topics. My approach is to do what pyret was trying to do while maintaining the python syntax (with minimal deviation where necessary). Making Python look more like Rust has a
159.
by adsharma 1y ago
I see some discussion here about protobufs being widely used and preventing innovation because it's good enough and comes from Google. I see a second effect that's probably more regressive: using protobufs (designed for RPC) as a
160.
by adsharma 1y ago
The most relevant topic in this space is: processors got wider, more speculative etc. But if you measure IPC across a wide range of workloads it way less than 1 instruction per cycle. Talking about this to software engineers (this is pre vi
161.
by adsharma 1y ago
Which of these two is the higher order bit? * ParadeDB speaks postgres protocol * These setups don't have a complex ETL pipeline If you have a ETL pipeline specialized for PG logical replication (as opposed to generic JVM based Debiziu
162.
by adsharma 1y ago
https://www.abramjackson.com/artificial-intelligence/the-arc...
163.
by adsharma 1y ago
I'm not a disinterested observer. Py2many has had a mojo backend for a year now. https://github.com/py2many/py2many/tree/main/tests/expected
164.
by adsharma 1y ago
I like mojo for being closer to python than other systemsy languages. But asking people to learn another language and migrate is a tall barrier. Why not write python and transpile to mojo?
165.
by adsharma 1y ago
> Language Design Direction 1: Teaching LLMs about DSLs (through Python?) This is what I've been focused on last few years with a bit of Direction 3 via python -> smt2 -> z3 -> verified rust Perhaps a diffusion model
166.
by adsharma 1y ago
Vlang is a much more active go variant with nil safety. But it gets a lot of hate in PL circles for reasons I don't completely understand.
167.
by adsharma 1y ago
This is one of the reasons why I dislike "cattle, not pets" which is used in the SRE world to explain automation.
168.
by adsharma 1y ago
Check back in a couple of years. Their profitability may hinge on selling these services. The only question is which one?
169.
by adsharma 1y ago
Wouldn't it be a great showcase if codex showed that the rewrite to rust was done using codex itself instead of a human? If it's not possible today, what are the challenges and where does a human need to step in and correct the mo
170.
by adsharma 1y ago
Isn't Deep Learning more like Graph Theory? I shared yesterday that Google published a paper called CRISP ( https://arxiv.org/pdf/2505.11471 ) that carefully avoids any reference to the word "Graph". So th
171.
by adsharma 1y ago
You described the thinking behind py2many. Code in the spirit of rust with python syntax and great devx. Give up on C-API and backward compat with everything. Re: lifetimes Py2many has a mojo backend now. You can infer lifetimes for simple
172.
by adsharma 1y ago
> Not only is Pyrefly written in a new language (Rust instead of OCaml), but its design deviates in a major way from Pyre. I'm sure you had reasons to do it this way. But given sufficient time to market, implementing the algorithm i
173.
by adsharma 1y ago
The problem is not with the type checkers. https://code.djangoproject.com/ticket/32759 Similar (but lesser) problems exist with pydantic and sqlmodel. They're both fine projects except for: https://www.
174.
by adsharma 1y ago
Much of the stdlib is written in C. What happens when you use @compile on a function that calls into stdlib directly or indirectly? How do you deal with existing extensions, GIL etc? If you accept that 100% of legal python is not accepted,
175.
by adsharma 1y ago
Others have been here before. You'll have to deal with: * C-API * Have a language spec * Deal with differences in pattern matching * Translating library calls * Compete with LLMs doing a better job converting for some use
176.
by adsharma 2y ago
How do you reconcile DB schema with strong types vs RPC schema? Have you looked into interop with typespec?
177.
by adsharma 2y ago
> the kind who could debug kernel panics But we don't need a kernel team and we can get by without a support contract (which would cost more than a gray beard). Tech is more willing to pay for senior talent for their social engineer
178.
by adsharma 2y ago
Lost me in the last section. Debating Elon's salute and Trump's Fascism is the biggest dopa there is. Millions are addicted to it. I wish there was more discussion about creating alternatives vs reinforcement of the loop.
179.
by adsharma 2y ago
It should be much easier to type check this: https://adsharma.github.io/fquery-meets-sqlmodel/ https://github.com/adsharma/fastapi-shopping/blob/main/model...
180.
by adsharma 2y ago
Or a better python layer on python. People asking why statically typed python: consider that it's the #1 language on GitHub (assume ts and js are different) and LLMs are really good at generating it.

More ›