Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
1.
Machine-Assisted Proof by Terence Tao [pdf]
(
ams.org
)
56 points
by
jalcazar
2 hours ago
|
hide
|
4 comments
2.
That's not an abstraction, that's a layer of indirection
(
fhur.me
)
190 points
by
fagnerbrack
7 hours ago
|
hide
|
70 comments
3.
Ada's dependent types, and its types as a whole
(
nytpu.com
)
111 points
by
nytpu
5 hours ago
|
hide
|
25 comments
4.
Should more of us be moving to live near friends?
(
architecturaldigest.com
)
349 points
by
Geekette
12 hours ago
|
hide
|
199 comments
5.
Liberating Wi-Fi on the ESP32 [video]
(
ccc.de
)
167 points
by
doener
8 hours ago
|
hide
|
51 comments
6.
Plasticlist Report – Data on plastic chemicals in Bay Area foods
(
plasticlist.org
)
416 points
by
jeff18
12 hours ago
|
hide
|
138 comments
7.
PixLens: A lens that turns the scenery you see into pixel art
(
monoli-shop.com
)
44 points
by
miles
5 hours ago
|
hide
|
7 comments
8.
Scale Model of Boeing 777-300ER, Made from Manila Folders
(
lucaiaconistewart.com
)
459 points
by
uticus
16 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
)
51 points
by
transpute
5 hours ago
|
hide
|
27 comments
10.
Libobscura: Cameras Are Difficult [video]
(
ccc.de
)
15 points
by
doener
3 hours ago
|
hide
|
discuss
11.
TSMC's Arizona Plant to Start Making Advanced Chips
(
ieee.org
)
171 points
by
rbanffy
13 hours ago
|
hide
|
71 comments
12.
Mixin is a trait/mixin and bytecode weaving framework for Java using ASM
(
github.com/spongepowered
)
32 points
by
LelouBil
6 hours ago
|
hide
|
8 comments
13.
Cable-cutting tanker seized by Finland 'was loaded with spying equipment'
(
lloydslist.com
)
194 points
by
nabla9
15 hours ago
|
hide
|
44 comments
14.
Explaining Large Language Models Decisions Using Shapley Values
(
arxiv.org
)
33 points
by
veryluckyxyz
8 hours ago
|
hide
|
3 comments
15.
Show HN: Minimal, self-hosted exercise tracker
(
github.com/bmtwl
)
81 points
by
DrPhish
10 hours ago
|
hide
|
26 comments
16.
Free Software Needs Free Tools (2010)
(
mako.cc
)
16 points
by
pabs3
5 hours ago
|
hide
|
1 comment
17.
International Bank Note Society
(
theibns.org
)
14 points
by
gone35
4 hours ago
|
hide
|
4 comments
18.
How to Create HTML/ZIP/PNG Polyglot Files
(
gildas-lormeau.github.io
)
77 points
by
gildas
9 hours ago
|
hide
|
19 comments
19.
Demystifying Common Microcontroller Debug Protocols [video]
(
ccc.de
)
71 points
by
doener
11 hours ago
|
hide
|
discuss
20.
1584 LAN party photos from 1996 – 2010 from Australia's island state archived
(
issung.com
)
112 points
by
issung
13 hours ago
|
hide
|
35 comments
21.
The hydraulic systems of the Alhambra Palace [video]
(
youtube.com
)
102 points
by
zeristor
12 hours ago
|
hide
|
10 comments
22.
Progressive Loss of Function in a Limb Enhancer During Snake Evolution (2016)
(
cell.com
)
4 points
by
sandwichsphinx
2 hours ago
|
hide
|
2 comments
23.
Show HN: I made a web app to bring children's drawings to life
(
doodledreams.cc
)
159 points
by
vikmex
14 hours ago
|
hide
|
54 comments
24.
Bench accounting services shutting down
(
bench.co
)
248 points
by
knuckleheads
17 hours ago
|
hide
|
241 comments
25.
Breaking the Mirror – A Look at Apple's New iPhone Remote Control Feature [video]
(
ccc.de
)
72 points
by
doener
11 hours ago
|
hide
|
7 comments
26.
The paper passport's days are numbered
(
wired.com
)
113 points
by
ascorbic
16 hours ago
|
hide
|
217 comments
27.
How to Cure Acid Reflux with Simple Exercise: An Anecdotal Study
(
nih.gov
)
83 points
by
oneturkmen
5 hours ago
|
hide
|
22 comments
28.
Evolution journal editors resign en masse to protest Elsevier changes
(
retractionwatch.com
)
74 points
by
panic
5 hours ago
|
hide
|
23 comments
29.
PQConnect: Automated Post-Quantum End-to-End Tunnels
(
pqconnect.net
)
55 points
by
nabla9
19 hours ago
|
hide
|
12 comments
30.
The new science of controlling lucid dreams
(
scientificamerican.com
)
145 points
by
cainxinth
19 hours ago
|
hide
|
94 comments
More
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: