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

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

the upcoming webcli update will include a wasm compiler (supporting Rust, C++, Zig, etc.), as well as the first spec and full syntax with the features of the internal octra lang - aml

❤18🔥2😱2

227 views22:08

https://cointelegraph.com/news/acting-ag-blanche-signals-doj-pivot-code-is-not-a-crime

Acting US AG Says Devs Will No Longer Be Charged Unless they Knowingly Help Third Parties Commit Crimes

Acting US Attorney General Todd Blanche said developers will not face investigation or charges unless they knowingly help third parties commit crimes.

❤3

236 views16:15

is there some secret protocol hackathon we don't know about?

❤3🤔1

233 views16:34

is there some secret protocol hackathon we don't know about?

https://x.com/blockaid_/status/2049517380863246777?s=52

X (formerly Twitter)

Blockaid (@blockaid_) on X

🚨Community Alert: Ongoing exploit on @SweatEconomy on @NEARProtocol.

Exploiter:
3be304b2151870b2be88b9de0b80acab921337ad152584138bd852fc6e9ae018

Largest exploit tx:
DvrSMfY85Anc6AuLUmoEDkDdab7qX5NUZLu76HN8NoPn

❤3

243 views16:38