1. Bluesky Feeds /
  2. Endless Forms /
  3. Hello, world!

Feeds Stats

  • 💙 Liked by 0 users
  • 📅 Updated 10 months ago
  • ⚙️ Provider skyfeed.me

Hello, world! Likes over time

Like count prediction
The feed Hello, world! has not gained any likes in the last month.

Feed Preview for Hello, world!

Mike Masnick
@mmasnick.bsky.social
8 minutes ago
Looks like you're just on one list. Might just be that some people blocked you for whatever reason they chose to do so. It happens.
1
0
0
dan
@danabra.mov
10 minutes ago
tbh i've come to "not completely hate" the nuclear block. but i wish it turned stuff into "hidden replies" (deprioritized) or something like that. a public conversation belongs to more than the op and the replier, breaking everyone else's navigation is cumulatively antisocial
1
0
11
dan
@danabra.mov
18 minutes ago
it might be just me but i think even in pure fp, you don't "really" know what the program does until you actually run it. e.g. you might have a wrong algorithm that produces wrong data that happens to typecheck but actually exhibits a bug.
1
0
1
Mike Masnick
@mmasnick.bsky.social
18 minutes ago
Sure it does, but on the list of laws he's violating, that one's pretty far down the list in priorities.
3
0
31
Mike Masnick
@mmasnick.bsky.social
19 minutes ago
He reposted it fixing typose
0
0
3
Mike Masnick
@mmasnick.bsky.social
20 minutes ago
nothing is impossible, matt
1
1
2
Mike Masnick
@mmasnick.bsky.social
44 minutes ago
You know about US vs. Bagdasarian? cdn.ca9.uscourts.gov/data….

cdn.ca9.uscourts.gov

0
0
0
Mike Masnick
@mmasnick.bsky.social
about 2 hours ago
(If you're wondering, Newsom's tweet was actually about him signing a law banning facial coverings for law enforcement in California, a bill that Noem begged him not to sign. It was not a "threat" in any manner whatsoever).
9
40
549
Mike Masnick
@mmasnick.bsky.social
about 2 hours ago
Hey, @kenwhite.bsky.social, do you have any feedback for the acting US Attorney in the Central District about what "true threats" means?
Acting US Attorney Bill Essayli quote tweeting a tweet from Newsom's press office.

The Newsome tweet reads: "Kristi Noem is going to have a bad day today. 

You’re welcome, America."

Essayli's response: "We have zero tolerance for direct or implicit threats against government officials. I've referred this matter to 
@SecretService
 and requested a full threat assessment."
22
78
684
dan
@danabra.mov
about 2 hours ago
wrote a bit about how proof engineering feels different from software engineering to me news.ycombinator.com/item…. i am definitely still in my honeymoon period but i found it helpful to write down
There indeed can be a gap between “it works in my head” and convincing the machine to do it, and sometimes the gap is wide. For example, type-theoretic way of looking a things (as customary in Lean) might not match the idioms in the paper proof, or some crucial lemmas known to be true might have never been formalized. Or the tactics to prove some piece are getting too slow. Or you got the definitions wrong or they’re annoying to deal with. So that is its own set of difficulties.
Even with that, the nature of difficulties feels different from much of software work to me. In software, I find that “divide and conquer” rarely works and I need to “grow” the program from a primitive version to a more sophisticated one. But in proofs, “divide and conquer” actually sort of works — you gain some assurances from making a high-level proof with holes in the middle, then filling in those holes with more intermediate steps, and so on. You can actually work “top down” to a meaningful extent more than in software.
To put it another way, with proofs, you can work top-down and bottom-up at the same time, making real progress while a bunch of steps are stubbed out. In programming, “stubbing out” non-trivial parts of the program is often annoying or impossible, and you can only make progress on a smaller (but complete) piece of it, or a less ambitious (but still complete) piece of it. This is because you can’t run an incomplete program, and there’s a set of knowledge you only gain from running it. But you absolutely can check an incomplete proof, with arbitrary granularity of incompleteness.
2
2
12
Samuel
@samuel.bsky.team
about 2 hours ago
I really can’t speak because the bsky.app one is awful
1
0
1
Mike Masnick
@mmasnick.bsky.social
about 3 hours ago
Also, remember that at this time the administration is targeting a ton of perceived enemies because they may have made a misstatement (or maybe didn't really) on a mortgage application to no actual benefit. “For my friends everything, for my enemies the law”

Tom Homan was investigated for accepting $50,000 from undercover FBI agents. Trump's DOJ shut it down. www.msnbc.com/msnbc/news/t...

www.msnbc.com

5
118
507
Samuel
@samuel.bsky.team
about 3 hours ago
please. my layout. she’s very shift
1
0
1
Mike Masnick
@mmasnick.bsky.social
about 3 hours ago
Yeah, now that we've had some time to think about it...
0
0
3
Samuel
@samuel.bsky.team
about 3 hours ago
funny how despite being way flashier than a simple gaussian blur, it’s actually a pretty “cheap” effect
0
0
0
Mike Masnick
@mmasnick.bsky.social
about 3 hours ago
My spatula has a DID
4
0
15
Mike Masnick
@mmasnick.bsky.social
about 3 hours ago
Define guardrails that are not (1) unconstitutional censorship or (2) clears the market of upstarts because only the biggest players can do compliance?
0
0
6
Mike Masnick
@mmasnick.bsky.social
about 3 hours ago
The problem is I never think to look for the pizza cutter there, even though that's where it is.
3
0
12