std::mem::drop @stdmemdrop

Rust 🦀 ∙ Typescript ∙ Go ∙ Python 🐍 Architect + Dev ⋮ UX/CX/DX I ❤️ software Joined May 2025

Tweets

132
Followers

27
Following

116
Likes

24

Andrew Lamb @andrewlamb1111

2 weeks ago

Its happening -- DataFusion will (finally) get spilling hash joins. The march to completeness begins

jonathanc-n @jonathanc_n

2 weeks ago

Its happening -- DataFusion will (finally) get spilling hash joins. The march to completeness begins

5 4 56 10K 12

0 10 71 6K 9

std::mem::drop @stdmemdrop

3 weeks ago

What would it take to see dependent types in Rust? Is it even possible? Is it merely compiler limitations that prevent it thus far?

0 0 0 19 0

Goreng @sudo_goreng

4 weeks ago

Lmao

129 56 1K 85K 219

Download Image

0 0 0 80 0

std::mem::drop @stdmemdrop

4 weeks ago

In the case of a theorem prover, 0 would be my guess. Otherwise I like the idea of being able to produce a +Infinity using an expression. So that’s my choice.

gingerBill @TheGingerBill

a month ago

In the case of a theorem prover, 0 would be my guess. Otherwise I like the idea of being able to produce a +Infinity using an expression. So that’s my choice.

85 2 74 26K 10

1 0 0 94 0

Getting ready to release my new Open Source rust crate today: `clickhouse-datafusion`. It allows using @ClickHouseDB as a table provider in @ApacheDataFusio with full set of capabilities. Additionally it introduces a custom Analyzer that allows “pushing down” clickhouse…

0 0 3 48 1

std::mem::drop @stdmemdrop

2 months ago

Languages w/o match semantics are not serious languages. Such a fundamentally useful paradigm.

0 0 0 19 1

Download Image

std::mem::drop @stdmemdrop

2 months ago

Coldplay fans are terrible people.

0 0 0 50 0

std::mem::drop @stdmemdrop

2 months ago

I finally have these agentic coders writing better Rust. ...ffs Tell it, "Remember, this is not Java, it's Rust. Be more functional." That's it. You're welcome.

0 0 1 28 0

std::mem::drop @stdmemdrop

2 months ago

This is getting so much attention bc it’s an utter abomination. Coding is fascinating.

Shayan @ImSh4yy

2 months ago

This is getting so much attention bc it’s an utter abomination. Coding is fascinating.

257 115 3K 274K 489

Download Image

0 0 1 44 0

std::mem::drop @stdmemdrop

2 months ago

I don't want "smarter" AI. I want robotic, annoyingly pedantic, rule following AI.

0 0 0 15 0

std::mem::drop @stdmemdrop

2 months ago

I'm building an OS "rust analyzer -> LLM" helper for any @rustlang devs out there. All commits so far have been authored & pushed by @claudeai's ClaudeCode, except first commit. It's an experiment to see if this is possible. So far, so decent. github.com/GeorgeLeePatte…

0 0 0 29 0

std::mem::drop @stdmemdrop

2 months ago

LLMs are fundamentally flawed. They don't follow directions well. You'd expect a robot-like fidelity to the directions provided, almost to an annoying degree, but that's not what happens. They're more like ADHD teenagers that "kinda" get what you asked for.

0 0 0 30 0

std::mem::drop @stdmemdrop

2 months ago

Told y’all

dax @thdxr

2 months ago

Told y’all

21 1 279 22K 16

0 0 1 27 0

std::mem::drop @stdmemdrop

2 months ago

Don’t you get it bro? We’re achieving alignment.

0 0 2 15 0

std::mem::drop @stdmemdrop

2 months ago

I’ve come to realize we are moving into the next phase of “polish” for LLM usage. We are currently in the “improve DX” stage, but we still have a ways to go to improve OUTPUT. Prompts do well but we need to start introspecting at runtime. Reflection will be the next phase. Live…