Daniel Levin @_levindaniel_

VMM (virtual machine merchant) roci.co.za Joined January 2016

Tweets

173
Followers

45
Following

297
Likes

2K

em m0shouris @emm0sh

2 days ago

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

83 10 490 39K 30

View Details

@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”.

0 0 0 91 0

View Details

Daniel Levin @_levindaniel_

a week ago

@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.

0 0 1 109 0

View Details

Daniel Levin @_levindaniel_

a week ago

@samlambert Attack the magic quadrant people next Sam

2 0 11 2K 0

View Details

Daniel Levin @_levindaniel_

2 weeks ago

@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.

0 0 1 72 1

View Details

Daniel Levin @_levindaniel_

2 weeks ago

@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.

0 0 1 41 0

View Details

Andrew Gallant @burntsushi5

3 weeks ago

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. burntsushi.net/encephalitis/

34 84 406 53K 76

View Details

Daniel Levin @_levindaniel_

3 weeks ago

@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.

0 0 1 33 0

View Details

Daniel Levin @_levindaniel_

3 weeks ago

@davidcrawshaw sshitbox obviously

0 0 1 31 0

View Details

Daniel Levin @_levindaniel_

a month ago

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

1 0 10 616 0

View Details

Daniel Levin @_levindaniel_

2 months ago

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

0 0 0 25 0

View Details

Daniel Levin @_levindaniel_

2 months ago

@paul_conyngham Beast. Keep up the good work.

0 0 2 401 0

View Details

Daniel Levin @_levindaniel_

2 months ago

@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)

0 0 1 313 0

View Details

Daniel Levin @_levindaniel_

3 months ago

@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

1 0 2 112 0

View Details

Daniel Levin @_levindaniel_

3 months ago

@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.

2 0 3 870 0

View Details

Daniel Levin @_levindaniel_

3 months ago

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

0 0 1 127 0

View Details

Daniel Levin @_levindaniel_

3 months ago

@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.

0 0 2 451 0

View Details

Daniel Levin @_levindaniel_

3 months ago

@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

1 0 2 180 0

View Details

Daniel Levin @_levindaniel_

3 months ago

@halvarflake docs.cloud.google.com/compute/docs/g… “Bursting” and “shared core” are merely PR-speak for oversubscription. That’s all it is.

0 1 4 2K 0

View Details

Daniel Levin @_levindaniel_

3 months ago

@littmath Someone is going to formalise something that advances the frontier a godlike amount (eg Mochizuki vindicates himself) and at that point the world will bifurcate into those doing high assurance mathematics and those stuck in the stone ages.

0 0 0 57 0

View Details

Daniel Levin @_levindaniel_

3 months ago

@littmath I still do not understand why you or any serious mathematician would engage with AI-generated mathematics that isn’t formalised in Lean. A proof that type checks isn’t necessarily right (eg statement could be wrong lol) but it should be table stakes for AI assisted proof!