Trending tags: ai  github.com  rust  health  psychology  trump  arstechnica.com  psypost.org  show  go  vibecoding  environment  neuroscience  apple  game  security  javascript  java  nature.com  tesla 

Co-Developing Programs and Their Proof of Correctness

15 months ago cacm.acm.org formalmethods

Related Stories

Small Programs and Languages

17 hours ago ratfactor.com

Proof of concept - Linux distro with Go

3 days ago reddit.com go linux

Formalizing a proof in lean using GitHub Copilot and canonical

2 days ago youtu.be github vibecoding video

Anthropic co-founder on cutting access to Windsurf

35 hours ago techcrunch.com ai

C.S. Lewis on writing (programs)

18 hours ago reddit.com go

C.S. Lewis on writing (programs)

15 hours ago go-monk.beehiiv.com

The strange tale of ischhfd83: When cybercriminals eat their own

2 days ago news.sophos.com reversing security

A maths proof that is only true in Japan

23 hours ago newscientist.com japan

Pornhub, YouPorn and RedTube to block their sites in France starting Wednesday

3 days ago lemonde.fr

[DISCUSSION] All digital data in existence will be destroyed and you have 1MB of storage to preserve, what programs/data would you choose to preserve?

21 hours ago reddit.com

A lightweight utility for training multiple Keras models in parallel and comparing their final loss and last-epoch time.

44 hours ago github.com

Phoenix Template Engine - An open-source template engine for Spring which I've been developing for some time

2 days ago reddit.com java

Young adults who feel excluded because of their political identity are more likely to experience anger and less willing to engage with people from the opposing political side…

5 days ago doi.org psychology

Sensory issues in autism may stem from co-occurring emotional blindness, not autism itself, finds a twin study

20 hours ago psypost.org autism neuroscience

JFK files expose family secrets: Their relatives were CIA assets

5 days ago washingtonpost.com cia

Ask HN: How are parents who program teaching their kids today?

5 days ago news.ycombinator.com ask

Data centers are building their own gas power plants in Texas

43 hours ago texastribune.org texas

Doctors Were Preparing to Remove Their Organs. Then They Woke Up.

16 hours ago nytimes.com

Lawmakers Vote To Stop NYPD's Attempt To Encrypt Their Radios

12 hours ago nypost.com

UBI and the Environmental Cost of Overemployment

3 days ago greshm.org

Engagement = % of Humanity's Time Hijacked and Wasted

5 days ago news.ycombinator.com

The Unreliability of LLMs and What Lies Ahead

4 days ago verissimo.substack.com llm

Asking for advise on my project and the usage of TCP and Goroutines

16 hours ago reddit.com go

A study identified evidence of "use of psychoactive plants in institutionalized ritual in the first millennium BCE, demonstrating that even in their early stages, sociopolitically complex societies incorporated psychoactive plants into ritual activity."

4 days ago pnas.org anthropology

Having a mix of tea, berries, apples, and grapes every day may lower your risk of chronic disease and early death

4 days ago scimex.org disease health

Sexual Violence against Children and Teenagers – 20 percent of women and 5 percent of men report being sexually harrassed in youth

3 days ago aerzteblatt.de

IE6, AI, and the future of browsing the Web

4 days ago agenticweb.substack.com ai web

out of cash - DOS point and click adventure game

3 days ago github.com game

Study shows that the risk of adolescents self-harming increases if they experience their parents yelling or being negative or hostile toward them from an early age

37 hours ago norwegianscitechnews.com

Six decades of data on North Atlantic phytoplankton reveal that their biomass has decreased up to 2% annually across most of the Atlantic Ocean, with potentially widespread implications for the wider food web under climate change.

2 days ago journals.plos.org environment web