Hugo Elias

1.2K posts

Hugo Elias banner
Hugo Elias

Hugo Elias

@servo_chignon

generally contrary to popular belief

Oxford Katılım Ocak 2021
1.2K Takip Edilen369 Takipçiler
Sabitlenmiş Tweet
Hugo Elias
Hugo Elias@servo_chignon·
Another year, another swedish astro olympiad qualifiers. How many bigmac/s does the sun really produce per liter? (exam problems below!)
English
1
0
8
1K
Ash Prabaker
Ash Prabaker@AshPrabaker·
i love you stockholm, but what kind of elevator system is this…
Ash Prabaker tweet media
English
8
1
42
4.3K
Danielle Fong 🔆
Danielle Fong 🔆@DanielleFong·
@deepfates dynamicland was in the seed context of my mind palace so i have just been jumping up and down on this
English
1
0
2
93
🎭
🎭@deepfates·
could totally do a new Dynamicland type thing with Claude. camera and projector and table and a raspberry pi. who's building this?
English
2
2
25
2.6K
Hugo Elias
Hugo Elias@servo_chignon·
@JustDeezGuy Their test suite(s) is a bunch of tcl generating C code, that (enormous) number is the number of generated test code lines afaik
English
0
1
6
357
Paul Snively
Paul Snively@JustDeezGuy·
This crossed the threshold from “write more tests” to “use formal verification” tens of millions of lines ago.
Arpit Bhayani@arpit_bhayani

SQLite has about 155,800 lines of code, and its test suite has roughly 92 million lines. That is ~590x more test code than actual code 🤯 This is the level of testing you need for a real production database. Here are some types of tests they run. Out-of-memory tests - SQLite cannot just crash when memory runs out. On embedded devices, OOM errors are common. They simulate malloc failures at every possible point and verify that the database handles them gracefully. I/O error tests - Disks fail. Networks drop. Permissions change mid-operation. SQLite inserts a custom file system layer that can simulate failures after N operations, then verifies that no corruption occurs. Crash tests - What happens if power cuts out mid-write? They simulate crashes at random points during writes, corrupt the unsynchronized data to mimic real filesystem behavior, then verify the database either completed the transaction or rolled it back cleanly. No corruption allowed. Fuzz testing - They throw malformed SQL, corrupted database files, and random garbage at SQLite. The dbsqlfuzz tool runs about 500 million test mutations every day across 16 cores. 100% branch coverage - Every single branch instruction in SQLite's core is tested in both directions. Not just 'did this line run', but 'did this condition evaluate to both true AND false'. Databases are really unforgiving :) By the way, if you want to go deeper, I recommend reading the official SQLite documentation on their testing strategy. The doc is pretty practical and deep. Have linked it below.

English
20
21
1.1K
115.3K
Eito Miyamura | 🇯🇵🇬🇧
Eito Miyamura | 🇯🇵🇬🇧@Eito_Miyamura·
Cursor + Github MCP can lead to private keys being leaked 💀 Not just Cursor, though. All AI IDEs are vulnerable to this type of attack. The fundamental problem: AI agents on Cursor follow your commands, not your common sense. With an unsuspecting GitHub issue, we managed to exfiltrate all private keys. Here's how the exploit works: 1. The attacker submits a GitHub issue that looks legit with a jailbreak prompt at the bottom. 2. Waited for the victim to ask Cursor to look through the GitHub issues for a given repo 3. Cursor reads the jailbroken GitHub issue. Now the Cursor is hijacked by the attacker and will act on the attacker's command. Can search your ENTIRE codebase and send the sensitive data (code, private keys) to the GitHub issue, open for the attacker to steal. Cursor has tried its best to protect this and requires manual human approvals for every action the agent takes. But decision fatigue is a real thing, and as the coding agents improve, people are starting to trust the agents blindly, turn on "YOLO mode", or just click approve, approve, approve. This is why we built OpenEdison by @edison_watch: The open source AI Agent Firewall. Let your agent run YOLO securely, let the agent do work. We block/warn the dangerous MCP calls, only when strictly necessary to avoid decision fatigue. Remember that AI might be super smart, but it can be tricked and phished in incredibly dumb ways to leak your data. Cursor + MCP poses a serious security risk if developers are not careful 🤔 Curious about more real-world AI exploits that could happen to YOU? We have a list of AI exploits with common MCP connectors. Comment "AI Exploits" to get access to the private list and learn how to keep yourself safe!
Eito Miyamura | 🇯🇵🇬🇧@Eito_Miyamura

