Paweł Bylica

[Paweł Bylica @chfast]

@pcaversaccio @Mudit__Gupta @omw_to_the_moon EVM stack exists.

[Paweł Bylica @chfast]

@pcaversaccio @Mudit__Gupta @omw_to_the_moon Sure, spilling to memory works, but it’s a bad trade-off. By that logic, MCOPY is unnecessary because bytes can be copied one at a time, and CLZ is unnecessary because it can be emulated with ~60 existing EVM instructions.

[Paweł Bylica @chfast]

@barnabemonnot @DefiIgnas LFG!

[Paweł Bylica @chfast]

@zeddotdev @danilobleal Too slow to be usable on bigger projects (e.g. LLVM).

[Paweł Bylica @chfast]

@ben_a_adams @InstLatX64 Like EVM.

[Paweł Bylica @chfast]

@gakonst Just use LLVM's musttail marker.

https://t.co/8KI3i4kIWj

[Paweł Bylica @chfast]

@gakonst This is the Global Seed Vault on the picture. It has no code.

[Somnath Banerjee @somnergy]

Last week we trespassed into the realm of RTP with 2 GPUs, this week we broke the 8 second barrier with zilkworm-airbender @eth_proofs
Next-stop: Avg latency less than 10 seconds

[Paweł Bylica @chfast]

@leonardoalt Some time ago AI had successfully corrupted my 2 independent git projects.

[Daniel Lemire @lemire]

Fil-C is a C/C++ compiler that builds C/C++ projects into a binary with "complete memory safety". It is a great project by @filpizlo.

In part because it is so easy to do, I am going to make sure that all the production-quality projects I manage support Fil-C directly.

For the most part, this means skipping over direct assembly calls. You can still have the assembly calls, but you need some alternatives code path when building with Fil-C.

As a side benefit, running the code with Fil-C serves as a sanitizer: if there is any bad memory business going on, Fil-C will just crash you out.

Interestingly, Fil-C has no escape hatch. It is a totalitarian approach.

[How To AI @HowToAI_]

Researchers just proved that every single elementary function, sin, exp, log, sqrt, comes from one single binary operator.

It is like finding the “God Particle" for calculus.

In computer science, every complex program breaks down to a single logical operator: the NAND gate. It is the fundamental building block of all digital reality.

But for continuous math, physics, engineering, machine learning, we thought we needed a massive toolbox.

Addition. Subtraction. Trigonometry. Logarithms.

Every scientific calculator and neural network has to juggle all of them.

Until today.

But this paper proved that every single mathematical function can be generated by a single, bizarre binary operator.

eml(x,y) = exp(x) - ln(y).

Combine that with the number 1, and you can build everything.

Pi. The square root. Sine and Cosine. Arithmetic.

It is all just the exact same operator, repeating over and over again in a binary tree.

Nobody anticipated this existed. It was found by systematic exhaustive search.

But the implications for AI are massive.

Instead of an AI struggling to combine different mathematical rules to discover a new scientific law, it can just use a single, uniform architecture.

One trainable circuit. One repeatable node.

We thought the language of the universe was complex.

It turns out, it's just one equation repeating in the dark.

[Somnath Banerjee @somnergy]

GPU prices aren't gonna like this.
Sub-12 second #etheruem #zkevm proving achieved on just 2 5090s

https://t.co/Q9qwGZga7H

As a great man once said, "basically a toaster"

[Paweł Bylica @chfast]

In the future, EVM will spend more time computing gas than computing.

[powdr labs @powdr_labs]

Announcing powdr-wasm!

powdr-wasm is an optimized zkVM for WASM, built on top of @openvm_org and the novel 𝑐𝑟𝑢𝑠ℎ ISA.

Early benchmarks already show 1.5x fewer trace cells & faster proof times compared to RISC-V (OpenVM).

It also supports Go guests via WASI!

👇

[Paweł Bylica @chfast]

@adrianbrink We have CLZ now.

[Paweł Bylica @chfast]

@big_tech_sux You just want the "stack too deep" to stay so you can point it out in every Solidity vs Vyper discussion.

[Paweł Bylica @chfast]

TIL you can do uint512 addition with AVX512.

https://t.co/b3LVoxnAGk

[Paweł Bylica @chfast]

@drakefjustin @tcoratger How are you fixing blobs?

[Paweł Bylica @chfast]

@sina_mahmoodi Maybe keep this page in shape and up to date?

https://t.co/Rak44mxIVC