@regehr@mastodon.social avatar

regehr

@regehr@mastodon.social

he/him

This profile is from a federated server and may be incomplete. Browse more on the original instance.

regehr, to random
@regehr@mastodon.social avatar

today let's pour one out for Pink Floyd, the lonely flamingo that escaped from a local aviary in 1988 and then returned to the Great Salt Lake every year until the early 2000s

https://www.utahhumanities.org/stories/items/show/438

regehr, to random
@regehr@mastodon.social avatar

"Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis"

https://xiongyingfei.github.io/papers/PLDI24.pdf

cfbolz, to random
@cfbolz@mastodon.social avatar

Anyone now what the least bad option is to express popcount of a bitvector in Z3 is? @regehr maybe? (I tried both a naive loop as well as a bit-twiddling advanced solution. the latter worked but was on the slow side, and the loop blows up all my timeouts)

regehr,
@regehr@mastodon.social avatar

@cfbolz I've wondered this from time to time, but I've never benchmarked different alternatives. Alive2 does the most basic possible thing.

regehr,
@regehr@mastodon.social avatar

@pervognsen @cfbolz in Alive we mostly stay away from interesting theories since the performance of multiple theories composed together tends to be unpredictable and bad. like for example data structures in Z3, even those that are pretty simple to desugar, often blow up the solver

regehr,
@regehr@mastodon.social avatar

@pervognsen @cfbolz internally Z3 has 5 different ways to do this, is that what I'm seeing? I don't know much about Z3 internals

regehr, to random
@regehr@mastodon.social avatar

getting the impression that the author of this slide deck feels slighted

https://www.cs.umd.edu/~hjs/slides/dagstuhl05.pdf

scheidegger, to random
@scheidegger@mastodon.social avatar

This is the main airport of my home town right now :( 100k displaced, water levels expected to take weeks to recede

regehr,
@regehr@mastodon.social avatar

@scheidegger oh no!!

regehr,
@regehr@mastodon.social avatar

@scheidegger damn

dev, to random
@dev@discuss.systems avatar

Me, a year ago: I’m so glad they’re building high density housing right in downtown. Without the parking minimums, it’ll be perfect for students and transit, this kind of high density walkable urbanism is what’s needed.

Me, checking the status in a year: no, not like that

regehr,
@regehr@mastodon.social avatar

@dev this can be yours for less than 2 years SC rent https://www.zillow.com/homedetails/508-W-4th-St-McCook-NE-69001/235542022_zpid/

regehr,
@regehr@mastodon.social avatar

@lzg @dev @dan a town with a straight-up carniceria just might not be all bad https://maps.app.goo.gl/G3HejEW4xpZcNBKp9

regehr,
@regehr@mastodon.social avatar

@dev @dan @lzg ppl in the midwest will no shit cook ground beef w/o even salting it I have seen this

regehr,
@regehr@mastodon.social avatar

@dan @dev @lzg at least they didn't miss that this is a reasonably honest adaptation of a German food, despite the stupid name

regehr,
@regehr@mastodon.social avatar

@dave_andersen @dev @dan @lzg nonono the word for this must be at least 30 letters long and involve a bit of spitting

regehr,
@regehr@mastodon.social avatar

@dan @dave_andersen @dev @lzg excuse please. das ist bear or schwein??

regehr,
@regehr@mastodon.social avatar

@Doomed_Daniel @dave_andersen @dev @dan @lzg which I understand are rare these days? but yeah I am not eating raw pork, even if that is irrational

regehr,
@regehr@mastodon.social avatar

@Doomed_Daniel @dave_andersen @dev @dan @lzg I'm very fond of steak tartare but I've gotten sick to the stomach from it three maybe four times? I mostly trust the meat but my guess is that keeping the grinder sufficiently clean is very difficult. I'm a slow learner about some stuff.

whitequark, to random
@whitequark@mastodon.social avatar

today in nominative determinism

regehr,
@regehr@mastodon.social avatar

@whitequark nominative determinism is one of those purely good things in life

regehr, to random
@regehr@mastodon.social avatar

great that we bought some patio furniture on Friday!

regehr, to random
@regehr@mastodon.social avatar

"Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations"

https://arxiv.org/pdf/2404.18249

regehr, to random
@regehr@mastodon.social avatar

"Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures"

https://dl.acm.org/doi/abs/10.1145/3620665.3640385

regehr, to random
@regehr@mastodon.social avatar

has anyone been watching Fallout on Amazon? I've only watched 1.5 episodes and so far it's like... a competent pastiche, I guess?

regehr,
@regehr@mastodon.social avatar

the Boy and His Dog vibe in episode 1 was fun, I'll admit

regehr, to random
@regehr@mastodon.social avatar

I've been seeing more posts recently about AIs getting poisoned by training on AI bullshit, but this reminds me of the time I assigned students to go find a red-black tree implementation on the web and then test it and fix the bugs they found. most of the available implementations were so wrong that the assignment was infeasible, and this was well before the current wave of AI-generated bullshit.

regehr,
@regehr@mastodon.social avatar

@hyc implementing AVL trees from Knuth's MIX is a significant challenge

regehr,
@regehr@mastodon.social avatar

@stuartmarks right, testing (and learning about dealing with other people's code) was the real assignment here. I really don't care if they can do a red-black tree.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • anitta
  • mdbf
  • magazineikmin
  • InstantRegret
  • hgfsjryuu7
  • Durango
  • Youngstown
  • slotface
  • everett
  • thenastyranch
  • rosin
  • kavyap
  • khanakhh
  • PowerRangers
  • Leos
  • DreamBathrooms
  • vwfavf
  • ethstaker
  • tacticalgear
  • cubers
  • ngwrru68w68
  • modclub
  • cisconetworking
  • osvaldo12
  • GTA5RPClips
  • normalnudes
  • tester
  • provamag3
  • All magazines
    •