const @[email protected]

4.5K posts

const @oli@hachyderm.io

@oli_obk

Compiler and dev tools enthusiast. Opinions many. he/they. works at @awscloud & opinions are probably not my employer's. fediverse: @[email protected]

Valles Marineris Katılım Haziran 2009
162 Takip Edilen1.7K Takipçiler
Sabitlenmiş Tweet
const @oli@hachyderm.io
It's been fun y'all. For shitposting, invite me to discords, For Rust infodumps follow me on cohost.org/oli-obk And for Rust questions start a thread on zulip and ping me
English
0
2
14
0
const @[email protected] retweetledi
Andy Weir
Andy Weir@andyweirauthor·
Ten years ago today that The Martian hit shelves. I owe everything that happened since then to my readers. I can't thank you enough. So, for the hell of it, I wrote some additional content for The Martian. The Martian: Lost Sols galactanet.com/lostsols.pdf
Andy Weir tweet media
English
221
1.2K
7.2K
755.5K
const @oli@hachyderm.io
@dcompoze @yoshuawuyts @travisbrown If someone's views include that certain groups of people are "lesser" or should not exist, then it's absolutely our duty to make sure that that someone is not let near anyone whose existence they threaten
English
2
1
32
711
Dcompoze
Dcompoze@dcompoze·
@yoshuawuyts @travisbrown Well, surely, you can tell the difference between a non-consequential twitter reply and publicly calling for someone to be ostracized. I'm not calling for you to be ostracized because of your views, and also I'm not opposed to you telling that guy you disagree with his views.
English
1
0
7
679
const @[email protected] retweetledi
Noratrieb
Noratrieb@noratrieb·
What's that? A cargo feature was missed and the compiler still knows about it? Truly an all-knowing compiler.
Noratrieb tweet mediaNoratrieb tweet media
English
8
29
342
32.1K
const @[email protected] retweetledi
Sidequest Ninja - Buy Hexahedra on Steam!
Hexahedra is an open-ended programming puzzle game ⚙️Build factories and ship cubes as efficiently as you can. Make machines dance to your industrial choreography! 🏗️Build and share your own puzzles 🤖Work out why the factory bots are misbehaving Demo: s.team/a/1248420
English
0
16
26
2.3K
const @oli@hachyderm.io
@MayaPosch @catovitch Are you thinking about Ravenscar or SPARK? Which do indeed give you more safety than Rust, but at a cost that only makes sense if lives depend on your code not failing at all
English
0
0
2
25
const @oli@hachyderm.io
@MayaPosch @catovitch I've used Ada extensively in production code for multiple years before switching to Rust. The only thing Ada has over Rust is subtyping. You can get race conditions and use after free in Ada everywhere.
English
1
0
2
32
const @[email protected] retweetledi
Noratrieb
Noratrieb@noratrieb·
rust compiler target tiers are currently kinda tier 1: it works tier 2: it doesnt break horribly tier 3: it may break horribly idea: tier 4: we know that it breaks horribly
English
4
8
146
9.7K
const @[email protected] retweetledi
Noratrieb
Noratrieb@noratrieb·
I'm now a member of the #rustlang compiler contributors team! Thank you to everyone who made this possible! ♥️ #Compiler%20team%20contributors" target="_blank" rel="nofollow noopener">rust-lang.org/governance/tea…
English
2
10
270
0
const @[email protected] retweetledi
eevee 💨
eevee 💨@eevee·
if the linux kernel can be made via fucking mailing list then i'm pretty sure your startup can manage to make a website or whatever remotely
English
22
724
3.5K
0
const @oli@hachyderm.io
@lodurel Ah yes, this this is indeed worse than my proposal to just calling `main()` at the PME error site. 10 points to ~~griffindor~~ lodurel
English
1
0
1
0
Louis Dureuil
Louis Dureuil@lodurel·
@oli_obk Just make programs that would cause a post monomorphization error "ill-formed, no diagnostic required". It would be an inconvenience to the compiler developers to come up with an error message here, please have this CVE instead
English
1
0
1
0
const @oli@hachyderm.io
The constant you have called is unavailable, please try again. Me musing on what to do about post monomorphization errors and brainstorming the worst ideas.
English
1
1
13
0
const @oli@hachyderm.io
@Argorak New job opening description just dropped. Sounds like you get to engineer sometthing, working part time, and getting dad jokes from your colleagues
English
1
0
2
0
const @oli@hachyderm.io
@o_uz_a Aren't there like vim plugins? Also I got cured of vim by getting a programmable keyboard that gives me some of those features with layers and stuff. But working in every software, as it's done at the keyboard hardware level
English
0
0
3
0
const @oli@hachyderm.io
@ekuber If you're terminally online and refusing to go to therapy the only cure is to destroy the page you're addicted to
English
0
0
7
0
LibreOffice
LibreOffice@LibreOffice·
@The_SteelWolf We haven't made any decision. We're not doing anything. It's just an open discussion for ideas that others may want to investigate.
English
3
0
3
0