Viewing profile — erichocean

It took 90 days earlier this year for our venture-backed business to get approved by Apple merely for a corporate developer account, with all documentation available at the beginni…

> I've been able to formally verify that the Rust behavior is identical to the Postgres C behavior for over 1000 of them. Since both Rust and C have LLVM IR intermediates, you coul…

That's because it has the best compaction of anyone, and it's not even close. Claude might as well not even do it in my experience.

The article did nothing of the sort: https://x.com/dhh/status/2081435971678261344 However, even if it did, it is absurd for an AI to decide what it will and won't translate.

I mean if you're going to be that pedantic, then Clojure is "native" since all Clojure functions "compile to machine code" via the JVM's JIT.

https://github.com/cmuparlay/psac is extremely fast, I use it to recompute sculpting topology updates (think: Zbrush DynaMesh) at 60 fps.

Parallel Self-Adjusting Computation[0] is a fun entry in this genre. [0] https://github.com/cmuparlay/psac

You can directly call C++ as C++ , not via a C ABI.

Since Java 25/Project Panama, I have that kind of relationship with C from Clojure as well. Codex can one shot the bindings flawlessly, and the interface is significantly faster fo…

Whatever the group owner picks, same as it's always been. No one cares about the actual choice, only that it is made.

I'm eagerly awaiting "AI 2100" from the same people.

> Are there examples of where we have collective decided not to pursue knowledge? Successfully? Studying human bio-diversity since WW2 is the most obvious example, though it hasn't…

> reviewing the testing/fuzzing process I've got insanely good at designing testing oracles over the last year for exactly this reason. I've ported some extremely finicky software …

I think the key is to get two LLMs looking at the same problem. I use Codex because it's better at the kind of code I need written (math-heavy, 3D geometry code). But if I was doin…

The arguments presented to a macro don't have to be valid code. Your "function evaluating functions" are all individually valid functions you've composed at runtime. (defmacro foo …

Here you go: https://www.marktarver.com/bipolar.html It's been discussed many times on HN.

> this just isn't the kind of professionalism needed for a serious project It hasn't stopped Rust's growth, so I doubt this is true. Most people don't care about this kind of inter…

I use Claude for planning, writing CRs, and code review. Codex writes all of the code, no exceptions. Works great, especially when you ask Claude to break up large CRs into roughly…

That's the approach I've taken with a bunch of legacy OpenCL code I've mechnically translated to Metal, worked great.