Lightnews — Scholar-powered news

verdverm

@verdverm.com

780 followers 600 following 2.8K posts

dev & entrepreneur interested in atproto, cuelang, machine learning, developer experience, combating misinformation working on https://blebbit.app | @blebbit.app | #blebbit personal: https://verdverm.com | https://github.com/verdverm

blebbit.app

Posts Media Videos Starter Packs

Pinned

verdverm @verdverm.com · 15d

"public" or "private" @bsky.app, depending on how you want to slice that cake 🍰

This "permissioned spaces" example use case is Bluesky as it is today on @atproto.com, but in a space where you can enforce more permissions over your content, like only logged in accounts can read

#atdev #atprotodev

screenshot of CUE configuration for a permissioned spaces test use case that creates the equivalent of Bluesky on a permissioned space

2 22

verdverm @verdverm.com · 15h

Another challenge is conditionally required fields, like

if A, then B is required
else if C, then D and E are required

verdverm @verdverm.com · 15h

key!: value

the first one looks like boolean logic

the second, does it matter what position the ! is in?

verdverm @verdverm.com · 15h

Do you think more change happens because of communication on big social or in individual/small group comms?

Is the answer the same or different if we talk about absolute and relative effect?

verdverm @verdverm.com · 15h

If you want a good mind bender, look no further than
cuelang.org/docs/concept...

The Logic of CUE

Learn about CUE's theoretical basis and what makes it different.

cuelang.org

verdverm @verdverm.com · 15h

that's actually the CUE way lol, the opposite is &, but has a different meaning than maybe you are looking for?

closedness is more complex in CUE, or at least when you move beyond unions (lists of options). Like what does it mean for part of a struct to be closed, what happens through composition?

1 2

verdverm @verdverm.com · 15h

CUE is really well thought out based on years of experience building config/schema/data systems at Google and working with the community since exfiltrating

verdverm @verdverm.com · 15h

> you also need diminishing returns to more inference

This is where it breaks down for me. I would be doing a lot more today if things were cheaper / faster. I find it highly unlikely we will get cpu only models that come close, like there are upper limits, there are lower limits too

1 1

verdverm @verdverm.com · 15h

Simpson "so far" meme with "This is about as authoritarian as it gets"

verdverm @verdverm.com · 16h

CUE has moved from ? indicating optional to ! indicating required, with the default under no specifier being the opposite of each

1 8

verdverm @verdverm.com · 16h

Kathryn is not a real lawyer afaict, so take that thread with a grain of salt too

verdverm @verdverm.com · 16h

yeah, if I think I found the one you are talking about, I'm not surprised to find takes like that one

tl;dr CommonPaper is a good foundation and this kind of thing will get better over time. Anyone not having an actual lawyers review legal docs they get from the internet deserves what comes of it

1 1

verdverm @verdverm.com · 16h

that's replacement or alternatives, which is what the AIs / LLMs are

what's going to replace them?

verdverm @verdverm.com · 18h

Pritzker needs to publish a Project 2029 because it sure seems like he's making early moves for 2028 🎉

verdverm @verdverm.com · 18h

are there any examples in history where

1. thing got better
2. prices went down
3. demand went down

By my logic, demand should go up based on 1&2

anecdotally, I would do a LOT more if prices were lower and outcomes were better

1 1

verdverm @verdverm.com · 18h

It was a video from Gaza he saw

verdverm @verdverm.com · 18h

isportlandburning.com

Is Portland Burning?

No. See real-time Portland cameras, PulsePoint incidents, and sourced fact checks.

isportlandburning.com

verdverm @verdverm.com · 19h

they do this because moderation is expensive, nasty, soul-crushing work

@bsky.app, to their credit, does not stop other developers from "leeching" their resources through reuse, in order to support small developers in the ecosystem (atmosphere)

verdverm @verdverm.com · 19h

One other thing to note about @atproto.com, moderation, and the plug-n-play distributed system is that

(1) it makes it easier for "alternative" apps to be created because you only have to do the app part

(2) most of the apps reuse bsky posts for their own, a major reason being moderation

1 2

verdverm @verdverm.com · 19h

@rude1.blacksky.team's blackskyweb.xyz is pretty close to a Bsky free alternative, but they too have been subject to some moderation events out of their control which sounds like it's pushing them to address the remaining dependencies

Build Community Online with Decentralized Tools | Blacksky

Decentralized tools to build community online. The intercommunal net where communities govern, pool funds and stay safe on their own terms.

blackskyweb.xyz

1 1

verdverm @verdverm.com · 19h

A good overview of all the parts anyone can participate in is here: atproto.com/articles/atp...

Also, bsky engineers need to be more mindful of how they are responding in comments and the language they use. They've been racking up the bad PR moments a LOT lately

ATProto for distributed systems engineers - AT Protocol

AT Protocol is the tech developed at Bluesky for open social networking. In this article we're going to explore AT Proto from the perspective of distributed backend engineering.

atproto.com

1 1

verdverm @verdverm.com · 19h

you can run much of the system yourself, and you can run just one part of it that covers something you care about.

A good first step is moving off from the Bsky PDS, something someone who can run some basic commands in the terminal can do. Or click some buttons here: railway.com/deploy/xBNJ1u

Deploy Bluesky PDS

Deploy Bluesky PDS on Railway with one click, start for free. Bluesky PDS (Personal Data Server)

railway.com

1 2

verdverm @verdverm.com · 21h

newsroom.haas.berkeley.edu/news-release...

Snippet from the section "A ‘culture-wide, statistical distortion of reality’"

highlighted is the passage “One concern people might have is that images and videos are kind of unique in that people can wear makeup or apply filters, using image-specific strategies to make themselves look younger,” Delecourt says. “That’s why we also looked at text, and we found exactly the same pattern.”

Reposted by verdverm

funferall @funferall.bsky.social · 21h

New meaning of "talk to my agent"

1 3

verdverm @verdverm.com · 21h

I in turn fed all of that back to Gemini with various prompts, losing half a day to this very interesting rabbit hole 🐿️

One of the lines was something like "using ai tools for rhetorical expertise, in what people think is human-to-human convo, is like bringing a gun to a knife fight"

2 4

verdverm @verdverm.com · 21h

had someone take one of my threads and feed it into an ai to "analyze rhetorical tactics" to affirm their feelings about the debate, and then posted the output back to the thread!

To Gemini's credit, this person had to use a follow up prompt to really engage the sycophancy

1 2