Viewing profile — ekez

I implemented an algorithm for neural network verification called ⍺β-CROWN for a deep-learning library called tinygrad. https://github.com/0xekez/tinyLIRPA tinygrad’s small set of …

I wonder if the authors have tried incorporating error feedback from Lean into their models. Work from 2023 [1] showed general purpose models did better when they were able to inco…

There’s something compelling about these, especially w.r.t. their ability to generalize. But what is the vision here? What might these be able to do in the future? Or even philosop…

If "we" all got together and reduced permitting costs, "our" homes would be much more valuable because a developer can build a highrise where the house is.

Thank you for the response. (I assume you mean "p' How often are rational approximations computable within any given tolerance?

why is it impossible to decide whether x 0 as in Example 1?

The metric the authors use confuses me. Edit distance seems like a strange way to test if the model understands arithmetic ([1], Figure 3). I think `1+3=3` would be equally as corr…

> ChatGPT specifically seems to absolutely adore the phrase [complex and multifaceted], using it at every opportunity to explain higher level concepts. I'm curious why this is. Bef…

The title is an allusion to the experiment which samples the output of the 12th layer of LLaMA-7b. Surprisingly, there is a fair bit of structure on the principle components of tho…

Generally agree - the goal here was mostly to illustrate how simple a TCP proxy actually could be. I shiver to think of how many lines of code actually get run with the tokio macro…

What are the advantages of tagged memory as opposed to using the unused bits in a regular pointer as a tag?

Hi HN. I wrote this up after feeling frustrated about a lack of information online about compiling closures. My hope is that is is useful to other people who get stuck at that poin…

`prefers-contrast` is important for moving web accessibility forward. Right now, making a website respond to someone's contrast preferences is next to impossible. Its neat to see F…

The author makes a distinction between the "commercial web" and "small web" but I can't help but wonder if some overlap is possible. I've recently been tasked with building a websi…