EUNO.NEWS EUNO.NEWS
  • All (21181) +146
  • AI (3169) +10
  • DevOps (940) +5
  • Software (11185) +102
  • IT (5838) +28
  • Education (48)
  • Notice
  • All (21181) +146
    • AI (3169) +10
    • DevOps (940) +5
    • Software (11185) +102
    • IT (5838) +28
    • Education (48)
  • Notice
  • All (21181) +146
  • AI (3169) +10
  • DevOps (940) +5
  • Software (11185) +102
  • IT (5838) +28
  • Education (48)
  • Notice
Sources Tags Search
한국어 English 中文
  • 2 weeks ago · software

    Proving Liveness with TLA

    Article URL: https://roscidus.com/blog/blog/2026/01/01/tla-liveness/ Comments URL: https://news.ycombinator.com/item?id=46471699 Points: 9 Comments: 0...

    #TLA+ #formal verification #liveness properties #temporal logic #model checking #concurrency #specification
  • 1 month ago · software

    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 component only when you ca...

    #TLA+ #formal verification #model checking #specification #abstraction #software modeling
  • 1 month ago · software

    Should CSS be a constraint system instead?

    CSS is hard. The layout rules are quite complex and hard to pick up just from examples. Something like “centering a ” is, like, famously a problem. Or remember...

    #CSS #layout #constraint system #web design #front‑end development #specification #responsive design
EUNO.NEWS
RSS GitHub © 2026