tempodox's submissions

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