• Readsy

Top Stories from Hacker News

Adding a feature because ChatGPT incorrectly thinks it exists

871 points

314 comments

discussionsource

Mercury: Ultra-fast language models based on diffusion

Abstract page for arXiv paper 2506.17298: Mercury: Ultra-Fast Language Models Based on Diffusion

451 points

195 comments

discussionsource

# [derive(Clone)] Is Broken

Not just `#[derive(Clone)]`, but all of the standard trait derives are

59 points

26 comments

discussionsource

Show HN: NYC Subway Simulator and Route Designer

157 points

18 comments

discussionsource

The Two Towers MUD

90 points

51 comments

discussionsource

Epanet-JS

Celebrating a little bit of legacy from Placemark and a new product for hydraulic simulation

75 points

6 comments

discussionsource

I used o3 to profile myself from my saved Pocket links

Welp, Pocket shuts down tomorrow despite our pleas for it to stay. While migrating1 all of my saved articles, I noticed that I’ve got almost 900 saved articles spanning nearly 7 years. That’s a goldmine of stuff-I-like data! Some quick analysis using xsv2: 𝄢 unzip pocket.zip && xsv headers part_000000.csv 1 title 2 url 3 time_added 4 tags 5 status 𝄢 xsv sample 1 part_000000.csv | xsv flatten title The Uncertain Future of American Libraries url https://mek.

376 points

143 comments

discussionsource

My first verified imperative program

One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a first look at this feature, show a simple example of what it can do, and compare it to similar tools.,One of the many exciting new features in the upcoming Lean 4.22 release is apreview of the new verification infrastructure for proving properties of imperativeprograms. In this post, I’ll take a first look at this feature, show a simpleexample of what it can do, and compare it to similar tools.

147 points

68 comments

discussionsource

CU Randomness Beacon

Generate random values extracted from quantum correlations in a way that can be verified by anyone.

26 points

5 comments

discussionsource

What is going on in Unix with errno's limited nature

36 points

14 comments

discussionsource

What Microchip doesn't (officially) tell you about the VSC8512

95 points

16 comments

discussionsource

When Figma starts designing us

The subtle ways in which design tools shape how we think and what we make

244 points

109 comments

discussionsource

The Miyawaki Method of micro-forestry

The Miyawaki Method of micro-forestry is a viral sensation: sprouting tiny, dense, native tree cover in neighbourhoods all around the world. With the promise of afforestation at a revolutionary speed, this planting technique has become the darling of green-space enthusiasts, industry, and government,The Miyawaki Method of micro-forestry is a viral sensation: sprouting tiny, dense, native tree cover in neighbourhoods all around the world. With the promise of afforestation at a revolutionary speed, this planting technique has become the darling of green-space enthusiasts, industry, and governments alike —yet few professional or academic ecologists have commented on its efficacy, or even seem to have heard of it! In this episode, we deba

145 points

28 comments

discussionsource

LookingGlass: Generative Anamorphoses via Laplacian Pyramid Warping

77 points

14 comments

discussionsource

ChatGPT testing a mysterious new feature called 'study together'

The mode is apparently the chatbot's way of becoming a better educational tool. Rather than providing answers to prompts, some say it asks more questions and requires the human to answer.

11 points

2 comments

discussionsource

New sphere-packing record stems from an unexpected source

After just a few months of work, a complete newcomer to the world of sphere packing has solved one of its biggest open problems.

314 points

140 comments

discussionsource

The chemical secrets that help keep honey fresh for so long

Honey is a natural sweetener, and bacteria loves to feast on sugar. But honey is remarkably resistant to spoilage. What's behind its ability to beat the bugs?

139 points

71 comments

discussionsource

Why are there no good dinosaur films?

running on jurassic park's fumes for over 30 years

94 points

209 comments

discussionsource

François Chollet: The Arc Prize and How We Get to AGI [video]

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

188 points

164 comments

discussionsource

On this day

Israel launches an offensive on Gaza amid rising tensions following the kidnapping and murder of three Israeli teenagers.

2014

view article

The Brazil national football team suffers its joint-worst defeat, losing 7-1 to Germany in the semi-finals of the 2014 FIFA World Cup, in a match dubbed the Mineirazo.

2014

view article

Space Shuttle Atlantis is launched in the final mission of the U.S. Space Shuttle program.

2011

view article

Sudan Airways Flight 139 crashes near Port Sudan Airport during an emergency landing attempt, killing 116 of the 117 people on board.

2003

view article

Kim Jong Il begins to assume supreme leadership of North Korea upon the death of his father, Kim Il Sung.

1994

view article

Space Shuttle Columbia is launched on an international science mission.

1994

view article

The Island Express train travelling from Bangalore to Kanyakumari derails on the Peruman bridge and falls into Ashtamudi Lake, Kerala in India killing 105 passengers and injuring over 200 more.

