41554 blogs · [ { "id": "01a0d4ef-ebfd-7316-9cba-70a30fe2a7bf", "title": "No need to return errors; carve holes instead", "url": "https://www.1a-insec.net/blog/AB-effect-handler/", "published_at": "2026-09-15T12:00:00+00:00" }, { "id": "01a0d4ef-ebfd-7316-9cba-70a30f36eca5", "title": "Compute machine more powerful than Turing Machine", "url": "https://www.1a-insec.net/blog/AA-machine-z/", "published_at": "2026-09-14T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7577e99b2", "title": "Proving the topology of the pure state of a qubit in Interv", "url": "https://www.1a-insec.net/blog/A9-pure-state-qubit/", "published_at": "2026-09-03T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d756d8d0ae", "title": "Awareness and the universe", "url": "https://www.1a-insec.net/blog/A8-awareness-universe/", "published_at": "2026-08-22T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d756d3fe48", "title": "Coupled meta-learning while learning homotopy theory", "url": "https://www.1a-insec.net/blog/A7-learn-homotopy/", "published_at": "2026-08-12T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7563932fe", "title": "How to live in an era where machines can think", "url": "https://www.1a-insec.net/blog/A6-live-in-ai-era/", "published_at": "2026-07-17T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d755750d31", "title": "Memory safety and type system", "url": "https://www.1a-insec.net/blog/A5-memory-safety-type-system/", "published_at": "2026-07-12T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d754b21110", "title": "A stay on Plum Blossom Island", "url": "https://www.1a-insec.net/blog/A4-plum-blossom-island/", "published_at": "2026-06-04T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d754588e69", "title": "About partial ordering", "url": "https://www.1a-insec.net/blog/A2-partial-order/", "published_at": "2025-12-30T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7548dcb2c", "title": "A new standard for cryptography", "url": "https://www.1a-insec.net/blog/A3-crypto-standard/", "published_at": "2025-12-30T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d75345bdd8", "title": "Abstraction and courage, explained", "url": "https://www.1a-insec.net/blog/A1-abstraction-courage/", "published_at": "2025-11-21T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d753ea9727", "title": "Connecting and ordering consent through collective action", "url": "https://www.1a-insec.net/blog/A0-process-calculus/", "published_at": "2025-11-21T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7524ff6bb", "title": "Economic outage", "url": "https://www.1a-insec.net/blog/99-economic-outage/", "published_at": "2025-11-18T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d752a2164c", "title": "Why fork&join are fundamental to computation", "url": "https://www.1a-insec.net/blog/98-causal-ordering/", "published_at": "2025-11-18T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d752c3d8ee", "title": "Nested Taiji − the art of computing and not computing", "url": "https://www.1a-insec.net/blog/97-nested-taiji/", "published_at": "2025-11-14T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74ea07587", "title": "How proof of work creates scarcity", "url": "https://www.1a-insec.net/blog/96-pow-scarcity/", "published_at": "2025-11-06T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74f946aef", "title": "a computational perspective on thought, its place in the cosmic order, with reference to other philosophical objects", "url": "https://www.1a-insec.net/blog/95-freer-existence/", "published_at": "2025-10-31T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7502a8cd1", "title": "E Rights Simply Explained", "url": "https://www.1a-insec.net/blog/94-e-rights/", "published_at": "2025-10-25T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d751200847", "title": "Consensus is reached atop shared reality", "url": "https://www.1a-insec.net/blog/92-consensus-shared-reality/", "published_at": "2025-09-24T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7516f7adb", "title": "How to Counter Intolerance of Individuality—with much digression", "url": "https://www.1a-insec.net/blog/91-to-counter-intolerance/", "published_at": "2025-09-18T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74da6aa16", "title": "[Draft] Extensions to Claycode", "url": "https://www.1a-insec.net/blog/90-claycode-1/", "published_at": "2025-09-10T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74dd20858", "title": "Need-based currency design with complementary taxation", "url": "https://www.1a-insec.net/blog/89-need-based-currency/", "published_at": "2025-09-05T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74e864acc", "title": "Erosion of software freedom in Javascript, Python, Android", "url": "https://www.1a-insec.net/blog/88-erosion-of-software-freedom/", "published_at": "2025-08-29T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74b1d3dc9", "title": "Being empathetic is not a problem", "url": "https://www.1a-insec.net/blog/85-empathy-not-problematic/", "published_at": "2025-07-22T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74bf8f414", "title": "Hygenic eval in Janet", "url": "https://www.1a-insec.net/blog/83-janet-eval-argparse-example/", "published_at": "2025-06-23T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74cdc724f", "title": "Networked tuple set with authenticated elements", "url": "https://www.1a-insec.net/blog/82-authenticated-tuple-set/", "published_at": "2025-06-19T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74d0976a1", "title": "Formalizing a relational wiring system", "url": "https://www.1a-insec.net/blog/81-relation-net/", "published_at": "2025-06-16T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74a5685ef", "title": "Ceasing discontentment", "url": "https://www.1a-insec.net/blog/80-cease-discontent/", "published_at": "2025-06-05T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d749036848", "title": "Types as relations", "url": "https://www.1a-insec.net/blog/79-types-as-relations/", "published_at": "2025-06-02T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d749b472e4", "title": "Implementing site-wide search using Aider and MiniLM", "url": "https://www.1a-insec.net/blog/78-site-search/", "published_at": "2025-04-20T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7476f7d8c", "title": "Thoughts about software-defined beings", "url": "https://www.1a-insec.net/blog/76-digital-agent-misc/", "published_at": "2025-04-05T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7480ab4f0", "title": "Why have goals at all", "url": "https://www.1a-insec.net/blog/75-why-dream/", "published_at": "2025-02-12T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d748e49c79", "title": "Trying to understand morality", "url": "https://www.1a-insec.net/blog/71-morality/", "published_at": "2024-10-13T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7466afa85", "title": "Reaching consensus with gossip and pruning semi-lattice", "url": "https://www.1a-insec.net/blog/70-consensus-pruning-semilattice/", "published_at": "2024-09-07T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7474f7148", "title": "Bringing powerful people together to deal arms", "url": "https://www.1a-insec.net/blog/69-bring-powerful-people-together-to-deal-arms/", "published_at": "2024-08-20T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d745cc9c80", "title": "Programming M5Paper and SCD40 as a CO₂ meter", "url": "https://www.1a-insec.net/blog/65-programming-m5paper-scd40/", "published_at": "2024-07-18T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73dcd7bbf", "title": "Peer-to-peer Communication Over Tox with toxcore", "url": "https://www.1a-insec.net/blog/64-p2p-comm-with-toxcore/", "published_at": "2024-07-07T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73059a80c", "title": "Using Janet as Database", "url": "https://www.1a-insec.net/blog/18-janet-as-database/", "published_at": "2024-07-05T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73e7b8c90", "title": "A social structure destined to fulfill needs", "url": "https://www.1a-insec.net/blog/62-social-addon-for-needs/", "published_at": "2024-06-29T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73e95e110", "title": "It's Important To Choose Who I Associate With", "url": "https://www.1a-insec.net/blog/60-choosing-association/", "published_at": "2024-06-27T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73eec9cec", "title": "Close Call: Culture Overload", "url": "https://www.1a-insec.net/blog/59-culture-overload/", "published_at": "2024-05-24T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73fab7783", "title": "Freedom From Want and Fear", "url": "https://www.1a-insec.net/blog/58-freedom-from-want-and-fear/", "published_at": "2024-05-21T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73feffb59", "title": "Generating vector graphics with Paper.js", "url": "https://www.1a-insec.net/blog/57-paperjs-vector-graphics/", "published_at": "2024-05-21T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74043cc14", "title": "Syscall on FreeBSD amd64 with GNU C Inline Assembly", "url": "https://www.1a-insec.net/blog/56-freebsd-syscall-amd64/", "published_at": "2024-05-17T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d740d8672d", "title": "On Consiousness, LLMs and Social Separation", "url": "https://www.1a-insec.net/blog/55-consiousness-llm-social-separation/", "published_at": "2024-05-11T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74100ba4c", "title": "Interpreting 2048 in toki pona", "url": "https://www.1a-insec.net/blog/54-2048-in-tokipona/", "published_at": "2024-05-04T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d741f62d36", "title": "A Way To Explore More Efficiently", "url": "https://www.1a-insec.net/blog/53-explore-efficiently/", "published_at": "2024-04-27T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d739b36cb8", "title": "Rules Of Self Expression", "url": "https://www.1a-insec.net/blog/41-self-expression/", "published_at": "2024-04-24T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74283bd92", "title": "Experiences With Static Site Hosting Providers", "url": "https://www.1a-insec.net/blog/52-static-site-hosting-providers/", "published_at": "2024-04-24T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74372c0cf", "title": "Status Report 2024-04-23", "url": "https://www.1a-insec.net/blog/51-status-a0/", "published_at": "2024-04-23T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74421fb21", "title": "Server-Side Rendering with uhtml and Deno", "url": "https://www.1a-insec.net/blog/49-ssr-deno-uhtml/", "published_at": "2024-04-19T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7451887ad", "title": "Feeding GPT Arbitrary Web Data", "url": "https://www.1a-insec.net/blog/47-feeding-gpt-arbitrary-soup/", "published_at": "2024-04-12T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d74519c128", "title": "A Novel Crawler Learns Exploring", "url": "https://www.1a-insec.net/blog/45-explore/", "published_at": "2024-04-01T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7395c20c4", "title": "Seeing Suspicious Accounts On Github", "url": "https://www.1a-insec.net/blog/44-suspicious-github-accounts/", "published_at": "2024-03-30T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d739fd1127", "title": "Hype Scheme", "url": "https://www.1a-insec.net/blog/40-capital-hype-scheme/", "published_at": "2024-03-12T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73ac73fca", "title": "Using Caddy As A Embedded HTTP Server", "url": "https://www.1a-insec.net/blog/39-programmatic-caddy/", "published_at": "2024-02-26T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73c249360", "title": "Modeling Emotional State", "url": "https://www.1a-insec.net/blog/35-emotions/", "published_at": "2024-02-25T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73d9dcbdd", "title": "Common Sense is Above the Law", "url": "https://www.1a-insec.net/blog/33-common-sense-above-law/", "published_at": "2024-02-20T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73bab2fcf", "title": "Short Read/Write and Buffered File", "url": "https://www.1a-insec.net/blog/36-short-rw/", "published_at": "2024-02-12T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73cca7b4a", "title": "How to Scan For Bluetooth Trackers On Android", "url": "https://www.1a-insec.net/blog/34-detect-bluetooth-tracker/", "published_at": "2024-02-05T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d738f50526", "title": "Representing Concepts with Linked Linked-Data Links", "url": "https://www.1a-insec.net/blog/32-representing-concept-with-linked-data/", "published_at": "2024-01-07T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7393908b3", "title": "Wire Routing Control Scheme", "url": "https://www.1a-insec.net/blog/31-wire-routing-input-scheme/", "published_at": "2024-01-03T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73940f901", "title": "Two Computational Tricks During Memory Recall", "url": "https://www.1a-insec.net/blog/30-recall/", "published_at": "2024-01-03T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d735ad8fad", "title": "Frame Rate Detection in GLFW", "url": "https://www.1a-insec.net/blog/29-framerate-detection-in-glfw/", "published_at": "2023-12-20T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7359a7790", "title": "Equality Should Not Be Instrumental", "url": "https://www.1a-insec.net/blog/02-equality-should-not-be-instrumental/", "published_at": "2023-11-27T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d735e8c8dc", "title": "Thoughts on MIR and Codegen", "url": "https://www.1a-insec.net/blog/27-mir-codegen/", "published_at": "2023-11-26T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d736327183", "title": "Life of a Bug Report", "url": "https://www.1a-insec.net/blog/26-life-of-a-bug-report/", "published_at": "2023-11-23T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7366f9a5a", "title": "Zig May Pass Anything By Reference", "url": "https://www.1a-insec.net/blog/25-zig-reference-semantics/", "published_at": "2023-11-21T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7374d23d9", "title": "Writting Secure Programs using Capsicum on FreeBSD", "url": "https://www.1a-insec.net/blog/24-trying-capsicum/", "published_at": "2023-11-19T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d737b36495", "title": "I am wary of Rust's Future", "url": "https://www.1a-insec.net/blog/23-wary-of-rust/", "published_at": "2023-11-17T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73897a8c4", "title": "Departure from the Mean", "url": "https://www.1a-insec.net/blog/22-departure-from-average/", "published_at": "2023-11-01T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d738bf3067", "title": "Find and Replace Code at AST-level with Semgrep", "url": "https://www.1a-insec.net/blog/21-semgrep-search-ast/", "published_at": "2023-10-31T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d738e16508", "title": "Graphical Janet REPL in Spirit of Self", "url": "https://www.1a-insec.net/blog/20-janet-graphical-repl/", "published_at": "2023-10-10T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d730423c89", "title": "Reactive Signals and Build System", "url": "https://www.1a-insec.net/blog/19-reactive-signal-and-build-system/", "published_at": "2023-09-28T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d731514b2c", "title": "Binding Source Code Files Together Like A Book", "url": "https://www.1a-insec.net/blog/17-bind-source-code-together/", "published_at": "2023-08-31T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7316a1c24", "title": "Janet: Buy Runtime Get GC Free", "url": "https://www.1a-insec.net/blog/16-buy-janet-get-gc-free/", "published_at": "2023-08-28T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7320a2010", "title": "Internal Data Structures of Solid.js", "url": "https://www.1a-insec.net/blog/15-solidjs-internals/", "published_at": "2023-08-24T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7326a3d23", "title": "How to Counter Fearmongering", "url": "https://www.1a-insec.net/blog/14-counter-fearmonger/", "published_at": "2023-08-15T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7328d95ed", "title": "Meta Omega", "url": "https://www.1a-insec.net/blog/13-meta-omega/", "published_at": "2023-08-11T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d732b6a928", "title": "Equality Often Misunderstood", "url": "https://www.1a-insec.net/blog/12-equality-explained/", "published_at": "2023-08-08T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7330afaf4", "title": "Fonts, where are you?", "url": "https://www.1a-insec.net/blog/11-fonts-where/", "published_at": "2023-08-07T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d733cdf64b", "title": "Commiting Dependent Type Crimes in Zig", "url": "https://www.1a-insec.net/blog/10-type-magic-in-zig/", "published_at": "2023-08-01T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d73403b880", "title": "How to Run io Scripts From C", "url": "https://www.1a-insec.net/blog/09-io-in-c/", "published_at": "2023-07-12T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7348c05a6", "title": "When Perfect Digital Security is Achieved", "url": "https://www.1a-insec.net/blog/08-when-perfect-digital-security/", "published_at": "2023-06-13T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7348f974e", "title": "Handling keyboard events correctly in games", "url": "https://www.1a-insec.net/blog/07-proper-keyboard-handling/", "published_at": "2023-04-22T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d734ff43b8", "title": "Buliding Static Site with Lume and Deno", "url": "https://www.1a-insec.net/blog/06-static-site-lume/", "published_at": "2023-04-14T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d7351b88a5", "title": "Provably Safe System Programming", "url": "https://www.1a-insec.net/blog/05-provably-safe-programs/", "published_at": "2023-01-29T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d735935f21", "title": "Social Denial of Service", "url": "https://www.1a-insec.net/blog/04-social-dos/", "published_at": "2022-12-30T12:00:00+00:00" }, { "id": "01a0871d-66d9-732f-a718-e4d735a23508", "title": "The Two Biggest Societal Mistakes", "url": "https://www.1a-insec.net/blog/00-two-mistakes/", "published_at": "2022-12-06T12:00:00+00:00" } ] posts Claim your blog
Back to 1a-insec.net
Blog · corpus.blog/blogs/1a-insec.net/posts

1a-insec.net

1a-insec.net

2026

2025

2024

2023

2022