mpoteat

7 ms·

1.
by mpoteat 5mo ago
You can actually do better: hint - variational selectors, low bytes.
2.
by mpoteat 8mo ago
I also have a corresponding blog post here, where I use this capability to embed custom JSX types as an alternative way to express 'concatenative' higher-kinded pipelines: https://code.lol/post/programming&#x2
3.
We want strict narrowly typed JSX(github.com)
5 points by mpoteat 8mo ago|2 comments
4.
by mpoteat 10mo ago
I've had similar issues with conversation memory in ChatGPT, whereby it will reference data in long-deleted conversations, independent of my settings or my having explicitly deleted stored memories. The only fix has been to completely
5.
by mpoteat 10mo ago
This is a LLM directly, purposefully lying, i.e. telling a user something it knows not to be true. This seems like a cut-and-dry Trust & Safety violation to me. It seems the LLM is given conflicting instructions: 1. Don't reference
6.
by mpoteat 10mo ago
Actually, it's even simpler: you should just be able to use signature overloading: myFunc(x: true): number myFunc(x: false): string The article's assertion that TypeScript can't represent this is quite false.
7.
by mpoteat 11mo ago
> I also avoid technologies where the code I write is different from the code being executed. Not to be snarky, but as opposed to writing assembly? Where do you draw the line if you don't allow TypeScript (which is, with limited exc
8.
by mpoteat 11mo ago
@marvinborner Is there any hope for a "hashlife" style cache for a TC language? My understanding is that hashlife exploits spatial locality / "causation speed" in GoL, which isn't available in LC because of bet
9.
by mpoteat 11mo ago
I like to refer to code that has been overly injected with syntactic sugar as "caramelized". We need more culinary metaphors for programming jargon!
10.
Unicode variation selectors for invisible LLM injection(code.lol)
3 points by mpoteat 1y ago|1 comments
11.
by mpoteat 1y ago
Recently, LeetCode has begun hiding instructions (using css) in their competitions to use particular unique variable names like 'dexolarniv' - and anyone using such a variable name in their submission gets summarily banned. In the
12.
by mpoteat 1y ago
Look at what they need to mimic a fraction of our power.
13.
by mpoteat 1y ago
If folks are interested in this sort of thing, but want to play around with higher order building blocks, http://hkt.code.lol may be worth checking out. In addition to type-level analogues of your normal Lodash-esque functions,
14.
by mpoteat 1y ago
I took a look at the source for the attached repository - the parser is in fact clearly written as a generic type. The presence of ?, :, and ... operators represent conditional types and tuple level destructuring respectively. This is a ver
15.
by mpoteat 1y ago
High energy protonic rifle? We already have extraordinarily high energy lasers in a handheld format. If a stream of bosons can do that much damage, I wonder what a stream of hadrons can do!
16.
by mpoteat 1y ago
More fundamentally O(n^(1/2)) due to the holographic principle which states that the maximal amount of information encodable in a given region of space scales wrt its surface area, rather than its volume. (Even more aside to your pract
17.
by mpoteat 1y ago
Columbia has it right. In a just world, this behavior would be derided and considered anathema. This is moral bankruptcy plain and simple and ought to be considered a violation of CFAA. Even if you are against modern interviewing practices,
18.
by mpoteat 3y ago
On reflection I agree. Still, I feel the author should have explicitly acknowledged the fact that there are underprivileged kids out there that would kill for the opportunities he was given.
19.
by mpoteat 3y ago
A standard CS program will cover statistics (incl. calculus-based stats e.g. MLEs), and graphics is a very common and popular elective (e.g. covering OpenGL). I learned all of this stuff (sans shaders) in undergrad, and I went to a shitty s
20.
by mpoteat 3y ago
The key, from my perspective, is to focus on real work which produces real value for other human beings. In an academic context I admit that it can be difficult to attach this value to your work. As well, in this article, a person bemoans t
21.
by mpoteat 3y ago
Well, slower compile times, and additional complexity are the biggest cons. There is a project I'm working on to eliminate the latter bit - ideally, a way to represent these complex types with "zero type-level code"
22.
by mpoteat 3y ago
At the risk of too much self promotion, I have a much deeper and more feature complete treatment of many of these type-level computations, represented with higher kinded types (which are thus composable) here: http://hkt.code.lol
23.
by mpoteat 3y ago
Yeah, it can get somewhat expensive (e.g. $10 in a day) with very frequent use. I find it much more helpful than Github Copilot, as it performs actions 'autonomously', i.e. it can identify which files to modify to solve a task, et
24.
Spellbound: Autonomous and goal-seeking coding agents in VS Code(github.com)
4 points by mpoteat 3y ago|3 comments
25.
by mpoteat 3y ago
The I in PID is referring to a pretty simple arithmetic sum inside of a control loop. Around 30 lines of simple C. The original post is presumably referring to symbolic integral calculus, perhaps in a multivariable context if we're ref
26.
by mpoteat 4y ago
There exist problems where finding the solution is hard but verifying the solution is easy. example in the general case: prime-factoring numbers. Are you claiming that for all possible problems posed, verifying the correctness of the output
27.
by mpoteat 4y ago
I have openly used LLMs to build a custom prompt engine that allows me to make systemic refactors across an entire open source codebase of mine (of 250 files) with a bash command, in parallel. There are big changes on the horizon.
28.
by mpoteat 4y ago
Reading the question, I thought the answer was six as well. Such a question is so misleading that I would hope that an AI answers as it has in this case, because not all problems are fully logically specified, and you need to remain robust
29.
by mpoteat 4y ago
As well, you should be creating regional servers to minimize latency for folks in other geographic regions. Can't beat c!
30.
by mpoteat 4y ago
Let's spend multi-million dollars a year on a team of highly specialized FPGA engineers writing assembly and HDL so that we can save 5k a month. Feature velocity will be 100x slower as well, but at least our application is efficient. I

More ›