tempodox's submissions

1.		Annote: Writing Java using only annotations (github.com/kusoroadeolu)
		1 point by tempodox 4 days ago \| past \| discuss
2.		Answer Set Programming (PDF, 2019) (utexas.edu)
		2 points by tempodox 4 days ago \| past \| discuss
3.		Template Parameter Deduction: Eliminating Hidden Copies in Generic Code (0xghost.dev)
		1 point by tempodox 4 days ago \| past \| discuss
4.		Comments Owl for Hacker News browser extension (github.com/insin)
		3 points by tempodox 5 days ago \| past \| 1 comment
5.		Everything You Need to Know About Email Encryption in 2026 (soatok.blog)
		7 points by tempodox 9 days ago \| past \| discuss
6.		Minikv: A little KV store implementation in OCaml to practice DB systems things (github.com/alpha-convert)
		2 points by tempodox 10 days ago \| past \| discuss
7.		I switched away from Zig to C3 (lowbytefox.dev)
		7 points by tempodox 10 days ago \| past \| discuss
8.		Notes on the expression problem and type design (2018) (tedinski.com)
		1 point by tempodox 10 days ago \| past \| discuss
9.		Digital – A digital logic designer and circuit simulator (github.com/hneemann)
		1 point by tempodox 11 days ago \| past \| discuss
10.		Anycrap: Infinite Weed (anycrap.shop)
		1 point by tempodox 14 days ago \| past \| 1 comment
11.		I foretold that Mac app notarization is security theater (lapcatsoftware.com)
		7 points by tempodox 22 days ago \| past
12.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		137 points by tempodox 29 days ago \| past \| 90 comments
13.		When "no" means "yes": Why AI chatbots can't process Persian social etiquette (arstechnica.com)
		5 points by tempodox 3 months ago \| past
14.		Murdoch's TikTok? Trump offers allies another lever of media control (theguardian.com)
		6 points by tempodox 3 months ago \| past
15.		Trump says TikTok should be tweaked to become "100% MAGA" (arstechnica.com)
		16 points by tempodox 3 months ago \| past \| 3 comments
16.		Why AI systems may never be secure, and what to do about it (economist.com)
		3 points by tempodox 3 months ago \| past
17.		ForcedLeak: AI Agent risks exposed in Salesforce AgentForce (noma.security)
		2 points by tempodox 3 months ago \| past
18.		Ruliology: Linking Computation, Observers and Physical Law (arxiv.org)
		1 point by tempodox 3 months ago \| past
19.		CERN scientists find evidence of quantum entanglement in sheep (home.cern)
		2 points by tempodox 3 months ago \| past \| 1 comment
20.		Lobsters Interview with Susam (lobste.rs)
		3 points by tempodox 4 months ago \| past
21.		The Internet Coup (interseclab.org)
		4 points by tempodox 4 months ago \| past \| 1 comment
22.		Program verification is not all-or-nothing (lawrencecpaulson.github.io)
		1 point by tempodox 4 months ago \| past
23.		Improving state machine code generation (trifectatech.org)
		2 points by tempodox 4 months ago \| past
24.		Lobsters Interview with Susam (lobste.rs)
		3 points by tempodox 4 months ago \| past
25.		[flagged] How Does the Cycle of Political Violence End? Here's What an Expert Says (politico.com)
		19 points by tempodox 4 months ago \| past \| 21 comments
26.		Deliberate Abstraction (entropicthoughts.com)
		9 points by tempodox 4 months ago \| past
27.		Strong Eventual Consistency – The Big Idea Behind CRDTs (lewiscampbell.tech)
		163 points by tempodox 4 months ago \| past \| 90 comments
28.		Hilbert space: treating functions as vectors (thegreenplace.net)
		2 points by tempodox 4 months ago \| past
29.		Zig: Everything Is a []U8 (openmymind.net)
		2 points by tempodox 4 months ago \| past
30.		Ever shared a Spotify link? Someone you don't know can now message you (androidauthority.com)
		2 points by tempodox 4 months ago \| past
		More