< prev 4 / 10 more >

• 150λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)
  by ux2664784 days ago | 14 comments
• 13Five security lessons from the FBI's Washington Post raid (freedom.press)
  by ColinWright2 hours ago | 0 comments
• 30Show HN: Tag Promptless on any GitHub PR/Issue to get updated user-facing docs
  by prithvi22069 hours ago | 2 comments
• 35Show HN: Chaos Monkey but for Audio Video Testing (WebRTC and UDP) (github.com)
  by MdSadiqMd1 day ago | 4 comments
• 15Dream Recorder AI – a portal to your subconscious (dreamrecorder.ai)
  by level874 hours ago | 6 comments
• 64Extending C with Prolog (1994) (amzi.com)
  by Antibabelic2 days ago | 10 comments
• 156A distributed queue in a single JSON file on object storage (turbopuffer.com)
  by Sirupsen3 days ago | 20 comments
• 5Agents.md file isn't the problem. Your lack of Evals is (tessl.io)
  by sjmaplesec2 hours ago | 0 comments
• 330Goodbye InnerHTML, Hello SetHTML: Stronger XSS Protection in Firefox 148 (hacks.mozilla.org)
  by todsacerdoti14 hours ago | 22 comments
• 138Looks like it is happening (math.columbia.edu)
  by jjgreen5 hours ago | 28 comments

< prev 4 / 10 more >