e. tadeu

e. tadeu

@tadeum.dev

software development (python, rust, c++, julia), science, math... also enjoy: games, movies, series, comics, art

390 Followers 908 Following 25 Posts Joined Aug 2023
4 days ago
Video thumbnail

These Brazilian Cheese Breads are giving “I may be small, but I run the whole snack table” energy.

Serve them warm. Tear them dramatically. Let the cheese pull do all the talking.

www.loulougirls.com/easy-brazili...

#PaoDeQueijo #BrazilianCheeseBread #CheesyBites

2,781 233 161 33
4 days ago
AI should help us produce better code - Agentic Engineering Patterns AI should help us produce better code - Agentic Engineering Patterns

AI should help us produce better code
simonwillison.net/guides/agent...

119 17 9 3
1 week ago

NumPy in rust now exists folks. Let the science people know.

66 8 3 0
2 weeks ago
Video thumbnail

i built an entire x86 CPU emulator in CSS (no javascript)

you can write programs in C, compile them to x86 machine code with GCC, and run them inside CSS

lyra.horse/x86css/

2,610 874 131 158
3 weeks ago
It is absurdly improbable that you can hoover up the internet, shred it, then talk to the mulch pile and it talks back.

The Douglas Adams age of technology (2024)

interconnected.org/home/2024/02...

34 5 0 3
3 weeks ago
Video thumbnail

What do LLMs see?

I wrote a lil' tool that extracts the attention matrices out of open models and creates this typing visual, with each token's opacity changing according to its average attention score as the prompt progresses. Dimmer words are considered less important to the model.

257 42 17 8
3 weeks ago

"you can just use embedded rust libraries off the shelf for GPUs because it's just a normal no-std library, duh" is SUCH a huge validation for how we've structured the embedded Rust ecosystem.

No OS to port, no complex tooling to set up. If you can run rust code, you can just drop no_std crates in.

160 16 3 0
1 month ago
Post image

we live in the ruins of a greater civilization

23,308 5,825 161 174
1 month ago

Mr. C++

1 0 0 0
1 month ago

Usually in this last situation it would require a few iterations of agent review, human review, simplification, etc.

Also, there are probably many teams out there where the "review pipeline" is already almost a bottleneck, even without LLM agents.

1 0 0 0
1 month ago

Oh, I mean, it's debatable more in the sense that it really depends on the situation and context.

Maybe the agent will help fix a super hidden bug with changes in 3 lines of code (trivial review), maybe it will generate tons of boilerplate with complex interactions that would require a long review.

1 0 2 0
1 month ago

/model claude-opus-4-5-20251101

0 0 0 0
1 month ago

"We choose to go to the fucking Moon in this fucking decade and do the other fucking things, not because they are fucking easy, but because they are fucking hard."

10 1 0 0
1 month ago

Another argument for up:
- This fact will create more demand for Rust, thus for Rust developers

Now, both arguments for down are debatable. AI only helps learning if the developer really really wants to learn, the "easy mode" it creates is to not learn much and just depend on the AI tools.

1 0 1 0
1 month ago
Video thumbnail

Rust has a linear algebra problem.

See, linear algebra is super important for many of the applications where Rust is most commonly used. Yet, we have an underwhelming set of linear algebra libraries.

Matthew Treinish of IBM Quantum explains why they're underwhelming 👇

1 1 1 0
1 month ago
Comic. Conjecture: It’s possible to construct a convincing proof without words, pictures, or content of any kind. Proof: [empty box] [caption] Proofs without words are cool, but we can go further.

Proof Without Content

xkcd.com/3201/

2,653 295 40 25
1 month ago
Post image
244 31 4 1
1 month ago

Zlib-rs is now feature-complete! We've released v0.6, the first version with a stable and complete API. The blog post has the details.

With thanks to our maintainer Folkert de Vries, our contributors and @sovereign.tech.

trifectatech.org/blog/zlib-rs...

#rust #rustlang

13 5 0 0
1 month ago
Preview
Record, replay, and rerun - cargo-nextest Recording test runs, replaying them later, and rerunning test failures.

nextest can now rerun failing tests!

cargo nextest self update --version 0.9.123-b.3
# enable functionality, see link
cargo nextest run

If tests fail and/or the run is cancelled, then:

cargo nextest run -R latest

to rebuild and pick up from where the test run left off.

Please test this out!

28 5 3 1
1 month ago
Preview
Skyreader: A RSS Reader on the AT Protocol Introducing a RSS reader for the AT Protocol where you feeds and article sharing are portable

Oops, I started a new project: Skyreader, an RSS reader on the AT Protocol. Share cool articles like it's 2010 and Google Reader would never die. skyreader.app

www.disnetdev.com/blog/2026-01...

515 124 29 43
1 month ago

Who here nostalgic for Reader?

425 54 17 5
1 month ago
Post image

Continuing to have AI build a weird game demo a day. Here is: "Make a game where you have to prevent the apocalypse, but the interface is just Jira tickets"

Pretty fun/funny branching storyline, all text is AI created with minor feedback from me. Play: gentle-bienenstitch-01e24b.netlify.app

127 15 7 5
1 month ago
Post image

wikipedia turns 25 today! the last unenshittified major website! backbone of online info! triumph of humanity! powered by urge of unpaid randos to correct each other! somehow mostly reliable! "good thing wikipedia works in practice, because it sure doesn't work in theory" - old wiki adage

12,532 4,020 95 306
2 months ago
Preview
Python Software Foundation News

@anthropic.com is investing $1.5 million in the PSF, focused on security. These funds will make an enormous impact on the PSF and the security of millions of #Python and @pypi.org users. Please join us in thanking Anthropic for this landmark gift!

Read more on our blog:

144 31 5 7
2 months ago
Post image

Three hours, 2.2 million tokens later with mostly passive prompting hours in the evening, and some overnight "continue" prompts and minijinja is fully ported to go. I linked the single pi session that has all prompts in it. shittycodingagent.ai/session/?29f...

50 4 5 2
2 months ago
Preview
a baby is running down a hallway with the words nope ! ALT: a baby is running down a hallway with the words nope !
0 0 0 0
2 months ago
Preview
If on a winter's night a traveler - Wikipedia

en.wikipedia.org/wiki/If_on_a...

4 0 0 0
2 months ago

Another Erdos problem this morning:

(just to respond to a few people-- the system does NOT work by trying every possible answer and then checking. There's not enough matter and energy in the universe to solve theorems by trying every possible combination of symbols or whatever)

127 12 3 2
2 months ago
Plot showing linear speedup with number of cores for different interpn calc methods.

The `interpn` library for Rust and Python has the fastest interpolation algorithms I'm aware of - up to 250x faster than Scipy - and today it got faster!

After years of focusing on single-thread performance, I finally called it good gave it more cores - and the parallel speedup is nearly linear!

4 1 1 0
2 months ago
Preview
How we made Python's packaging library 3x faster Along with a pip (and now packaging) maintainer, Damian Shaw, I have been working on making packaging, the library behind almost all packaging related tools, faster at reading versions and specifiers,...

On behalf of the packaging maintainers, I’d like to announce packaging 26.0rc1 is out! Please try it out, as it's a huge release. If you'd like to read about the performance work making this the fastest version of packaging ever, see my post:
iscinumpy.dev/post/packagi...

24 8 2 2