pip (@smallboxswe) header
pip (@smallboxswe) profile picture

I launder bits to make money | for the record, I work on query engines

venv
Joined June 2022
Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)Photo by pip (@smallboxswe)
I work hard so someone in the office can film a "Day in the life of a Software Engineer" vlog
1
414
to all the rust fanboys out there, correctness is a design problem, not a language problem.
Correctness is a design problem, not a language problem. If a system is incorrect by design, it’s incorrect by design. This is another way, of course, of saying that safety is an emergent property of “the system as a whole”. Cf. Fallacy of composition tigerbeetle.com/blog/2025-10…
1
46
pip retweeted
Meet MariaDB Enterprise Platform 2027 — built for the agentic era, with a new look to match ✨ Agents are arriving faster than most data stacks are ready for, and every enterprise putting them to work is adding traffic its data layer was never built to carry. MariaDB Enterprise Platform 2027 is purpose-built for that load, and for the applications your teams already run — so you can build agents faster, run them faster, work from one live data layer, scale without the rebuild, and maintain security and control across every workload. And because the platform has evolved far beyond a traditional database, the brand has evolved with it: open by design, unified across every workload, and built for the agentic enterprise. We’re the same team you depend on, with a new look and feel as bold as what we’re building for you. MariaDB is the Unified Open Database Platform for the Agentic Enterprise. Explore it here: mariadb.com/newsroom/press-r…
3
6
2
23
2,354
I know this makes me a sicko but I love C. I love reading C. I love writing C. I love everything about C. I should not be ALLOWED to write C, I get it, but still.
24
19
4
308
16,115
nodthini
is there a word between yes and no
39
393
12
3,480
49,343
monday market manipulation at its peak
Under pressure from Israeli prime minister Benjamin Netanyahu, the Trump administration may be within days of launching a nuclear strike on Iran. The target would be Pickax Mountain in central Iran, where Israeli intelligence claims the Iranian government has restarted its nuclear enrichment program. No conventional weapon in the American arsenal can penetrate 300 feet of solid granite to destroy the tunnels where enrichment is supposedly taking place. The only military option is a nuclear strike. Netanyahu has been pushing hard for one. “Bibi calls Trump about it every day,” says an informed observer. Netanyahu is cornered and desperate. After last week’s election results, he can’t form a government unless Trump intervenes directly in Israeli politics and brokers a deal with other parties that gives Netanyahu 61 seats in the Knesset. Otherwise, he is out as prime minister and on his way to ignominy, investigations and possibly jail. Netanyahu must stay close to Trump. He needs this war. To that end, he’s applied maximum pressure to his closest allies in the administration, including Secretary of Defense Pete Hegseth and CENTCOM commander Brad Cooper. Both oppose a negotiated settlement to the war they’ve so grievously mismanaged; both are pushing to restart major combat operations. Secretary of State Marco Rubio and CIA director John Ratcliffe are also following Netanyahu’s lead, as are leaders of the Democratic Party. In a recent meeting on the subject, former president Barack Obama said he opposes the current Iran peace deal being drafted in Doha. The rest of America’s longtime allies in the Middle East are terrified by the prospect of more war. On September 27th, Netanyahu flew secretly to Abu Dhabi to enlist the UAE in his lobbying effort for a final attack on Iran. The Emiratis refused. After eight months of conflict, Gulf economies are teetering. So are global energy and fertilizer markets. They won’t recover soon. Globally, there are a total of about 850 supertankers used to transport oil from producers to the rest of the world. In October alone, 11 of them were badly damaged in Hormuz. At this pace, a global depression is imminent. A nuclear strike would radically accelerate the destruction. Fallout from a ground explosion at Pickax Mountain would contaminate the Persian Gulf, poisoning the water supply for 100 million people. And those are just some of the immediate consequences for the region. The rest of the world is every bit as exposed. No country other than the United States has ever used a nuclear weapon in war. Some would like to. An American nuclear attack on Iran would set a new precedent. The Russians have already told at least two other governments that an American nuclear strike on Iran would free them to use nuclear weapons against Ukraine. Pakistan and India would be tempted to do the same against each other, as would North Korea against Seoul. After the first nuclear strike, World War Three is inevitable. That war would be short and final. We’ve been sleepwalking toward this moment for months. Since February, the administration has quietly rewritten America’s nuclear doctrine to make first use of so-called “battlefield nukes” easier and therefore more likely. No one in Washington in either party seems bothered by this. Now we’re on the brink of it. Close observers say Trump is likely to decide by next weekend whether or not to use nuclear weapons. That would be November 7, six days from now. To his credit, he’s hesitating. At the moment, Trump is listening to his vice president, JD Vance, and to his envoy and friend Steve Witkoff, both of whom argue a deal with Iran can be made. They’re right, though it won’t be simple. The Iranians are famously frustrating to negotiate with under any circumstances, and elements of that government have become more radical since Ayatollah Ali Khamenei and his family were killed in February. After decades of isolation, even relatively moderate Iranian leaders seem confused by how decisions are made in the West. (There is a widespread belief in Tehran, for example, that the United States government controls Israel.) But overall, people who have spoken to decision-makers in Iran say there is consensus there that more war is bad for everyone and a deal is worth making. One group that hasn’t been consulted so far is the global population — the hundreds of millions of people who will be killed along with their children if Trump is pushed by Netanyahu into launching a nuclear strike next week. Now would be the time for them to speak up.
29
ಕನ್ನಡ ರಾಜ್ಯೋತ್ಸವದ ಶುಭಾಶಯಗಳು! Jaya Karnataka Mathe! 😂🙏🏼
3
90
4
553
16,130
what the fuck
29
This is Drake vs. Kendrick for people who know what a data lake is
Replying to @RamaswmySridhar
I don't think we should fight. The two companies are complementary. Since you're not doing this AI stuff, I really think Snowflake should consider getting its AI tokens through Databricks. You can get both cheap OSS models as well as frontier (OAI/Ant/Gemini/Grok) models from our platform. It all goes through Unity Gateway which has Smart Routing, Budgets, and Access Control. You can even use Omnigent with any harness, including CoCo. Most of our customers used this to reduce token spend ~30% last few months while token count went up. Genie lets you then track, control, manage that spend, all your financials, marketing, etc. Quick POC?
15
38
4
979
78,351
pip retweeted
if you have a qwen3.5 4b around, please try steering neurons L14 N8949 +1 and L13 N7956 -1 now you have evil qwen recipe: dose × median(‖resid‖ leaving layer L, tokens 1:) / ‖W_down[:, n]‖` at the down_proj at every input
515
1,325
779
22,406
4,536,003
swimmer be like - somebody took entire TiDB control plane > holy shit - env vars stolen from Railway > heads down, working with the team - emudhra's script generated 4 as priv key > regulatory capture, lack of meritocracy, being in cahoots with govt, goes on to write an essay
idk about railway but universe definitely has a 24hr SLA on serving karmic justice
5
162
pip retweeted
cognition's ceo is my benchmark for being qualified as a smart person
70
137
73
4,482
679,347
my descendents are going to be pirates 🏴‍☠️
1 million years from now, the Somalian tectonic plate is going to collide with the Indian tectonic plate. That collision will create an equally high mountain range like the Himalaya on the western coast. Imagine being the first Somalian to trek up till Pune, only to see Hinjawadi metro still not inaugurated.
1
125
I, for one, consider 4 a perfectly fine integer between 1 and 39402006196394479212279040100143613805079739270465446667946905279627659399113263569398956308152294913554433653942642
58
1,169
35
29,033
331,223
Specialty coffee is spiral > order beans hoping to taste all fancy notes > mess up the brew, swear you’re never ordering specialty coffee again > once or twice a year, nail the recipe with a batch and suddenly you taste and smell everything > back to ordering specialty coffee
2
86
Of course, that’s your contention. You’re a first-year machine-learning engineer. You just got finished readin' Attention Is All You Need, probably watched a Karpathy video too. So now you’re convinced everything is just transformers and scaling laws. That's gonna last until next month when you discover convolution, and then you're gonna be talkin' about inductive biases and locality and how CNNs were actually incredibly compute-efficient for vision. Then you're gonna read the FlashAttention paper, and suddenly everything's about IO complexity and SRAM and how FLOPs don't matter because the whole goddamn thing is memory-bandwidth bound. That'll last until somebody shows you an MoE model, and then you're gonna be in here regurgitating DeepSeek, talkin' about expert parallelism and active parameters and how dense models are economically obsolete. Then six months from now you'll write one shitty Triton kernel, look at an Nsight trace for the first time, and start telling everybody Python isn't actually the bottleneck because the GPU is asynchronous. And by next year you're gonna be standing right here explaining to me that your 400-billion-parameter model is fast because you turned on CUDA graphs.
Ben Affleck reveals he writes Python, understands convolutional neural networks, worked extensively with GPUs, and used his celebrity status to get private looks at Google and OpenAI’s video models “I’ve always been kind of into computers since I was young. Then, when film started to move from analog film to digital, I became more interested in that aspect of it. The visual-effects workflow for many years has included machine learning, so I can write pretty shitty Python scripts and stuff like that. “With convolutional neural networks, which were the precursors to what the transformer can do, which is much more computation simultaneously, you would do things like look at what’s called a tensor. That’s the numerical translation of a visual image in numbers, like the batch number, the frame number and the red, green and blue values of each pixel in each frame. It’s just that simple. That numeric is called a tensor. “You’d use a convolutional neural network to identify patterns that reveal what’s called edge detection or feature extraction, which is identifying patterns well enough to know, this is where the window ledge is, so we can more easily take the green-screen image out and replace it with something. “That was familiar to me early on because, prior to Artists Equity, I had a small visual-effects company. I’ve worked with GPUs a lot too. The visual-effects guys said, ‘Hey, you should see. There are a couple: Google and this other company, OpenAI, are doing really interesting stuff with transformers in video.’ “I’ve learned that I can actually just call up and go, ‘Hey, it’s Ben Affleck. Can I come see what you’re doing?’ Sometimes people say yes, to my astonishment.”
274
1,061
139
12,102
550,057
Wet Bahrain GP is only possible if it's held in Sepang
68
Ramanujan wasn’t skipping proofs. He was hiding his chain of thought to prevent distillation. Hardy: “Show your work.” Ramanujan: “Sorry, reasoning tokens aren’t exposed via the API.”
80
710
70
9,812
997,478
Whatever the situation, thought of this meme always brings a smile to my face.
38
386
20
6,332
134,730
India needs Alex Karps not Nikhil Kamaths
24
123
9
1,476
40,761
Throwback to NNT chacha banger on social science
Not just sociolists. Because it, as it's currently measured, is. NNT isn't a 'yeh sala humanities log' type person. He has written whole ass blogs on why IQ 'as is measured now' has horrendous statistics properties and is thus a very very bad measure.
4
88
5
689
10,076