auto-traits are one of the trickiest features in rust, they provide real ergonomic improvements (eg making Send / Sync usable) but cause so much pain at long distance: refactoring has to account for invisible bounds you can't easily pin down, adding new auto-traits explodes compile times, etc....

Extremely cool memory security stuff in the guts of iPhone 17, a major effort and novel improvement by Apple: security.apple.com/blog/memory-...

SCOTUS: considering race as one factor in a college applicant's file is blatantly unconstitutional ALSO SCOTUS: considering race as one factor in targeting whom to detain and deport is cool cool cool

“Microsoft says U.S. law takes precedence over Canadian data sovereignty” … or how to lose government contracts all over the world in one easy step. 🖕🏾🖕🏾 www.digitaljournal.com/tech-science...

ok so the times witnessed reporters receiving cash from Adams people three times at mayoral events and sat on it for over a month but couldn’t pass up a hot tip from a neonazi about Mamdani’s unsuccessful college application for long enough to check if the neonazi had already been identified

Le gouvernement Nétanyahou a approuvé la construction de 3 400 logements dans une zone baptisée E1, coupant la Cisjordanie en deux et oblitérant toute possibilité d’y établir un État palestinien viable. Par @clomraffko.bsky.social www.mediapart.fr/journal/inte...

À dérouler

BBC International Editor Jeremy Bowen has confirmed that the entire Al Jazeera team in Gaza City has been killed.

The reason that javascript has semicolons is because newlines are invisible, so the compilers couldn't see the ends of the statements. Then around 2016 computer vision got good enough that we could drop them though.

For Americans, not only is this not recognizing a Palestinian state but it’s effectively conditioned on said hypothetical state being demilitarized and thus incapable of self-defense.

peut on réellement reconnaître un état si c’est conditionné sur un reniement de son auto-défense?

prototyped a little tool here to break down the sizes of large futures. My objective is to help figure out how to reduce compile times in async-heavy projects by telling you which futures are worth erasing. Might work on surfacing call-graph depth next.

“When asked directly whether he could guarantee under oath that French citizen data would never be transmitted to US authorities without explicit French authorization, [Microsoft France's director of public and legal affairs Anton] Carniaux responded: ‘No, I cannot guarantee it.’”

Nicholas is one of the best engineers I've ever worked with and y'all should be racing to hire him if you can.

« La France et l'Europe ont une occasion en or d'attirer des chercheurs de hauts niveaux. Mais pour réussir pleinement, il va falloir qu'ils augmentent sérieusement le niveau d'investissement dans la recherche » www.lesechos.fr/politique-so...

Le 7 avril dernier, McGill annonce qu’elle mettra fin au contrat qui la lie à son association étudiante. Le message est transféré moins d’une heure plus tard, au député libéral fédéral, Anthony Housefather. « Tel que discuté », écrit un administrateur. Housefather répond : « Très apprécié. »

Fear of the New York City subway is a mark of low moral character. www.hamiltonnolan.com/p/the-subway...

null pointers truly living up to being the Billion Dollar Mistake

lol it was a null pointer

marre des flottants et des infinis dans des algorithmes honnêtes

Does anyone know a way to get 63 bit (or less) pointers in rust? Specifically want it to work for niche optimization.

This post might age terribly, but I find it amazing how many people with little exposure to modern research in formal methods are now firm believers that software verification can be easily solved by LLMs and Lean. "DeepMind and Terence Tao are solving math with AI, and programs are even easier!"

turbopuffer is generally available. petabytes in prod. turbopuffer.com/

non-tech gf: “I know what a TLS certificate is! Tender Loving Sweetheart certificate”

good morning

modern NVMe drives are blazing fast, but software needs to be architected from the ground up to take full advantage of them we recently rolled out a new I/O scheduler that uses Direct I/O to maximize performance of our SSD caches, avoiding page cache cpu and locking overhead

Back to playing favorite game: how far can you travel through the tunnels in Montreal

Intéressante tribune sur l'illusion d'une université française attractive pour les chercheurs américains tentés par l'exil. Ou de l'incapacité de regarder en face les conséquences de sa propre politique. Terrible absence de sens des responsabilités... www.lemonde.fr/sciences/art...

do any European cloud providers offer strong consistency in object storage? This strikes me as a huge strategic gap, a lot of next generation software is built on these apis and so far only the big 3 seem to offer it.

simd code is really baffling. a change doubles performance on one benchmark, while leaving another similar one almost untouched. getting rid of the simd tail adds 50% to run time.

Major right-wing accounts (this guys has 320k followers) are saying Carney is doing an "incantation" in an "unknown, eerie language" that is "not anything recognizably human" my brother in Christ, that sound you are hearing is French

today I fought rust's inference of send bound and lost. I'm fairly sure there's a bug around hrtb's etc.. the mere inclusion of a type with a `'static` lifetime causes everything to go haywire.

anyone have a good concurrent priority queue in rust? or do I have to write one?

i've set a new personal record for most errors in one compile: 1899

I whipped up a little rustc driver which blames monomorphized items on the roots which caused them to be generated, its not 100% tuned yet since I want to assign blames to generic methods in my crate but it's getting there!

Are there any good tools to debug intra-crate build times? -Ztime-passes doesn’t help me find which modules/functions are responsible and llvm-lines/cargo bloat are too diffuse

what are some good papers on proving termination properties in concurrent/distributed systems?

`value_parser!` from clap is a cool macro, it abuses auto-deref to automatically select a parsing strategy from several possibilities. I've often wanted to provide "overridable" defaults in programs, might steal this docs.rs/clap_builder...

descent into madness

how many more layers of conditionality can I fit in this bad boi?? Result<Option<bool>>

i feel like it's important to look at zuck's political volte-face within the context of intra-silicon valley politics, not solely in the context of the national electoral environment maxread.substack.com/p/why-is-mar...

I didn’t realize these ai things were a thing until I took a trip back to the states, kind of insane this is accepted

Does anyone have good resources for the design of metaprogramming mechanisms? Specifically ones which have access to type information?

guys, you're supposed to hate the mods

in 1967, senators rfk and joseph clark took a tour of the mississippi delta. they were horrified by the sheer scale of poverty, malnutrition, and neglect. their report caused a national scandal. the scenes haunted kennedy; he considered it the worst thing he'd seen in his life.

the only coffee shop capable of proving refinement

I’m finally making the switch; for some reason I kept hoping things would improve despite the algorithm continually promoting nazi content