Hackernews posts about Lamport

RSS feed for Lamport

Related:Python

01
newThe Writings of Leslie Lamport (2026)lamport.azurewebsites.net
▲ 2locknitpicker 22d discuss
02
newLeslie Lamport: Some Data on the Frequency of Errors in Mathematics Papers [pdf]lamport.azurewebsites.net
▲ 1Alien1Being 22d 💬 1
03
newTime, Clocks, and the Ordering of Events in a Distributed System (1978) [pdf]lamport.azurewebsites.net
▲ 1danbitengo 27d discuss
04
newTop Open Problems in Math by LLM-Assessed Importancewww.proofatlas.ai
▲ 4simonpure 21h discuss
05
newShow HN: Snug, a local-only bookmark export, import and backup extensiongithub.com
▲ 3AndryOre 14h discuss
06
newProgrammers who don't use autocomplete,how do you write long imports?
▲ 2rimlessspecs 22h 💬 4
07
newCoding and Agentic Capabilities Are Now More Important Than Ever for AI
▲ 2StizzurpXDD 2h 💬 3
08
newTLDRs newsletter converter that gets all the important linkschristianheilmann.com
▲ 1speckx 25h discuss
09
newFlyout updates: iPhone and iPad, encrypted notes, imports and agent accessgetflyout.app
▲ 1gorkemyildirim 27h discuss
10
newShow HN: Open-source model routing for coding agents at Astra-level performance
▲ 122adchurch 7d 💬 42
11
newShow HN: Thoreau BASIC – What if BASIC hadn't gone out of fashion?thoreaubasic.com
▲ 96Gorsefound 4d 💬 59
12
newAsk HN: My Apple ID is locked for a week, Apple is a single point of failure
▲ 15akg_67 31h 💬 5
13
newAsk HN: What Is Your Personal Backup Methods
▲ 11Crontab 17h 💬 6
14
newShow HN: Musql, JIT-compiled SQL, up to 300x faster than SQLite, 1000x vs. Tursogithub.com
▲ 10dsamy 13h 💬 4
15
newShow HN: Halo – A Personal AI with On-Device Harness, Memory and Browser Agentapps.apple.com
▲ 3tanmay007 47h 💬 4
16
newAsk HN: Alternatives to NeurIPS, ICLR and ICML
▲ 3john-titor 36h discuss
17
newShow HN: Soundscaper – Audacity 4-like audio editor in the browsersoundscaper.org
▲ 3LeoWattenberg 46h discuss
18
newShow HN: An ObjC-like compiler for Mac ARM, x86_64(Linux, Win), WASM, & others
▲ 2spacedcowboy 21d 💬 10
19
newShow HN: Public Browser MCP – +48% speed -33% token/session vs. AgentBrowsergithub.com
▲ 2silbercue 12d 💬 3
20
newShow HN: Authrot – a writing studio that maps your characters, places and plotauthrot.app
▲ 2JoeOfTexas 29h discuss
21
newShow HN: GSS – Write 3D scenes in CSS, compiled to a raymarching shaderwww.gss-lang.dev
▲ 2lukyvj 31h discuss
22
newShow HN: Made a xcom like game in a weekend with AI. 3D, textures, models, etc.playgama.ai
▲ 2AndreyK1984 2d discuss
23
newShow HN: Cold B2B email should be free (FlyHedwig)flyhedwig.com
▲ 1gabceboli 43h 💬 4
24
newAsk HN: How do you handle hitting AI coding agent usage limits?
▲ 1VoidWhisperer 7d 💬 3
25
newShow HN: Puppet Master – Manage coding agents at scalepuppet-master.xyz
▲ 1chrismoos 18h discuss
26
newShow HN: We built a way to make dictation sound like youwillowvoice.com
▲ 1sharath39 25h discuss
27
newShow HN: Free native macOS Photoshop Clone with integrated AI harness
▲ 1terhechte 25h discuss
28
newShow HN: Abralo - Open source Slack for agents and peoplegithub.com
▲ 1cwbuilds 2d discuss
29
newShow HN: A complete web build of OrcaSlicer for 3D printingcubbycad.com
▲ 1thederf 3d discuss
30
newA Staff Engineer's Guide to Inventing Worksujithjay.com
▲ 381amortize 9d 💬 93
31
newHow I came to write that paper with Leslie Lamportlawrencecpaulson.github.io
▲ 58baruchel 47d 💬 11
32
newTLA+ creator Leslie Lamport: 'Programmers need abstractions'thenewstack.io
▲ 46MilnerRoute 523d discuss
33
newLamport's Byzantine Generals Algorithm in Pythonbytepawn.com
▲ 28Maro 431d 💬 1
34
newLeslie Lamport Retireswww.lamport.org
▲ 6cocoa19 642d discuss
35
newProgramming ≠ coding – Leslie Lamport [video]www.youtube.com
▲ 4max_220d discuss
36
newLeslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)lamport.azurewebsites.net
▲ 4sovietswag 295d discuss
37
newHow to Write a 21st Century Proof – Leslie Lamport 2011 [pdf]lamport.azurewebsites.net
▲ 3nill0 578d discuss
38
newA Science of Concurrent Programs by Leslie Lamportlamport.azurewebsites.net
▲ 2teleforce 83d discuss
39
newLamport Signatureen.wikipedia.org
▲ 2teleforce 114d discuss
40
newLeslie Lamport: The Man Who Revolutionized Computer Science with Math [video]www.youtube.com
▲ 1ColinWright 606d discuss
41
newCoding Isn't Programmingwww.socallinuxexpo.org
▲ 155todsacerdoti 561d 💬 207
42
newA High-Level View of TLA+lamport.azurewebsites.net
▲ 92blobcode 494d 💬 19
43
newA Science of Concurrent Programs (final draft)lamport.azurewebsites.net
▲ 77lateforwork 675d 💬 3
44
newPaxos Made Simple (2001) [pdf]lamport.azurewebsites.net
▲ 65grep_it 90d 💬 7
45
newTLA+ Video Course (2021)lamport.azurewebsites.net
▲ 32Tomte 524d discuss
46
newHow to Write a 21st Century Proof (2011) [pdf]lamport.azurewebsites.net
▲ 24User23 295d 💬 3
47
newThe TLA+ Video Courselamport.azurewebsites.net
▲ 5woggy 71d discuss
48
newWhy Computer Scientists Don't Learn Math (2017)lamport.azurewebsites.net
▲ 4tosh 153d 💬 1
49
newA Science of Concurrent Programslamport.azurewebsites.net
▲ 1todsacerdoti 699d 💬 1
50
newPaxos made simple (2001) [pdf]lamport.azurewebsites.net
▲ 1vinhnx 225d discuss
51
newLogical and Vector Clock Implementation from Scratchbeyondthesyntax.substack.com
▲ 1thunderbong 578d discuss
52
newTime, Clocks and the Ordering of Events in a Distributed System (1978)lamport.azurewebsites.net
▲ 1veqq 666d discuss
53
newSears didn't miss e-commerce – Eddie Lampert stripped it [video]www.youtube.com
▲ 5adhikaribipin 47d discuss
54
newOnly 5 Sears stores remain in the U.S.www.nytimes.com
▲ 99bookofjoe 283d 💬 114
55
newPEP 810 – Explicit lazy importspeps.python.org
▲ 433azhenley 369d 💬 240
56
newThree important steps in my maturation processthomasdullien.github.io
▲ 227tdullien 46d 💬 124
57
newShow HN: Diffview, a fast Git diff viewer written in Rustgithub.com
▲ 3sleipner42 47d 💬 1