< prev1 / 10 more >

• 129Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo3 hours ago | 5 comments
• 212Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa8 hours ago | 25 comments
• 128Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost6 hours ago | 14 comments
• 311Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus12 hours ago | 29 comments
• 40Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  by todsacerdoti4 hours ago | 0 comments
• 129WriterdeckOS (writerdeckos.com)
  by surprisetalk8 hours ago | 28 comments
• 103Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze5 days ago | 2 comments
• 61Open-source communications by bouncing signals off the Moon (open.space)
  by fortran776 days ago | 5 comments
• 126Avería: The Average Font (2011) (iotic.com)
  by JoshTriplett7 hours ago | 13 comments
• 184IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com)
  by pinkahd4 hours ago | 39 comments

< prev1 / 10 more >