List.fold_left – Telegram

List.fold_left

465 subscribers

84 photos

3 videos

9 files

540 links

lambda0xe notes

Download Telegram

About

Blog

Apps

Platform

465 subscribers

ok, fuck the sale and all that, everything that was supposed to happen has already happened, now let's get back to the current tasks (the link above is very interesting), as for updates, we're waiting for the bridge (on steroids with stealth things) and the…

https://x.com/lambda0xE/status/2046320623585198310?s=20

X (formerly Twitter)

λ (@lambda0xE) on X

btw, for those who store coins, be careful and keep an eye on your keys, there are plenty of enemies and scammers around (almost everyone around), and now that there is an opportunity to scam you, given the new liquidity, they will begin their hunt

❤3⚡1

217 views20:10

https://words.filippo.io/128-bits/

words.filippo.io

Quantum Computers Are Not a Threat to 128-bit Symmetric Keys

There is no need to update symmetric key sizes as part of the post-quantum transition, due to the details of how Grover's algorithm scales. Most authorities agree.

❤4

212 views03:31

https://x.com/arbitrum/status/2046435443680346189?s=46

X (formerly Twitter)

Arbitrum (@arbitrum) on X

The Arbitrum Security Council has taken emergency action to freeze the 30,766 ETH being held in the address on Arbitrum One that is connected to the KelpDAO exploit. The Security Council acted with input from law enforcement as to the exploiter’s identity…

❤4🥴1

203 views03:48

https://pmasschelier.github.io/x86_64_strings/

Exploring the arcane of processors

Write string.h functions using string instructions in asm x86-64

Introduction The C standard library offers a bunch of functions (whose declarations can be found in the string.h header) to manage NULL-terminated strings and arrays. These are some of the most used C functions, often implemented as builtin by the C compiler…

❤5

234 views04:09

https://codemix.com/graph

@codemix/graph - codemix

Open-source TypeScript property graph database from codemix.

❤6

228 views13:34

https://x.com/lambda0xe/status/2046602883206984034?s=46

X (formerly Twitter)

λ (@lambda0xE) on X

btw, we're slowly hiring, if you write in Elixir, OCaml, or C++, we can try to work together (provided you don't use slop machines to write code)

* we don't consider celebrities with tons of publications and public profiles, we only consider those who write…

🔥4❤2

233 views14:52

https://x.com/p6rkdoye0n/status/2046563261014012215?s=46

❤4

243 views16:26

https://x.com/thedefiac/status/2046973478595641435?s=46

X (formerly Twitter)

DeFiac (@TheDEFIac) on X

A short story from @base, grab your🍿:

Someone (0x2352a1Fc) found a bug in Kipseli propAMM quoting logic and managed to swap ~0.04 eth for ~$80k cbBTC and shortly returned for a 20% bounty.

Pure cinema.

❤2🤔2

227 views18:59

https://x.com/lambda0xE/status/2047382332177514736?s=20

X (formerly Twitter)

λ (@lambda0xE) on X

an experimental version of @ethereum _ octra bridge is available (both ways), pls don't throw your whole thing into one tx at the start, test it first (whole flow)

very easy to use: just download src, call make in the terminal, then ./octra_wallet or setup.bat…

❤5

225 views18:29

https://x.com/lambda0xE/status/2047382332177514736?s=20

https://x.com/lambda0xE/status/2047462388023067051?s=20

X (formerly Twitter)

λ (@lambda0xE) on X

added fixes to the bridge, now you can search across all epochs, as well as claim even after the connection was interrupted

it is advisable to update to the latest version:
https://t.co/09QImvpU2V

❤4🔥2

224 views23:47

this will come in handy soon

oracle
https://octrascan.io/address.html?addr=octCxRj5iydmaLMzxukVNzWWajFzHLNzYeCvRquzatSdE7U

vault
https://octrascan.io/address.html?addr=oct7RqSXEyy4PYwjhHhepa2RaPZkXpGwFQqXv9ra48qtrKg

staking
https://octrascan.io/address.html?addr=octGz8Q7ph5SdLGafMYkifu1BkGoirHLtswg7tFvVzbczg9

lending
https://octrascan.io/address.html?addr=octCke57cXim9MhBn9r1rSey3WmoTgsdUpRV3WG39PuQNyi

octrascan (lite) | main net

network scanner for octra (dev version)

🏆8❤3

265 views03:42

https://x.com/lambda0xe/status/2047652797131173943?s=46

X (formerly Twitter)

λ (@lambda0xE) on X

it seems like a great time for an evm-compatible sequencer on octra in conjunction with @ethereum

🔥3❤2

238 views12:25

this will come in handy soon oracle https://octrascan.io/address.html?addr=octCxRj5iydmaLMzxukVNzWWajFzHLNzYeCvRquzatSdE7U vault https://octrascan.io/address.html?addr=oct7RqSXEyy4PYwjhHhepa2RaPZkXpGwFQqXv9ra48qtrKg staking https://octrascan.io/addre…

bug bounty is coming, btw

1🔥11👏3❤2😱2🤓1

286 views12:26

https://x.com/lambda0xE/status/2047808971059138958?s=20

X (formerly Twitter)

λ (@lambda0xE) on X

mini-update to the @octrascan website that will be useful for devs: you can now see the entire bytecode and exec history, as well as the full storage and memory

❤6

230 views22:45

https://x.com/lambda0xE/status/2048164614597190004?s=20

X (formerly Twitter)

λ (@lambda0xE) on X

the first octra program with fully public inference for SmolLM2-135M (training, weight loading, and state are fully public)

currently, it's only for informational purposes, because the full cycle is expensive (4k OCT) since it performs about 1 billion FP64…

❤6

231 views22:18

https://x.com/lambda0xE/status/2048164614597190004?s=20

want to create a set of private decentralized models on octra (available to everyone), it will be possible to create own onchain program or circle and upload a set of these models there, combine them, and write complex logic for their operation (fully closed accessibility using FHE or partial closure for external users if required by the application logic)

with precise calculations, no TEE, no trashhold decryption, no compromises

❤8🤯2

394 views23:43

https://github.com/yuvadm/quantumslop/blob/25ad2e76ae58baa96f6219742459407db9dd17f5/URANDOM_DEMO.md

quantumslop/URANDOM_DEMO.md at 25ad2e76ae58baa96f6219742459407db9dd17f5 · yuvadm/quantumslop

Failed QDay prize challenge. Contribute to yuvadm/quantumslop development by creating an account on GitHub.

❤2👍1

237 views15:06

https://coalton-lang.github.io/20260424-mine/

The Coalton Programming Language

Introducing mine, a Coalton and Common Lisp IDE

By Robert Smith
mine is a brand new IDE for Coalton and Common Lisp, built from the ground up with one purpose: To make Coalton and Common Lisp easier and more accessible to the programming world.
TL;DR? Go to mine's homepage with downloads for Windows/macOS/Linux.…

❤3

232 views18:36

🤨3❤2👍1

230 views11:38

https://learnings.aleixmorgadas.dev/p/adding-a-team-was-the-wrong-strategic

learnings.aleixmorgadas.dev

Adding a team was the wrong strategic decision

Missed communication, lack of sociotechnical system understanding, and more.

❤2

234 views21:44

https://purplesyringa.moe/blog/wasm-is-not-quite-a-stack-machine/

purplesyringa's blog

Wasm is not quite a stack machine

Everyone knows Wasm is a stack machine. Wikipedia says so, the official Wasm design specification says so, you get it. I thought so too.
That is, until I started writing Wasm code – not compiling for Wasm, but writing the instructions by hand. And I found…

❤1

246 views10:57