What happens when you twist your lens' focus ring while shooting long exposures of fireworks
I've read many requests to add Mastodon links to GitHub profiles for verification and discovery purposes.
My team is working on allowing you to add a number of social profile links, but given upcoming holiday vacations, it won't ship until the new year. We don't want to rush something out at the potential cost of disrupting what is generally a quiet time for our engineers.
Ordinarily, I wouldn't talk about in progress work on social media, but y'all seem like you can keep a secret.
Faial checks for absence of #dataraces in #CUDA kernels. New since our #CAV21 version is:
- a new frontend all written in OCaml (no more Python+Rust) we also have a new UI (sshot below)
- a new backend (invoke #Z3 as a library, as a process)
- support for partial inputs (eg, missing includes)
My intent to have a bit of a codebase written in Python was to attract students. Turns out interested students are excited to learn #OCaml.
One of the journalists Twitter banned found out that you can still join Twitter Spaces from a banned account. So, a bunch of the banned journalists were hosting a Twitter Space discussing Elon's actions. Eventually, Elon himself joined the Space, then after getting grilled for a few minutes, unplugged the entire Twitter Spaces infrastructure because he couldn't figure out how to ban them ☠️
We’re hosting a GAME JAM with a $2500 prize on itch.io for creators, starting Jan 1 2023!
Theme: NYC (we’ll provide New York City as a customizable game environment, for free!)
Deadline: Jan 31, 2023
Prize: $2500
More info: itch.io/jam/new-york-new-york
#gamejam #indiegamedev #itchio #gamedev #indiegames #digitaltwin #nyc
@mmasnick random question but is there anyway to make techdirt respect a device’s dark mode settings?
meta, activism talk
@malcircuit And of course people are going to use Mastodon/the fediverse for incompatible reasons - that’s one of the selling points. It’s not a single platform, it’s a federation of platforms who interconnect as much or as little as their users want to.
@Popehat@mastodon.social there also appears to be a "you" @Popehat@counter.social ? May be worth adding the "green check" verification code on one or more of your sites.
Refugees in Libya (@refugeesinlibya), who've been abandoned by the gaslighting organization that is the UNHCR, and the EU's funding of criminals to deter refugees by any means necessary, have a 2 day campaign. The only reason I've followed their unbelievable plight is because of their voice on Twitter. They've created an account on Mastodon so I suggest everyone follows them here so that we can amplify their voices once they catch their breath & setup a presence here.
co-Founder // Chief Science Officer at @geopipe (🖖🏻), PhD from Brown CS Dept (w/ @maurice), SMCVT alum (Math/Physics/CS), admin at Cemetech, AFOL & open-theist.
Decentralizing systems (human & digital). Opinions are my own.
📍 Vermont