Hacker News

2625 readers

473 users here now

Posts from the RSS Feed of HackerNews.

The feed sometimes contains ads and posts that have been removed by the mod team at HN.

founded 1 year ago

MODERATORS

patrick@lemmy.bestiver.se

rssbot@lemmy.bestiver.se

3976

8

Fermat's Last Theorem in Lean – Imperial College London (github.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3977

12

Lina Khan points to Figma IPO as vindication of M&A scrutiny (techcrunch.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

2 comments fedilink

3978

5

HTML-in-Canvas (github.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

2 comments fedilink

3979

1

I Do Support and Community (pketh.org)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3980

5

Mezzano, an operating system written in Common Lisp (github.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3981

3

Show HN: NaturalCron – Human-Readable Scheduling for .NET (With Fluent Builder) (github.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3982

19

AWS deleted my 10-year account and all data without warning (www.seuros.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

2 comments fedilink

3983

6

Remote Hosting for Your Telescope (www.sierra-remote.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

1 comments fedilink

3984

8

The "cracked coder" fetish: Epistemic arrogance in Silicon Valley (maxread.substack.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3985

6

TclSqueak – Program in Tcl the Smalltalk Way (www.xdobry.de)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3986

4

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models (arxiv.org)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3987

6

I tried living on IPv6 for a day, and here's what happened (www.xda-developers.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3988

5

Chilling warnings from 1930s Europe: "Reality is stronger than all our wishes" (www.doomsdayscenario.co)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3989

3

The Big Oops in type systems: This problem extends to FP as well (danieltan.weblog.lol)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3990

14

PixiEditor 2.0 – A FOSS universal 2D graphics editor (pixieditor.net)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3991

4

Australia’s gains in wheat-farm productivity (www.reuters.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3992

3

Anandtech.com now redirects to its forums (forums.anandtech.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3993

51

Helsinki records zero traffic deaths for full year (www.helsinkitimes.fi)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3994

3

The Garlic Bread Hack (suntreeapps.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3995

2

Linear Types for Programmers (2023) (twey.io)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3996

10

Double-slit experiment holds up when stripped to its quantum essentials (news.mit.edu)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3997

12

At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019) (www.apmreports.org)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

1 comments fedilink

3998

2

Helion begins work on Washington nuclear fusion plant (www.nucnet.org)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

3999

2

Show HN: Wordle-style game for Fermi questions (www.fermiquestions.org)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink

4000

5

'Communities' of extreme life seen for first time in deep ocean (www.bbc.com)

submitted 1 month ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

0 comments fedilink