Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
1.
Ada's dependent types, and its types as a whole
(
nytpu.com
)
98 points
by
nytpu
4 hours ago
|
hide
|
13 comments
2.
Machine-Assisted Proof by Terence Tao [pdf]
(
ams.org
)
20 points
by
jalcazar
1 hour ago
|
hide
|
discuss
3.
That's not an abstraction, that's a layer of indirection
(
fhur.me
)
161 points
by
fagnerbrack
6 hours ago
|
hide
|
60 comments
4.
Liberating Wi-Fi on the ESP32 [video]
(
ccc.de
)
156 points
by
doener
7 hours ago
|
hide
|
46 comments
5.
Should more of us be moving to live near friends?
(
architecturaldigest.com
)
333 points
by
Geekette
11 hours ago
|
hide
|
192 comments
6.
PixLens: A lens that turns the scenery you see into pixel art
(
monoli-shop.com
)
36 points
by
miles
4 hours ago
|
hide
|
6 comments
7.
Plasticlist Report – Data on plastic chemicals in Bay Area foods
(
plasticlist.org
)
405 points
by
jeff18
11 hours ago
|
hide
|
135 comments
8.
Scale Model of Boeing 777-300ER, Made from Manila Folders
(
lucaiaconistewart.com
)
452 points
by
uticus
15 hours ago
|
hide
|
73 comments
9.
PCIe trouble with 4TB Crucial T500 NVMe SSD for >1 power cycle on MSI PRO X670-P
(
level1techs.com
)
45 points
by
transpute
4 hours ago
|
hide
|
22 comments
10.
TSMC's Arizona Plant to Start Making Advanced Chips
(
ieee.org
)
157 points
by
rbanffy
12 hours ago
|
hide
|
61 comments
11.
Libobscura: Cameras Are Difficult [video]
(
ccc.de
)
9 points
by
doener
2 hours ago
|
hide
|
discuss
12.
Mixin is a trait/mixin and bytecode weaving framework for Java using ASM
(
github.com/spongepowered
)
29 points
by
LelouBil
5 hours ago
|
hide
|
8 comments
13.
Explaining Large Language Models Decisions Using Shapley Values
(
arxiv.org
)
29 points
by
veryluckyxyz
7 hours ago
|
hide
|
2 comments
14.
Show HN: Minimal, self-hosted exercise tracker
(
github.com/bmtwl
)
73 points
by
DrPhish
9 hours ago
|
hide
|
22 comments
15.
Demystifying Common Microcontroller Debug Protocols [video]
(
ccc.de
)
71 points
by
doener
10 hours ago
|
hide
|
discuss
16.
How to Create HTML/ZIP/PNG Polyglot Files
(
gildas-lormeau.github.io
)
75 points
by
gildas
8 hours ago
|
hide
|
19 comments
17.
Cable-cutting tanker seized by Finland 'was loaded with spying equipment'
(
lloydslist.com
)
159 points
by
nabla9
14 hours ago
|
hide
|
17 comments
18.
International Bank Note Society
(
theibns.org
)
11 points
by
gone35
3 hours ago
|
hide
|
3 comments
19.
1584 LAN party photos from 1996 – 2010 from Australia's island state archived
(
issung.com
)
108 points
by
issung
12 hours ago
|
hide
|
33 comments
20.
Progressive Loss of Function in a Limb Enhancer During Snake Evolution (2016)
(
cell.com
)
3 points
by
sandwichsphinx
1 hour ago
|
hide
|
1 comment
21.
Free Software Needs Free Tools (2010)
(
mako.cc
)
11 points
by
pabs3
4 hours ago
|
hide
|
discuss
22.
The hydraulic systems of the Alhambra Palace [video]
(
youtube.com
)
97 points
by
zeristor
11 hours ago
|
hide
|
9 comments
23.
Show HN: I made a web app to bring children's drawings to life
(
doodledreams.cc
)
153 points
by
vikmex
13 hours ago
|
hide
|
49 comments
24.
Bench accounting services shutting down
(
bench.co
)
244 points
by
knuckleheads
16 hours ago
|
hide
|
238 comments
25.
Breaking the Mirror – A Look at Apple's New iPhone Remote Control Feature [video]
(
ccc.de
)
68 points
by
doener
10 hours ago
|
hide
|
5 comments
26.
The paper passport's days are numbered
(
wired.com
)
102 points
by
ascorbic
15 hours ago
|
hide
|
211 comments
27.
How to Cure Acid Reflux with Simple Exercise: An Anecdotal Study
(
nih.gov
)
69 points
by
oneturkmen
4 hours ago
|
hide
|
21 comments
28.
Evolution journal editors resign en masse to protest Elsevier changes
(
retractionwatch.com
)
67 points
by
panic
4 hours ago
|
hide
|
23 comments
29.
PQConnect: Automated Post-Quantum End-to-End Tunnels
(
pqconnect.net
)
54 points
by
nabla9
18 hours ago
|
hide
|
12 comments
30.
Show HN: Instantly visualize any codebase as an interactive diagram
(
gitdiagram.com
)
177 points
by
ahmedkhaleel
18 hours ago
|
hide
|
57 comments
More
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: