Skip to main content
Alexander Mikhailian
Feed aggregator
Proving Liveness with TLA
Hacker News
-
Sat, 2026-01-03 02:15
Comments
Categories:
Software
Representing Hierarchies
Hacker News
-
Sat, 2026-01-03 02:14
Comments
Categories:
Software
Show HN: I used AI to recreate a $4000 piece of audio hardware as a plugin
Hacker News
-
Sat, 2026-01-03 02:08
Comments
Categories:
Software
Blaze: A Dec VT420 (and More) Emulator
Hacker News
-
Sat, 2026-01-03 02:02
Comments
Categories:
Software
Looking for Alice
Hacker News
-
Sat, 2026-01-03 01:50
Comments
Categories:
Software
2026 will be my year of the Linux desktop
Hacker News
-
Sat, 2026-01-03 01:15
Comments
Categories:
Software
Show HN: Website that plays the lottery every second
Hacker News
-
Sat, 2026-01-03 01:12
Comments
Categories:
Software
Microsoft kills official way to activate Windows 11/10 without internet
Hacker News
-
Sat, 2026-01-03 01:01
Comments
Categories:
Software
Building a rain predictor on a C64 with 1985's "XPER," expert system software
Hacker News
-
Sat, 2026-01-03 00:53
Comments
Categories:
Software
The most friendless place on Earth
Hacker News
-
Sat, 2026-01-03 00:52
Comments
Categories:
Software
The Agentic Self: Parallels Between AI and Self-Improvement
Hacker News
-
Sat, 2026-01-03 00:47
Comments
Categories:
Software
How Dependabot Actually Works
Hacker News
-
Sat, 2026-01-03 00:44
Comments
Categories:
Software
Residues: Time, Change and Uncertainty in Software Architecture [video]
Hacker News
-
Sat, 2026-01-03 00:36
Comments
Categories:
Software
How HTML changes in ePub
Hacker News
-
Sat, 2026-01-03 00:11
Comments
Categories:
Software
NY Fed cash transfers to banks increase dramatically in Q4 2025
Hacker News
-
Sat, 2026-01-03 00:01
Comments
Categories:
Software
The Lottery Ticket Hypothesis: finding sparse trainable NNs with 90% less params
Hacker News
-
Fri, 2026-01-02 23:53
Comments
Categories:
Software
Grok Sexual Images Draw Rebuke, France Flags Content as Illegal
Hacker News
-
Fri, 2026-01-02 23:35
Comments
Categories:
Software
1M for Non-Specialists: Introduction
Hacker News
-
Fri, 2026-01-02 23:32
Comments
Categories:
Software
Show HN: Open-source AI workflows with read-only auth scopes
Hacker News
-
Fri, 2026-01-02 23:16
Comments
Categories:
Software
The creator of Claude Code's Claude setup
Hacker News
-
Fri, 2026-01-02 23:07
Comments
Categories:
Software
Pages
« first
‹ previous
…
33
34
35
36
37
38
39
40
41
…
next ›
last »