ekez

7 ms·

1.
by ekez 9mo ago
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 operations and laziness made it easy t
2.
Fast Matrix Multiply on an Apple GPU(percisely.xyz)
2 points by ekez 11mo ago|0 comments
3.
Gradient Trouble(percisely.xyz)
1 points by ekez 1y ago|0 comments
4.
by ekez 1y ago
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 incorporate error feedback, humans incorporate error feedback, b
5.
by ekez 2y ago
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 philosophically speaking, what do these teach us about the world? We
6.
by ekez 2y ago
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.
7.
by ekez 2y ago
Thank you for the response. (I assume you mean "p' < -eps" in the second conditional?) How often are rational approximations computable within any given tolerance?
8.
by ekez 2y ago
why is it impossible to decide whether x<0, x=0, or x>0 as in Example 1?
9.
Gödel's Completeness Theorem(percisely.xyz)
3 points by ekez 2y ago|0 comments
10.
by ekez 2y ago
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 correct as `1+1=9`? Why not consider how far off the model is `a
11.
by ekez 3y ago
> 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. Before the echo chamber, did the LLM lean some ontology
12.
by ekez 3y ago
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 those samples.
13.
Snapshots of Incomplete Thoughts(percisely.xyz)
2 points by ekez 3y ago|1 comments
14.
Inside The Internet(scholarship.law.duke.edu)
2 points by ekez 3y ago|0 comments
15.
Time, Clocks, and the Ordering of Events in a Distributed System – Paper Review(percisely.xyz)
85 points by ekez 3y ago|22 comments
16.
by ekez 5y ago
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 and green threads.
17.
Show HN: A TCP Proxy in 30 lines of Rust(zmedley.com)
19 points by ekez 5y ago|3 comments
18.
by ekez 5y ago
What are the advantages of tagged memory as opposed to using the unused bits in a regular pointer as a tag?
19.
by ekez 6y ago
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 point in writing their compiler. The Lisp[1] I'm writing th
20.
Implementing Closures in a Compiled Lisp(zmedley.com)
3 points by ekez 6y ago|1 comments
21.
by ekez 6y ago
`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 Firefox implement it and hopefully this spurs other brow
22.
by ekez 6y ago
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 website for a small organic food di
23.
by ekez 7y ago
Zeek uses CAF internally for data exchange over networks and workers [1]. It's not quite a "native actor concept", but it is a nice way to interact with the framework. I've used it before and its worked quite smoothly. [
24.
Paraglob – Quick, parallel string matching against large pattern sets(github.com)
2 points by ekez 7y ago|0 comments
25.
by ekez 7y ago
As someone who's been working through the book for the last few months, thanks so much for sticking with it. Your prose is excellent and full of really properly funny stuff sometimes. Reading your book has been my weekly dose of progra