adsharma

24 ms·

181.
by adsharma 2y ago
A few mitigation ideas * Get AI to write tests * Use copy/paste. No IDE * Use python (not because it's better than zig)
182.
by adsharma 2y ago
Why not use python itself then? The design by contract PEP is old. Not sure if anyone is working on it. https://adsharma.github.io/agentic-transpilers/ https://adsharma.github.io/pysmt
183.
by adsharma 2y ago
TLA+ and the like work because they target a very small specification language. With the large footprint of Rust, I've seen questions raised about how this will work. But haven't seen good answers. Would love to read more.
184.
by adsharma 2y ago
https://adsharma.github.io/agentic-transpilers/ Long way to go. But there is a design. Use z3/SMT instead of TLA+
185.
by adsharma 2y ago
May be the tech equivalent resonates better. Everyone should use telnet and there is no evidence that anyone is looking at your packets. As a divided country, we keep squabbling over the metaphorical telnet when we could be making ssh more
186.
by adsharma 2y ago
I'll accept any open format that can be lightly edited and converted into PDF. Google doc + PDF is likely the most commonly used combination based on what I see in the SEO spam. Some of them make you watch ads and then allow you to dow
187.
by adsharma 2y ago
The amount of SEO spam on these searches indicates to me that this is a commercially profitable query and a task a lot of people are interested in. If a multi-modal LLM can read a 100 page PDF and answer questions about it or replace a medi
188.
by adsharma 2y ago
In spite of all this progress, I can't find LLMs that solve simple tasks like: Here is my resume. Make it look nice (some design hints). They can spit html and css, but not Google doc. On the other hand, Google results are dominated by
189.
by adsharma 2y ago
For non trivial queries I write them in a separate SQL file where I get the benefit of syntax highlighting, auto formatting and error checks. There may be another benefit: a lot of LLMs are getting good at how do I do X in Duckdb.
190.
by adsharma 2y ago
Your point about SQL strings vs more strongly typed DF APIs stands. However it's somewhat weakened by the possibility that some parts of the SQL string are resolved by the surrounding python context.
191.
by adsharma 2y ago
I'm a bit confused by the claim that duckdb doesn't support dataframes. This blog post suggests that it has been supported since 2021 and matches my experience. https://duckdb.org/2021/05/14/sql-on-p
192.
by adsharma 2y ago
I understand that it's not a pure meritocracy story and an element of timing was involved. But I was scrolling to find some description of what was accomplished in each of the steps. In many big companies there is an inherent motivatio
193.
by adsharma 2y ago
This sounds like an argument for a custom DSL designed for the purpose of expressing constraints and for querying statiatical data. Perhaps there are cases where DSL is the right answer. Not sure if this is one though. I see some parallels
194.
by adsharma 2y ago
> Many general purpose languages support type checking, but few support constraints and validation of data. We must write our own validation logic which often means validation happens haphazardly, if at all. Python with z3 and some AST m
195.
by adsharma 2y ago
There is a wolfram blog post comparing python vs wolfram from 2021: https://blog.wolfram.com/2021/11/04/lessons-learned-migratin... The linked tweet ( https://x.com/WolframResearch/status&
196.
by adsharma 2y ago
With an example: https://gist.github.com/adsharma/45fbb065a8fe793030e8360daeb... You could have a puzzle that's described in plain English. I think the current day tech is sufficient to translate the puzzle to a p
197.
by adsharma 2y ago
There's another way to do this: English -- (LLM) --> python Human fine tunes python Python -- (py2many) --> smt2 --> z3 --> result Perhaps some steps can be eliminated in the future.
198.
by adsharma 2y ago
What is this codemod library called?
199.
by adsharma 2y ago
I find both z3 native syntax (smt 2, lispish) and z3py hard to use. Here's an alternative syntax that uses python3 types. Works by transpiling to smt 2. https://gist.github.com/adsharma/45fbb065a8fe793030e8360daeb.
200.
by adsharma 2y ago
Nuitka is compatible, but comes with the shortcomings of python C-API There are other approaches which give up on C-API and build a bridge to languages such as Go and Rust. I've spent a few years working on py2many. Would appreciate fe
201.
by adsharma 2y ago
I still believe that a variant of python that has algebraic types and pattern matching beats Rust for writing parsers quickly. My effort has been in adding these features to a front end language that transpiles to an underlying FP language,
202.
by adsharma 2y ago
On Android iOS interop via RCS The user experience for Android users is very poor. I'm on a 4 people group chat with 3 iOS users. Sometimes when I message the group, I see 5-6 threads in my Android messages app. Groups with every combi
203.
by adsharma 2y ago
Fragility of human relationships, not population density.
204.
by adsharma 2y ago
Favorite feature request if there was more money: https://code.djangoproject.com/ticket/32759
205.
by adsharma 2y ago
Yes. Details in the pull request linked above
206.
by adsharma 2y ago
Generated code: https://gist.github.com/adsharma/22ec18664ce4a59750b78fddc58... Edited code: https://gist.github.com/adsharma/72516d8333a25fd8e350472568d...
207.
by adsharma 2y ago
https://github.com/py2many/py2many/pull/653 Transpiling the python version in the blog to mojo gives me a 4x speedup. Had to hand edit a couple of things: - List to bytearray conversion is not working y
208.
by adsharma 2y ago
Code and Business Logic are terms not precise enough to describe. Predicate push down belongs to the DB. A small library of well known object/graph query primitives can be colocated with the DB. These primitives tend to be side effect
209.
by adsharma 2y ago
Including the output of py2many --mojo=1 test.py here for completeness. The generated code didn't run out of the box. Slightly modified below: from python import Python fn main() raises: var json = Python.import_mod
210.
by adsharma 2y ago
Edit: The numbers have been revised by adding the missing -O3 The comment was based on what I saw by running an unoptimized C++ binary. You can repeat it yourself on your machine. But yeah - in general, C++ can be 70x faster than python on

More ›