Discussion
Loading...

#Tag

Log in
  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 4 hours ago

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 weeks 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 weeks 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 last month

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 2 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.1-beta.35 no JS en
Automatic federation enabled
Log in
  • Explore
  • About
  • Members
  • Code of Conduct