logoNewsNewestAskShowJobs Open on GitHub - (Updated The Title)
< prev1 / 10 more >
  • 60Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
    by vitalnodo1 hour ago | 3 comments
  • 175Marko – A declarative, HTML‑based language (markojs.com)
    by ulrischa6 hours ago | 21 comments
  • 109WriterdeckOS (writerdeckos.com)
    by surprisetalk5 hours ago | 24 comments
  • 283Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
    by pseudolus10 hours ago | 28 comments
  • 66Largest Cargo Sailboat Completes Historic First Atlantic Crossing (marineinsight.com)
    by defrost4 hours ago | 9 comments
  • 75Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
    by SchwKatze5 days ago | 2 comments
  • 42What Hallucinogens Will Make You See (2023) (nautil.us)
    by simonebrunozzi3 hours ago | 14 comments
  • 14Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
    by todsacerdoti2 hours ago | 0 comments
  • 101Avería: The Average Font (2011) (iotic.com)
    by JoshTriplett5 hours ago | 9 comments
  • 36Open-source communications by bouncing signals off the Moon (open.space)
    by fortran776 days ago | 4 comments
< prev1 / 10 more >