Discussion
Loading...

#Tag

Log in
  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
dansup
dansup
@dansup@mastodon.social  ·  activity timestamp last week

Blocking someone should remove their replies from your posts, this is the type of safety features we need in the Fediverse!

Vivekanandan KS :nixos:
Vivekanandan KS :nixos:
@vivekanandanks@mstdn.social  ·  activity timestamp 6 days ago

@dansup
It'll make people do some authoritarian behaviour. I think the best thing is to put those under a content warning as "OP blocked user" or something like that. This will make things transparent.
And in client side one can choose to not see such warning posts in their feed. This will be a better suggestion IMO.
#fediverse #mastodon #block #policies #relays #methods #safety #fedi #federatedtimeline #Federation #moderation #practices

  • Copy link
  • Flag this comment
  • Block
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp last month

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

https://www.lesswrong.com/posts/rhAPh3YzhPoBNpgHg/lies-damned-lies-and-proofs-formal-methods-are-not-slopless

#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology

Lies, Damned Lies, and Proofs: Formal Methods are not Slopless — LessWrong

There's been a lot of chatter recently on HN and elsewhere about how formal verification is the obvious use-case for AI. While we broadly agree, we think much of the discourse is kinda wrong because it incorrectly presumes formal = slopless.
  • Copy link
  • Flag this post
  • Block
Randahl Fink boosted
xs4me2
xs4me2
@xs4me2@mastodon.social  ·  activity timestamp 2 months ago

https://youtu.be/jLwHQIiL6gU?si=Q1RXzy0BXSbFu8-2

Excellent explanation on fascism, Donald J. Trump and his fascist methods...

By Randahl Fink:

"Every move Trump made to consolidate power in 2025 reminded me of something I have seen before. So I decided to investigate the historic parallels, and what I found will shock you. In this video I explain how meticulously Trump has copied the fascist playbook, and I show you why Trump will ultimately fail."

@randahl

#trump #fascism #usa #methods

  • Copy link
  • Flag this post
  • Block
xs4me2
xs4me2
@xs4me2@mastodon.social  ·  activity timestamp 2 months ago

https://youtu.be/jLwHQIiL6gU?si=Q1RXzy0BXSbFu8-2

Excellent explanation on fascism, Donald J. Trump and his fascist methods...

By Randahl Fink:

"Every move Trump made to consolidate power in 2025 reminded me of something I have seen before. So I decided to investigate the historic parallels, and what I found will shock you. In this video I explain how meticulously Trump has copied the fascist playbook, and I show you why Trump will ultimately fail."

@randahl

#trump #fascism #usa #methods

  • Copy link
  • Flag this post
  • Block
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 2 months ago

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html

#HackerNews #TLA+ #Modeling #Tips #TLA+ #Modeling #Software #Formal #Methods #Software #Engineering #System #Design

TLA+ modeling tips

Model minimalistically Start from a tiny core, and always keep a working model as you extend. Your default should be omission. Add a compone...
  • Copy link
  • Flag this post
  • Block
tools for commensality 🧿
tools for commensality 🧿
@inquiline@assemblag.es  ·  activity timestamp 3 months ago

I've asked a version of this question before, maybe, but here goes: favorite work that either discusses interpretive orientation as method/orientation, or is e.g. of interpretive scholarship that also reflects on interpretive aspect? Article or chapter length preferred. Thanks!

#NotSureHowToHashtagThis #STS #methods

  • Copy link
  • Flag this post
  • Block

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances
Bonfire social · 1.0.2-alpha.34 no JS en
Automatic federation enabled
Log in
Instance logo
  • Explore
  • About
  • Members
  • Code of Conduct