Keeping Up with Dependency Updates (dhruvs.space)

1 points by dhth 1m ago 1 comments

Implementing dependent types in pi-forall (2023) (arxiv.org)

1 points by fanf2 3m ago 0 comments

The first cut is to ResearchOps, and how to avoid it (medium.com)

1 points by adrianhoward 5m ago 0 comments

Not Yet (anandsanwal.me)

1 points by herbertl 5m ago 0 comments

Trump Organization announces mobile plan, $499 smartphone (cnbc.com)

4 points by srueg 7m ago 1 comments

Mozilla frets about Google's push to build AI into Chrome (theregister.com)

1 points by Vinnl 9m ago 0 comments

Trump Mobile Launches a Bold New Wireless Service for Americans (trump.com)

2 points by TowerTall 11m ago 2 comments

How the first electric grid was built (worksinprogress.news)

3 points by bensouthwood 11m ago 0 comments

Securing Microservices with C# Records: The Immutability Advantage (medium.com)

1 points by herbertmoroni 11m ago 0 comments

How to build the best keyboard in the world (theverge.com)

1 points by cainxinth 12m ago 0 comments

New York Requiring Companies to Reveal If AI Caused Layoffs (entrepreneur.com)

2 points by speckx 14m ago 0 comments

Objex Link S3LW ultra-low-power ESP32-S3 LoRaWAN board takes up to 100W DC input (cnx-software.com)

2 points by PaulHoule 15m ago 1 comments

AI Supercomputers (epoch.ai)

1 points by gmays 18m ago 0 comments

Ceramic optical diamond turning machine: design and development 1999 [pdf] (pure.tue.nl)

1 points by nill0 18m ago 0 comments

The Model Context Protocol (MCP) (youtube.com)

1 points by Brysonbw 19m ago 0 comments

WhatsApp adds ads to the status screen (techcrunch.com)

3 points by chiwilliams 19m ago 2 comments

Show HN: Pipo360 – Now a Full Dev Workspace (Was Just AI Back End Gen Before) (pipo360.xyz)

1 points by the_plug 21m ago 1 comments

Class Action: Drivers Sour on Lemonade for Exposing License Numbers (insurancejournal.com)

1 points by crescit_eundo 22m ago 0 comments

GoTo Group migrates digital payments unit to Alibaba Cloud (datacenterdynamics.com)

1 points by nanankcornering 22m ago 1 comments

Erie Insurance Reports 'Information Security Event' Caused Network Outage (insurancejournal.com)

1 points by crescit_eundo 22m ago 0 comments

Show HN: I built a social task app that lets users post task progress (questmatesapp.com)

1 points by newToTown 24m ago 1 comments

A map, a myth and a pre-Incan lagoon: the man who brought water back (theguardian.com)

1 points by dxs 25m ago 0 comments

Introduction to Bash (cs.lmu.edu)

1 points by Brysonbw 26m ago 0 comments

Show HN: Ariana – Check what (AI generated) code did at runtime with 0 effort

1 points by anougaret 27m ago 0 comments

21 Day Experiment #2 – No Sugar (rory.codes)

2 points by mrroryflint 30m ago 0 comments

DOGE's Chaotic Takeover of Social Security (nytimes.com)

3 points by danso 30m ago 1 comments

Mathematical Illustrations: A Manual of Geometry and PostScript (personal.math.ubc.ca)

3 points by Bogdanp 30m ago 0 comments

Show HN: Instantly see job and skill demand trends across industries -Rolemetric (rolemetric.com)

1 points by davidjbabs 32m ago 0 comments

Software Is Made of People (june.kim)

1 points by fside 33m ago 0 comments

Slint 1.12 Released with WGPU Support, iOS Port, and Figma Variables Integration (slint.dev)

2 points by madnirua 34m ago 2 comments

The Herbicide Diquat Poisons the Gut, Leading to Multiple Organ Dysfunction (thehighwire.com)

6 points by rachkovsky 35m ago 0 comments

Apple On-Device OpenAI API (github.com)

1 points by fside 35m ago 0 comments

Vera C. Rubin Observatory First Look Watch Parties (rubinobservatory.org)

1 points by dylan604 36m ago 0 comments

Probiotics Slow Spread of Deadly Disease Decimating Caribbean Reefs (si.edu)

1 points by gmays 39m ago 0 comments

AI alone cannot solve the productivity puzzle (ft.com)

3 points by thm 39m ago 3 comments

Show HN: I built a tool that generates SaaS ideas from real pain points (startupidealab.io)

2 points by wasayybuildz 40m ago 0 comments

WhatsApp to start showing more adverts in messaging app (bbc.com)

4 points by bishopsmother 41m ago 3 comments

The subtle art of the Dad Text (nytimes.com)

1 points by the_arun 41m ago 1 comments

Six Tools for Tracking the Administration's Attacks on Civil Liberties (wired.com)

2 points by beardyw 42m ago 0 comments

Lessons from 9 More Years of Tricky Bugs (henrikwarne.com)

1 points by henrik_w 43m ago 0 comments

Continuations on Transformation-Based Learning (elijahpotter.dev)

1 points by chilipepperhott 44m ago 0 comments

The (Other) Golden Circle (letterstome.cc)

1 points by wiljr 45m ago 0 comments

An Update from Dark0ne (nexusmods.com)

2 points by __failbit 46m ago 0 comments

Salesforce study finds LLM agents flunk CRM and confidentiality tests (theregister.com)

12 points by rntn 46m ago 4 comments

Why did Untether AI fail? (zach.be)

1 points by hasheddan 48m ago 0 comments

In-memory Semantic caching for LLMs written in Rust (github.com)

1 points by louiscb 49m ago 0 comments

how netflix killed dvds + dominated streaming (softwarecentury.com)

2 points by mikutothe 49m ago 0 comments

Founder of 23andMe buys back company out of bankruptcy auction (arstechnica.com)

3 points by LorenDB 50m ago 1 comments

Humans Age Faster at 2 Specific Times in Their Life, Study Finds (sciencealert.com)

1 points by bongoman42 51m ago 1 comments

Discord Considered Harmful (alicegg.tech)

6 points by zer0tonin 51m ago 2 comments

What is cosh(List(Bool))? Or beyond algebra: analysis of data types

3 fanf2 0 6/16/2025, 8:42:04 AM cofault.com ↗

Comments (0)

No comments yet