Technology

526 posts in this topic

RSS All Topics Community
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

Community post

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

Saint Lucie Nuclear Power Plant Unit 1 was manually shut down Aug. 13 after 3 control rods dropped into the core. The NRC classified it as a non-emergency.

1 min read W WebNovare Imports

Saint Lucie Nuclear Power Plant Unit 1 was manually shut down Aug. 13 after 3 control rods dropped into the core. The NRC classified it as a non-emergency. Source: wptv.com (149 points, 108 comments) Hacker News discussion

The Case Against Formal Verification, 50 Years Later

Community post

The Case Against Formal Verification, 50 Years Later

Engineers are getting excited about software verification! This may come as a surprise, since verification has long been considered useful only in very niche cases (at best; and impractical, useless or a complete waste of time at worst). Yet, the hype around it is clearly here: Google Trends shows a large spike in searches for formal verification/formal methods in the last two years, everybody’s learning Lean, new specification languages are popping up regularly, and there are efforts to verify major applications end-to-end (e.g., the Signal Shot project).

1 min read W WebNovare Imports

Engineers are getting excited about software verification! This may come as a surprise, since verification has long been considered useful only in very niche cases (at best; and impractical, useless or a complete waste of time at worst). Yet, the hype around...

Clamiga: Common Lisp for the Amiga

Community post

Clamiga: Common Lisp for the Amiga

After the ACE BASIC posts of the last months, this one is about a different project I have been working on for the last half year: CL-Amiga, or Clamiga for short. It is a Common Lisp implementation built for the Amiga family -- classic AmigaOS 3 on 68k and MorphOS as a fully native PPC build, AROS and AmigaOS 4 maybe to come -- but it also runs on macOS (I use it as my main Common Lisp impl here where most of the development happens) and Linux.

1 min read W WebNovare Imports

After the ACE BASIC posts of the last months, this one is about a different project I have been working on for the last half year: CL-Amiga, or Clamiga for short. It is a Common Lisp implementation built for the Amiga family -- classic AmigaOS 3 on 68k and...

Anton Chekhov played at love most of his life

Community post

Anton Chekhov played at love most of his life

What to call this Anton Chekhov, whom I first encountered in 1988? The Master, perhaps—of vision, decency, modesty, and industry, and, one might hope, in the old game of love.

1 min read W WebNovare Imports

What to call this Anton Chekhov, whom I first encountered in 1988? The Master, perhaps—of vision, decency, modesty, and industry, and, one might hope, in the old game of love. Source: wustl.edu (56 points, 10 comments) Hacker News discussion

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

Community post

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

The Digi-Comp I, a plastic mechanical computer from 1963. This is episode 96 of my video series about old scientific and calculating instruments.This video w...

1 min read W WebNovare Imports

The Digi-Comp I, a plastic mechanical computer from 1963. This is episode 96 of my video series about old scientific and calculating instruments.This video w... Source: youtube.com (44 points, 10 comments) Hacker News discussion