Daniel Levin

VMM (virtual machine merchant)

[Daniel Levin @_levindaniel_]

@davidcrawshaw Agree. I find I can “heal” them of this malady by explicitly asking them to style transfer from actual docs written by a human. When they start to consistently use British spelling (I am South African) I consider that a success. They’re very good at mindless style transfer.

[em m0shouris @emm0sh]

i’ve finally found the true delineator between real and fake jobs: do you wear safety glasses at any point throughout the day?

[Daniel Levin @_levindaniel_]

@mitchellh @OkamaKichigai @thatsFrScience I love tmux but tmux’s default keybindings are insane. The most powerful and useful navigation actions are cloaked beneath obtuse multi-key inputs. “C-b q 2” is a four fucking key presses for “go to pane 2”.

[Daniel Levin @_levindaniel_]

@QuinnyPig Keen-eyed observers will have noted that GitHub is _still_ serving artifacts straight from S3 after all these years. That’ll definitely add more guns to the Microsoft org chart.

[Daniel Levin @_levindaniel_]

@samlambert Attack the magic quadrant people next Sam

[Daniel Levin @_levindaniel_]

@pepicrft I love nix. I’ve used it for years happily. My favourite feature was safe whole system rollback. Then I discovered beadm on illumos. It has ruined me.

[Daniel Levin @_levindaniel_]

@bexcran Similarly I have found that robots have made SELinux moderately tolerable. Point the LLM at the denial log or whatever it’s called and have it explain and fix things.

[Andrew Gallant @burntsushi5]

I was recently diagnosed with a rare autoimmune disorder called anti-NMDA receptor encephalitis. It's a "disease of chaos" that completely upturned my life for a couple months.

I wrote a blog about it that goes into more detail and discusses prognosis.

https://t.co/mP0ftCuwpp

[Daniel Levin @_levindaniel_]

@burntsushi5 Devastated to hear about this, Andrew. Wishing you the best of health and best of luck in the satralizumab trial. We should all be so lucky to have a Kaitlyn and a Charlie in our lives.

[Daniel Levin @_levindaniel_]

@davidcrawshaw sshitbox obviously

[Daniel Levin @_levindaniel_]

@TaliaRinger Zotero does this. Paste the doi to import. Right click to export as bibtex

[Daniel Levin @_levindaniel_]

@lemire Beer and power tools is like SIMD for injuries. You can cut multiple fingers off at the same time

[Daniel Levin @_levindaniel_]

@paul_conyngham Beast. Keep up the good work.

[Daniel Levin @_levindaniel_]

@tqbf At my old job we owned the last mile of (probably) the largest ephemeral creds distribution system on earth. I’d add one very important caveat: you MUST have the ability to slightly extend lifetimes in an emergency (eg from 6 hours to 8)

[Daniel Levin @_levindaniel_]

@scottnarmstrong @AlexKontorovich @nasqret @JaumedeDios @leanprover @axiommathai @HarmonicMath @Leonard41111588 2) Formalising unassailably true results only adds value to mathlib if it’s reusable or generalizable. They’d do a 180 if you upstreamed novel tactics or added some type classes / structures that neaten some of the grimy parts of mathlib

[Daniel Levin @_levindaniel_]

@scottnarmstrong @AlexKontorovich @nasqret @JaumedeDios @leanprover @axiommathai @HarmonicMath @Leonard41111588 Their points are valid but badly made. 1) Formalisation using painfully long unreadable vibecoded Lean is only valuable if the result is not well known to be true or if parts of the proof were sketchy.

[Daniel Levin @_levindaniel_]

@grhmc Problem is these data sets lump blocks with terrible reputations (for sending spam basically) with good blocks. Not all ranges are made equal

[Daniel Levin @_levindaniel_]

@HeidyKhlaaf This time is different.

> And it autonomously wrote a remote code execution exploit on FreeBSD’s NFS server that granted full root access to unauthenticated users by splitting a 20-gadget ROP chain over multiple packets.

This is a sea change in capability.

[Daniel Levin @_levindaniel_]

@bankof_amERICA Pro tip: give your kids proper middle names or something differentiating. When I worked at Amazon there were three Daniel Levin’s. I have the “John Smith” of Jewish names and have no middle name to set me apart

[Daniel Levin @_levindaniel_]

@halvarflake https://t.co/p5dt9MEgtX

“Bursting” and “shared core” are merely PR-speak for oversubscription. That’s all it is.