d0nut 🦀
16.1K posts

d0nut 🦀
@d0nutptr
Security, software correctness, and Rust 🦀 prev: @RobinhoodApp, Cruise, @zellic_io, @Dropbox
San Francisco, CA Katılım Kasım 2013
483 Takip Edilen21K Takipçiler

I've never seen this failure mode before

levent@__alpoge__
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
English
d0nut 🦀 retweetledi

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
English

@psiloycne Pretty tough reverse engineering project that I needed done.
In fact, because it was so challenging, I stopped working on a project last year (RE is not main skillset)
Now? It’s actually viable
English
d0nut 🦀 retweetledi

@californiapost This is unironically the intended purpose of prediction markets
English
d0nut 🦀 retweetledi

Savvy ice cream shop owner makes 43% of monthly rent betting on weather: 'If it rains, we still win' trib.al/4cfjpVl

English
d0nut 🦀 retweetledi

I am excited to announce that we are officially writing a new version of Postgres. In Rust - and creating the LLVM of databases in the process.
In the span of a year, we have rewritten SQLite. Keeping the compatibility, increasing its feature set. MVCC, Types, (Live) Materialized Views, among other things. In the process of doing that, we have realized: At the end of the day, what makes SQLite special is that it compiles SQL to a database-specific bytecode. So why can't we compile *Postgres* to the same bytecode?
Turns out we can. I ran an experiment called pgmicro as a way to prove this hypothesis, and it works very well. It is time to make this official, and put the weight of Turso behind it. We shall give the world a modern take on Postgres. Wire compatible, but built on a new architecture.
We have already heard of others wanting to extend this. MySQL? Redis? the sky is the limit. What can we do if we do for databases what LLVM did for compilers? To prove how powerful the SQLite bytecode is, we are actually running DOOM compiled to the unmodified SQLite instruction set. And because Turso runs natively in the browser, you can play the game in your browser. With the database executing it.
Read the full story below! 👇
English

Storytime: When we launched 3 years ago, people warned us that data is a saturated market - that there isn't much room to innovate.
But if you've touched any dataset in our industry, you'll likely disagree. The industry is broken. It's just that someone with a *very specific background* needs to fix it.
Before Databento, I started a hedge fund, but it wasn't just any hedge fund: It was one of the few HFT firms built from scratch: colocation, bare-metal networking, nanosecond timestamping, custom feed handlers, low-latency systems - all of it.
We built every part of the stack and saw the difference that high-quality data made in our PnL.
When you built the plumbing yourself, AND you relied on it in production, AND you know how to start a business, you have the chance to build a game-changing company.
Today, Databento is the fastest-growing company in our industry, precisely because we have more than just a surface-level understanding of data.
This is why we decided not to sell Databento at this stage, but instead, keep innovating along our own unique path. Because we haven't peaked yet. Because we're still cooking. Because our team wants to stay.
We saw the pain firsthand for nearly a decade, and we kept asking ourselves why nobody had fixed it. Eventually we realized - we should probably be the ones to do it.
This milestone belongs to our customers too. You trusted us along the way, gave us candid feedback, and helped shape Databento into the platform it is today. Your support has helped prove that the industry is ready for a new standard.
Thank you for giving us the chance to raise the bar in our industry.

English

Reflecting on a number of matchmaking frustrations that people have shared with me over the last few months, I’ve heard a few common frustrations. I’d appreciate it if folks who have felt the pain in this space let me know if this captures their major concerns:
1. Some people believe that offering personal performance-based loss mitigation is mostly doomed, because it creates selfish incentives that pulls a player away from exclusively focusing on helping their team maximize win expectancy.
2. Some people are frustrated with duo queue in Master not having returned. Concerns about duo queue competitive integrity largely sit in two spaces: (a) boosting people from outside/low master into GM+, and (b) the difficulty of balancing games with GM+/GM+ duos, as different duos will contribute different win expectancies in ways that feel like you’re either smashing lobbies or being forced to 2v8.
3. Master+ players feel that there is room to increase queue times if it means narrowing the within-team skill range.
4. Some players do not understand that some accounts in climbing states (e.g. high Diamond MMR, Emerald rank) are being appropriately placed in their respective lobbies on the basis of skill evaluation. This contributes to - but is not the sole or primary driver of - frustration with (3).
How does that read for y’all as “here’s what’s frustrating about matchmaking right now”?
English

@mibbys_ you are maybe the seventh person who I have seen with the “[username] has liked 47 of your posts” notification, I’m pretty used to being someone’s autistic special interest atp ngl
English

autism special interests are so funny because why do i literally check drew levins replies everyday. not even in like a mean way i just genuinely find that guy so entertaining and funny. sorry if that’s weird @drewlevin
English