1988

view article

A failed assassination attempt against Iraqi president Saddam Hussein results in the Dujail Massacre over the next several months.

1982

view article

The inaugural 1980 State of Origin game is won by Queensland who defeat New South Wales 20–10 at Lang Park.

1980

view article

Aeroflot Flight 4225 crashes near Almaty International Airport in the then Kazakh Soviet Socialist Republic (present day Kazakhstan) killing all 166 people on board.

1980

view article

Israeli Mossad assassinate Palestinian writer Ghassan Kanafani.

1972

view article

Richard Nixon delivers a special congressional message enunciating Native American self-determination as official US Indian policy, leading to the Indian Self-Determination and Education Assistance Act of 1975.

1970

view article

The Chrysler wildcat strike begins in Detroit, Michigan.

1968

view article

King Mwambutsa IV Bangiriceng of Burundi is deposed by his son Prince Charles Ndizi.

1966

view article

Canadian Pacific Air Lines Flight 21 is destroyed by a bomb near 100 Mile House, Canada, killing 52.

1965

view article

Ne Win besieges and blows up the Rangoon University Student Union building to crush the Student Movement.

1962

view article

Francis Gary Powers is charged with espionage resulting from his flight over the Soviet Union.

1960

view article

The United States Air Force accepts its first female recruits into a program called the Women's Air Force (WAF).

1948

view article

Reports are broadcast that a UFO crash-landed in Roswell, New Mexico in what became known as the Roswell UFO incident.

1947

view article

Turkey, Iran, Iraq, and Afghanistan sign the Treaty of Saadabad.

1937

view article

The first rugby union test match between the Wallabies of Australia and the Springboks of South Africa is played at Newlands Stadium in Cape Town.

1933

view article

The Dow Jones Industrial Average reaches its lowest level of the Great Depression, closing at 41.22.

1932

view article

Henrique Mitchell de Paiva Couceiro leads an unsuccessful royalist attack against the First Portuguese Republic in Chaves.

1912

view article

The death of crime boss Soapy Smith, killed in the Shootout on Juneau Wharf, releases Skagway, Alaska from his iron grip.

1898

view article

St. John's, Newfoundland is devastated in the Great Fire of 1892.

1892

view article

The first issue of The Wall Street Journal is published.

1889

view article

Sailing ship USS Jeannette departs San Francisco carrying an ill-fated expedition to the North Pole.

1879

view article

The Hamburg massacre prior to the 1876 United States presidential election results in the deaths of six African-Americans of the Republican Party, along with one white assailant.

1876

view article

The Mounties begin their March West.

1874

view article

Ikedaya Incident: The Choshu Han shishi's planned Shinsengumi sabotage on Kyoto, Japan at Ikedaya.

1864

view article

King Charles XV & IV accedes to the throne of Sweden–Norway.

1859

view article

The Perry Expedition arrives in Edo Bay with a treaty requesting trade.

1853

view article

Chippewas turn over a huge tract of land in Ontario to the United Kingdom.

1822

view article

Church bells (possibly including the Liberty Bell) are rung after John Nixon delivers the first public reading of the Declaration of Independence of the United States.

1776

view article

The Olive Branch Petition is signed by the Continental Congress of the Thirteen Colonies of North America.

1775

view article

British forces defeat French forces in the last naval battle in New France.

1760

view article

French forces hold Fort Carillon against the British at Ticonderoga, New York.

1758

view article

Reverend Jonathan Edwards preaches to his congregation in Enfield, Connecticut his most famous sermon, "Sinners in the Hands of an Angry God"; an influence for the First Great Awakening.

1741

view article

An estimated magnitude 8.7 earthquake causes a tsunami that damages more than 1,000 km (620 mi) of Chile's coastline.

1730

view article

The Battle of Dynekilen forces Sweden to abandon its invasion of Norway.

1716

view article

Peter I of Russia defeats Charles XII of Sweden at the Battle of Poltava, thus effectively ending Sweden's status as a major power in Europe.

1709

view article

Charles II of England grants John Clarke a Royal charter to Rhode Island.

1663

view article

Our Lady of Kazan, a holy icon of the Russian Orthodox Church, is discovered underground in the city of Kazan, Tatarstan.

1579

view article

Vasco da Gama sets sail on the first direct European voyage to India.

1497

view article

Roger of Lauria, commanding the Aragonese fleet, defeats an Angevin fleet sent to put down a rebellion on Malta.

1283

view article

The Byzantines defeat the Hungarian army decisively at Sirmium, forcing the Hungarians to sue for peace.

1167

view article

Some 15,000 starving Christian soldiers begin the siege of Jerusalem by marching in a religious procession around the city as its Muslim defenders watch.

1099

view article