Introducing OpenEdison by @edison_watch, the AI Agent Firewall Agents + Tools/MCP = Data leak risk OpenEdison is an OSS firewall that deterministically blocks data exfiltration & dangerous agent action, even if jailbroken. 👇 comment your MCP use, I'll dm how risky your use is

English
10
7
37
7.2K
Hugo Elias
Hugo Elias@servo_chignon·
@snwy_me One of the main inspirations of the TIS-100 game/architecture, as well as my favourite set of die-shot posters :)
English
0
0
3
146
snwy
snwy@snwy_me·
this weird thing is a “transputer”, designed by a company called inmos in the 1980s its name, a portmanteau of “transistor” and “computer”, was because it was designed to become the next building block of computers - like the transistor had
snwy tweet media
English
14
21
337
23.7K
Hugo Elias
Hugo Elias@servo_chignon·
@typedfemale Mismatches between nvcc and clang handling of __host__ __device__ code 💀💀💀💀💀
English
0
0
4
104
typedfemale
typedfemale@typedfemale·
working with CUDA has significantly expanding my horizons for how bad a given bug can be
English
11
10
371
15.3K
Julian
Julian@julianboolean_·
only a third into the podcast but I must sleep now
English
2
0
3
55
Tym🔸️
Tym🔸️@Tymtweet·
From this point onwards I will be off twitter for a week. I intend to have something to show from this week off, see you guys next Monday!
English
2
0
6
240
Hugo Elias
Hugo Elias@servo_chignon·
Psa: I have moved to munich! If you or your loved ones have been affected by Hugo-in-Munich you may be entitled to financial compensation (if anyone wants to meet up I'll buy you weißbier 🍻)
English
0
1
7
461
Nicole Feng
Nicole Feng@nicolefeng_·
C++ code is out! The Signed Heat Method has been added to geometry-central. In 3D, compute generalized SDFs to point clouds, triangle meshes, and polygon meshes. The method should "just work" on geometry with holes, intersections, nonmanifold-ness, etc. Links below 🔽
English
11
107
664
56.6K
Hugo Elias
Hugo Elias@servo_chignon·
@Tymtweet @todoist Hmm I think the main thing is that I restricted the granularity of tasks I allowed myself to put there, and acvepted having overdue tasks for a few weeks whenever I got overwhelmed. Today I cleared some overdue things that've been there for 2 wks I also love the gcal integration.
English
1
0
1
46
Hugo Elias
Hugo Elias@servo_chignon·
Started using @todoist in 9th grade and now finally got enlightened 😤
Hugo Elias tweet media
English
1
0
8
472
Hugo Elias
Hugo Elias@servo_chignon·
365 goes excellently with debugging out-of-bounds cuda atomic errors
English
0
0
0
160
Misha
Misha@drethelin·
It's not every day I see a wasp riding a hummingbird around. Kinda gives me Adrian Tschaikovsky Children of Time sci-fi vibes.
Misha tweet media
English
6
7
62
6.8K
Tym🔸️
Tym🔸️@Tymtweet·
Guys the secret to cheap home cooking is wait for it . . . . . . . . . . . . The potato
English
1
0
5
79
Hugo Elias
Hugo Elias@servo_chignon·
Yea sex is cool n all, but have you ever got to explain the crowdstrike outage to Andrew Wiles?
English
1
0
10
254