Hacker News

1.		Cinder – a C++ library for programming with aesthetic intent (libcinder.org)
		48 points by gjvc 1 hour ago \| hide \| 12 comments
2.		Translating My Z3 Tutorial to Coq (philipzucker.com)
		37 points by philzook 2 hours ago \| hide \| discuss
3.		New Bone Cell Type Identified (genengnews.com)
		8 points by thomas 21 minutes ago \| hide \| discuss
4.		WebAssembly (developer.mozilla.org)
		34 points by fctorial 1 hour ago \| hide \| 15 comments
5.		Noweb – A Simple, Extensible Tool for Literate Programming (tufts.edu)
		83 points by Tomte 4 hours ago \| hide \| 21 comments
6.		Wi-LE: Can WiFi replace Bluetooth? (2019) [pdf] (ucla.edu)
		40 points by docuru 2 hours ago \| hide \| 18 comments
7.		Fake_contacts: Android app to create fake phone contacts, to do data-poisoning (github.com/billdietrich)
		363 points by karlzt 7 hours ago \| hide \| 276 comments
8.		Amazon rainforest plots sold via Facebook Marketplace ads (bbc.com)
		38 points by bbirnbaum 4 hours ago \| hide \| 3 comments
9.		A single cell slime mold makes decisions without a central nervous system (tum.de)
		125 points by gmays 8 hours ago \| hide \| 53 comments
10.		Catfish Charlie, the CIA’s Robotic Spy (ieee.org)
		37 points by kensai 5 hours ago \| hide \| 7 comments
11.		Zealandia: Earth’s Hidden Continent (geosociety.org)
		13 points by Bluestein 1 hour ago \| hide \| 4 comments
12.		The curious case of the handlebar bag scam (cyclingtips.com)
		150 points by Zhenya 8 hours ago \| hide \| 106 comments
13.		Amazon rainforest rock art 'depicts giant Ice Age creatures' (2020) (bbc.com)
		67 points by Thevet 7 hours ago \| hide \| 23 comments
14.		Fly.io (YC W20) Is Hiring Elixir Developer Advocates (Remote)
		3 hours ago \| hide
15.		DMR's Thesis: Unpacking an Enigma (dmrthesis.net)
		26 points by sritchie 4 hours ago \| hide \| discuss
16.		A Saudi Prince's Attempt to Silence Critics on Twitter (wired.com)
		56 points by ioab 2 hours ago \| hide \| 1 comment
17.		1991's PC technology was unbelievable (2011) (zdnet.com)
		84 points by doener 9 hours ago \| hide \| 147 comments
18.		Massively parallel ultrafast random bit generation with a chip-scale laser (science.sciencemag.org)
		27 points by ycnews 4 hours ago \| hide \| 9 comments
19.		Why isn't Godot an ECS-based game engine? (godotengine.org)
		231 points by nafey 13 hours ago \| hide \| 126 comments
20.		Megastructures Superweapons and Global Architectures in Sci-Fi Computer Games (academia.edu)
		33 points by niDistinct 5 hours ago \| hide \| 6 comments
21.		As important as the Beetle? Two days with Volkswagen’s electric ID.4 (arstechnica.com)
		45 points by feross 2 hours ago \| hide \| 30 comments
22.		Private contact discovery for Signal (2017) (signal.org)
		39 points by tchalla 5 hours ago \| hide \| 23 comments
23.		A Vim Guide for Advanced Users (thevaluable.dev)
		486 points by asicsp 11 hours ago \| hide \| 127 comments
24.		Launch HN: Spruce (YC W21) – OSS for User Owned and Provably Authentic Data
		49 points by wyc 8 hours ago \| hide \| 6 comments
25.		Alternative shell with native support for JSON, YAML, TOML, CSV, etc. (github.com/lmorg)
		156 points by hnlmorg 12 hours ago \| hide \| 77 comments
26.		Show HN: Rich Text Math Editing on the Web with Markdown and AsciiMath (math.dev)
		24 points by abhinav22 4 hours ago \| hide \| 4 comments
27.		Making hibernation work under Linux Lockdown (mjg59.dreamwidth.org)
		88 points by edward 8 hours ago \| hide \| 50 comments
28.		SolarWinds CEO blames intern for password leak (cnn.com)
		271 points by tnolet 11 hours ago \| hide \| 190 comments
29.		NFTs and a Thousand True Fans (a16z.com)
		52 points by parsecs 6 hours ago \| hide \| 34 comments
30.		Resources for chief technology officers, with the emphasis on startups (github.com/kuchin)
		391 points by szimpl 11 hours ago \| hide \| 50 comments
		More