Contents^

Table of Contents
date title user score
2023-01-30 10:32:30 When Will Fusion Energy Light Our Homes? Brajeshwar 23
2023-01-30 07:40:08 Sh1mmer – An exploit capable of unenrolling enterprise-managed Chromebooks XionXIV 163
2023-01-29 20:19:22 The Qubit Game (2022) westurner 1
2023-01-29 03:40:59 Calculators now emulated at Internet Archive sohkamyung 296
2023-01-29 19:51:26 Machine Learning for Fluid Dynamics Playlist westurner 3
2023-01-29 14:01:40 Intercepting t.co links using DNS rewrites todsacerdoti 134
2023-01-26 21:44:37 MusicLM: Generating music from text georgehill 287
2023-01-26 18:18:24 SQLAlchemy 2.0 Released zzzeek 262
2023-01-25 12:12:17 Show HN: A script to test whether a program breaks without network access woodruffw 11
2023-01-24 07:44:51 Certified 100% AI-free organic content artpi 291
2023-01-23 14:12:30 An incomplete guide to stealth addresses DocFeind 116
2023-01-21 22:48:10 Do Large Language Models learn world models or just surface statistics? danboarder 286
2023-01-21 12:16:01 Thoughts on the Python packaging ecosystem BerislavLopac 130
2023-01-20 23:41:29 Google Calls in Help from Larry Page and Sergey Brin for A.I. Fight signa11 43
2023-01-21 10:08:13 On-demand electrical control of spin qubits (2023) westurner 2
2023-01-16 05:32:12 Reverse engineering a neural network's clever solution to binary addition Ameo 562
2023-01-16 01:59:11 Heat pumps of the 1800s are becoming the technology of the future adrian_mrd 399
2023-01-16 04:49:31 How Nvidia’s CUDA Monopoly in Machine Learning Is Breaking pella 147
2023-01-13 16:18:36 Large language models as simulated economic agents (2022) [pdf] benbreen 87
2023-01-14 13:42:52 Homelab analog telephone exchange zdw 125
2023-01-13 08:58:45 A 116kb WASM of Blink that lets you run x86_64 Linux binaries in the browser samwillis 294
2023-01-12 08:11:04 SQLite Wasm in the browser backed by the Origin Private File System bubblehack3r 371
2023-01-07 16:26:34 The i3-gaps project has been merged with i3 harporoeder 454
2023-01-07 11:29:30 Show HN: Futurecoder – A free interactive Python course for coding beginners alexmojaki 371
2023-01-07 07:22:11 Tell HN: Vim users, `:x` is like `:wq` but writes only when changes are made manaskarekar 536
2023-01-06 11:44:31 Ask HN: Is there academic research on software fragility? fedeb95 46
2023-01-07 13:35:49 Seattle Public Schools sues TikTok, YouTube, Instagram over youth mental health chimerasaurus 169
2023-01-02 10:08:28 Mechanical circuits: electronics without electricity [video] zdw 135
2022-12-23 02:04:29 Python malware starting to employ anti-debug techniques lukastyrychtr 143
2023-01-01 17:02:03 Adding design-by-contract conditions to C++ via a GCC plugin gavinray 128
2022-12-11 07:55:21 Paper-thin solar cell can turn any surface into a power source taubek 2
2022-12-17 08:34:00 Solar energy can now be stored for up to 18 years, say scientists westurner 3
2022-12-16 12:36:36 Solar panels open crop lands to farming energy mfiguiere 66
2022-12-16 10:18:56 California pulls the plug on rooftop solar DocFeind 190
2022-12-09 10:59:40 DeepMind Dramatron: a new tool for writers to co-write theatre and film scripts mfiguiere 116
2022-12-07 03:40:00 New Docker Desktop: Run WASM Applications Alongside Linux Containers in Docker 3Sophons 58
2022-11-30 02:13:58 Ask HN: Which books have made you a better thinker and problem solver? newsoul 354
2022-11-30 02:04:31 Building arbitrary Life patterns in 15 gliders mikro2nd 510
2022-11-21 16:56:53 MicroPython officially becomes part of the Arduino ecosystem kachnuv_ocasek 109
2022-11-14 14:57:46 ELIZA is Turing Complete abrax3141 72
2022-11-14 12:32:36 Draft RFC: Cryptographic Hyperlinks westurner 11
2022-11-11 23:17:22 Hydrogen-producing rooftop solar panels nearing commercialization danboarder 11
2022-11-13 07:00:06 Show HN: I built my own PM tool after trying Trello, Asana, ClickUp, etc. tonypham 608
2022-11-11 07:55:11 NSA urges orgs to use memory-safe programming languages AlexeyBrin 218
2022-11-11 03:54:26 YouTube confirms that it has removed the “sort by oldest/newest” option nixass 581
2022-11-06 23:33:45 Aluminum formate Al(HCOO)3: Earth-abundant, scalable, & material for CO2 capture westurner 122
2022-11-06 04:27:53 Electrons turn piece of wire into laser-like light source dr_dshiv 65
2022-10-25 18:58:31 TabPFN: Transformer Solves Small Tabular Classification in a Second jupiterelastica 60
2022-11-04 23:59:59 Mathics: A free, open-source alternative to Mathematica memorable 560
2022-11-05 04:45:50 Astronomers Discover Closest Black Hole to Earth tannhaeuser 69
2022-11-04 08:49:59 Sudo: Heap-based overflow with small passwords thewavelength 279
2022-11-02 16:08:11 Cree releases LEDs designed for horticulture milleramp 173
2022-11-02 11:28:26 Phlare: open-source database for continuous profiling at scale PaulWaldman 240
2022-11-01 16:38:25 NASA finds super-emitters of methane walterbell 767
2022-10-18 11:12:43 Show HN: Linen – Open-source Slack for communities cheeseblubber 291
2022-10-29 02:34:59 Protobuf-ES: Protocol Buffers TypeScript/JavaScript runtime jacobwg 205
2022-10-30 22:41:43 We need a replacement for TCP in the datacenter [pdf] kristianp 478
2022-10-30 09:21:37 A Message from Lunny on Gitea Ltd. and the Gitea Project fariszr 106
2022-10-30 11:45:53 Linux System Call Table – Chromiumos neophyt3 4
2022-10-27 03:27:52 Variability, not repetition, is the key to mastery maksimur 221
2022-10-24 14:33:43 The Docker+WASM Technical Preview soheilpro 201
2022-10-24 16:35:09 Python 3.11.0 Released maximilianroos 102
2022-10-24 09:36:17 Tomorrow the Unix timestamp will get to 1,666,666,666 bubblehack3r 248
2022-10-22 16:02:29 Bringing Modern Authentication APIs (FIDO2 WebAuthn, Passkeys) to Linux Desktop alfie42 20
2022-10-22 07:59:16 Science, technology and innovation isn’t addressing world’s most urgent problems giuliomagnifico 136
2022-10-19 09:20:55 Quantum Monism Could Save the Soul of Physics nyc111 33
2022-10-11 05:21:43 Geothermal may beat batteries for energy storage rbanffy 196
2022-10-19 20:45:32 PostgresML is 8-40x faster than Python HTTP microservices redbell 116
2022-10-14 23:12:51 Ask HN: How to become good at Emacs/Vim? mudrockbestgirl 42
2022-10-14 20:15:20 The VSCode GitLab extension now supports getting code completions from FauxPilot moyix 190
2022-10-14 11:18:17 You Can Now Google the Balances of Ethereum Addresses wslh 14
2022-10-11 06:26:53 Blender: Wayland Support on Linux TangerineDream 356
2022-10-11 12:43:01 Xpra: Multi-platform screen and application forwarding system for x11 nateb2022 111
2022-10-07 18:30:22 Retinoid restores eye-specific brain responses in mice with retinal degeneration bookofjoe 81
2022-10-01 07:46:12 How to turn waste polyethylene into something useful helsinkiandrew 9
2022-10-04 06:46:57 EU Passes Law to Switch iPhone to USB-C by End of 2024 popol12 572
2022-09-24 11:33:05 Vulhub: Pre-Built Vulnerable Environments Based on Docker-Compose nateb2022 100
2022-09-27 12:24:32 Bash 5.2 RealAlexClay 185
2022-09-24 04:48:16 Mozilla reaffirms that Firefox will continue to support current content blockers bj-rn 642
2022-09-23 06:54:53 Manifest V3, webRequest, and ad blockers dagurp 133
2022-09-19 13:41:52 1Hz CPU made in Minecraft running Minecraft at 0.1fps [video] reimertz 870
2022-09-20 07:07:02 Hash collisions and exploitations – Instant MD5 collision losfair 166
2022-09-19 12:50:41 AI Seamless Texture Generator Built-In to Blender myth_drannon 336
2022-09-18 11:15:07 Faraday and Babbage: Semiconductors and Computing in 1833 klelatti 28
2022-09-18 21:25:15 macOS Subsystem for Linux dzdt 253
2022-09-18 23:44:30 Global-Chem: A Free Dictionary from Common Chemical Names to Molecules Sulstice 35
2022-09-18 11:47:03 GCC's new fortification level: The gains and costs pjmlp 128
2022-09-18 12:50:41 Poor writing, not specialized concepts, drives difficulty with legal language rntn 559
2022-09-17 08:28:42 U.S. appeals court rejects big tech’s right to regulate online speech testrun 523
2022-09-12 10:26:48 Transformers seem to mimic parts of the brain theafh 140
2022-09-15 10:19:00 Chaos researchers can now predict perilous points of no return theafh 145
2022-09-14 18:13:12 GraphBLAS hui-zheng 104
2022-09-11 15:03:27 Common Lisp names all sixteen binary logic gates optimalsolver 158
2022-09-09 07:02:22 Google pays ‘enormous’ sums to maintain search-engine dominance, DOJ says helsinkiandrew 403
2022-09-10 06:59:09 Ask HN: Best empirical papers on software development? KingOfCoders 129
2022-09-09 04:24:28 Why public chats are better than direct messages stebunovd 156
2022-09-08 10:23:07 Planting trees not always an effective way of binding carbon dioxide hhs 122
2022-09-08 13:09:11 Caddyhttp: Enable HTTP/3 by Default fariszr 284
2022-09-08 12:39:07 Make better decisions with fewer online meetings bjuly 85
2022-09-08 09:06:22 Europe’s energy crisis hits science elashri 56
2022-09-08 02:09:26 The Risks of WebAssembly 0xmohit 66
2022-09-07 11:05:52 Pypi.org is running a survey on the state of Python packaging zbentley 233
2022-09-05 09:37:58 All poverty is energy poverty bedbot 309
2022-09-02 08:53:37 One Serverless Principle to Rule Them All: Idempotency [video] kiyanwang 73
2022-08-31 10:21:29 Ask HN: IT Security Checklist for Startups? faizshah 133
2022-08-30 20:48:51 Fed expects to launch long-awaited Faster Payments System by 2023 npalli 199
2022-08-30 10:05:42 REPL Driven Minecraft joelittlejohn 192
2022-08-26 13:31:32 Fast.ai's Practical Deep Learning for Coders Has Been Updated EntICOnc 16
2022-08-26 10:42:45 Reducing methane is the fastest strategy available to reduce warming nipponese 123
2022-08-23 08:31:35 VS Code – What's the deal with the telemetry? ttctciyf 194
2022-08-18 07:05:28 Learn to sew your own outdoor gear almog 748
2022-08-18 10:58:43 FedNow FAQ hnburnsy 232
2022-08-18 00:32:43 Ask HN: Why are bookmarks second class citizens in browsers? vapemaster 271
2022-08-18 13:45:48 Millet, a Language Server for SML todsacerdoti 129
2022-08-15 20:23:20 The Cha Cha Slide Is Turing Complete eatonphil 7
2022-08-11 10:16:04 What is quantum field theory and why is it incomplete? digital55 106
2022-08-10 07:49:38 The Dymaxion car: Buckminster Fuller’s failed automobile conanxin 83
2022-08-10 16:43:34 Top Secret Rosies: The Female “Computers” of WWII jacquesm 66
2022-08-10 15:54:50 The World Excel Championship is being broadcast on ESPN dmitryminkovsky 517
2022-08-11 00:21:46 Quantum in the Chips and Science Act of 2022 westurner 1
2022-08-10 19:21:42 Where does energy go during destructive interference? amelius 32
2022-08-10 07:27:45 Adding Auditing to Pip chmaynard 67
2022-08-09 13:35:57 Tesla’s self-driving technology fails to detect children in the road, tests find philk10 75
2022-08-03 12:08:02 Why do tree-based models still outperform deep learning on tabular data? isolli 315
2022-08-01 18:40:38 AlphaFold's database grows over 200x to cover nearly all known proteins OnlineInference 152
2022-08-03 05:13:04 Django 4.1 j4mie 289
2022-08-02 00:18:26 Ask HN: Is there a tool / product that enables commenting on HTML elements? _lb7x 91
2022-07-22 00:52:35 Coinbase does not list securities. End of story kgwgk 30
2022-07-30 18:56:39 I Looked into 34 Top Real-World Blockchain Projects So You Don’t Have To ghuntley 247
2022-07-29 01:02:13 NIST announces preliminary winners of post-quantum competition zaik 87
2022-07-27 09:48:17 RStudio Is Becoming Posit tosh 119
2022-07-24 23:59:28 Ask HN: Why are there so few artificial sunlight or artificial window products? stevage 138
2022-07-26 12:14:28 LiteFS a FUSE-based file system for replicating SQLite sysbot 241
2022-07-24 22:30:22 Heaviest neutron star on record is 2.35 times the Solar mass lota-putty 2
2022-07-21 10:31:20 Show HN: Pg_jsonschema – A Postgres extension for JSON validation oliverrice 203
2022-07-18 11:56:47 Computer science proof unveils unexpected form of entanglement theafh 106
2022-07-20 11:34:10 Securing name resolution in the IoT: DNS over CoAP pantalaimon 22
2022-07-13 12:42:22 Maybe powers of π don't have unexpectedly good approximations? thomasahle 75
2022-07-15 02:12:15 Freezing Requirements with Pip-Tools BerislavLopac 54
2022-07-04 20:37:38 Qubit: Quantum register: Qudits and qutrits westurner 3
2022-07-05 12:10:38 To improve search results on YouTube, use the search prefix “intitle:” normhill 358
2022-07-05 17:08:28 OpenSSL Security Advisory arkadiyt 138
2022-07-04 23:13:50 Axial Higgs mode spotted in materials at room temperature (2022) westurner 1
2022-07-04 09:48:19 New study shows highly creative people’s brains work differently from others' NickRandom 136
2022-07-03 11:10:38 Visualizing quantum mechanics in an interactive simulation JoeDaDude 171
2022-07-01 09:27:12 Show HN: CSVFiddle – Query CSV files with DuckDB in the browser shbhrsaha 64
2022-06-30 21:00:55 A fast in-place interpreter for WebAssembly azhenley 29
2022-06-21 09:59:36 One-liner for running queries against CSV files with SQLite jdblair 747
2022-06-24 14:26:46 Show HN: Easily Convert WARC (Web Archive) into Parquet, Then Query with DuckDB llambda 116
2022-06-17 08:00:43 Bundling binary tools in Python wheels pcr910303 108
2022-06-17 04:37:45 Quantum Algorithm Implementations for Beginners rg111 110
2022-06-14 04:26:32 How to create a dashboard in Python with Jupyter Notebook pplonski86 188
2022-06-12 06:10:03 The Y Combinator in Go with generics mfrw 118
2022-06-09 18:54:08 Show HN: Pixie, open source observability for Kubernetes using eBPF nserrino 6
2022-06-10 17:52:12 Implementing strace in Rust JAKWAI 2
2022-06-09 16:36:58 Gitsign semiquaver 104
2022-06-09 16:54:49 Physicists discover never-before seen particle sitting on a tabletop spekcular 46
2022-06-08 12:45:24 The case for expanding rather than eliminating gifted education programs (2021) paulpauper 796
2022-06-08 09:32:13 Beautiful Soup memorable 226
2022-06-02 11:16:27 Formal methods only solve half my problems mjb 69
2022-06-01 06:37:20 Show HN: An open source alternative to Evernote (Self Hosted) vivekweb2013 241
2022-06-01 23:29:28 How are you using your whiteboard at home? regular_dev 1
2022-05-24 11:14:44 California parents could soon sue for social media addiction prostoalex 165
2022-05-26 03:39:12 Microsoft Flight Simulator – Top Gun: Maverick Expansion westurner 1
2022-05-22 12:03:07 Generating websites with SPARQL and Snowman, part 1 davidrupp 50
2022-05-22 10:12:50 Index funds officially overtake active managers andsoitis 176
2022-05-22 01:56:59 Why building profitable trading bot is hard? Kshitijmore 14
2022-05-14 00:59:26 The Good Ol' Days of QBasic Nibbles elvis70 80
2022-05-14 08:43:46 Can we make a black hole? And if we could, what could we do with it? nsoonhui 142
2022-05-14 13:18:21 DNS over Dedicated QUIC Connections mooreds 49
2022-05-13 05:57:58 Twitter Deal Temporarily on Hold palebluedot 650
2022-05-09 14:27:05 Show HN: Pythondocs.xyz – Live search for Python documentation danosull 74
2022-05-08 22:08:15 Colleges where everyone works and there's no tuition bale 186
2022-05-04 09:27:42 What are your most used self-hosted applications? geeked 735
2022-05-04 00:17:23 Sqldiff: SQLite Database Difference Utility thunderbong 210
2022-04-30 14:17:18 GitBOM: Enabling universal artifact traceability in software supply chains todsacerdoti 26
2022-04-26 07:05:34 Compostable fungi-based replacement for styrofoam gruuya 202
2022-04-24 13:30:52 Evolution is not a tree of life but a fuzzy network ALee 100
2022-04-23 10:53:06 U.S. interest rates have soared everywhere but savings accounts mgh2 237
2022-04-20 11:57:01 Changing std:sort at Google’s scale and beyond ashvardanian 557
2022-04-13 04:41:13 Deep Learning Poised to ‘Blow Up’ Famed Fluid Equations takiwatanga 54
2022-04-16 01:56:26 Gigahertz topological valley Hall effect in NEMS phononic crystals westurner 2
2022-04-16 01:54:48
2022-04-14 10:13:22 Doing small network scientific machine learning in Julia faster than PyTorch adgjlsfhk1 178
2022-04-13 09:56:37 Logarithms yearning to be free _Microft 75
2022-04-12 08:49:34 Show HN: Monocle – bidirectional code generation library lucasluitjes 148
2022-04-12 16:11:52 Organization Discussions – GitHub Changelog judge2020 37
2022-04-08 23:04:23 Fossil of dinosaur killed in asteroid strike found, scientists claim Hooke 225
2022-04-07 01:08:26 We’ve got a science opportunity overload: Launching the Wolfram Institute nsoonhui 255
2022-04-06 23:13:22 Wind Turbine Blades Can’t Be Recycled, So They’re Piling Up in Landfills (2020) mizzao 13
2022-04-06 06:59:47 GhostSCAD: Marrying OpenSCAD and Golang ljan 54
2022-04-06 13:01:46 The existence of true one-way functions depends on Kolmogorov complexity theafh 439
2022-04-06 09:58:09 Language of fungi derived from their electrical spiking activity T-A 239
2022-04-02 09:35:52 Lifetime Annotations for C++ akling 184
2022-04-03 23:43:51 Learn about Concept Maps Tomte 83
2022-04-03 21:09:20 The Personal Security Checklist mcrump 253
2022-04-03 16:40:09 Study Tips from Richard Feynman takiwatanga 196
2022-04-02 11:21:44 Minimodem – general-purpose software audio FSK modem marcodiego 152
2022-04-01 08:02:11 Ask HN: Why don't PCs have better entropy sources? bloopernova 127
2022-04-01 02:58:02 Postgres wire compatible SQLite proxy ithkuil 288
2022-04-01 11:12:05 Show HN: Redo – Command line utility for quickly creating shell functions silentprog 124
2022-04-01 03:50:13 Rustc_codegen_GCC can now bootstrap rustc bestouff 197
2022-03-29 11:17:56 Black Holes Shown to Act Like Quantum Particles theafh 36
2022-03-30 12:00:10 Dagger: a new way to build CI/CD pipelines shykes 395
2022-03-30 09:13:14 Grafana Mimir – Horizontally scalable long-term storage for Prometheus devsecopsify 261
2022-03-27 20:00:26 Physicists Build Circuit That Generates Clean, Limitless Power from Graphene (2020) joak 51
2022-03-28 06:54:35 Recommendations when publishing a WASM library comagoosie 39
2022-03-25 09:54:28 A statically typed scripting language that transpiles to Posix sh TaKO8Ki 251
2022-03-24 07:46:33 If you’re not using SSH certificates you’re doing SSH wrong (2019) noyesno 459
2022-03-23 14:32:44 Google's Certificate Transparency Search page to be discontinued May 15th, 2022 TheBrokenRail 79
2022-03-23 16:08:39 Implementing a toy version of TLS 1.3 jfarmer 224
2022-03-22 13:34:54 The quantum technology ecosystem explained sblank 70
2022-03-19 16:54:56 Debugging with GDB ingve 194
2022-03-22 22:52:06 Researchers store a quantum bit for a record-breaking 20 milliseconds westurner 8
2022-03-22 01:09:24 Arpchat – Text your friends on the same network using just ARP calmingsolitude 88
2022-03-17 11:42:25 'Quantum hair’ could resolve Hawking’s black hole paradox, say scientists monkey_monkey 2
2022-03-19 14:57:20 A Primer on Proxies jgrahamc 142
2022-03-21 14:34:03 Ask HN: Tools to generate coverage of user documentation for code tstack 6
2022-03-19 12:47:27 Show HN: `Git add -p` with multiple buckets aleclm 94
2022-03-17 04:25:09 Beavers back in London after 400-year absence zeristor 179
2022-03-17 15:48:41 Show HN: A Graphviz Implementation in Rust Q26124 182
2022-03-10 21:10:47 How to record data for reinforcement learning agent from any Linux game (2020) mooreds 58
2022-03-14 17:10:10 Podman can transfer container images without a registry kukx 149
2022-03-14 21:58:34 Light exposure during sleep impairs cardiometabolic function sndean 275
2022-03-14 13:34:33 Show HN: Instantly create a GitHub repository to take screenshots of a web page simonw 214
2022-03-13 12:20:31 Lawn mowing frequency affects bee abundance and diversity (2018) gkfasdfasdf 224
2022-03-12 11:12:14 Lasers could cut lifespan of nuclear waste from a million years to 30 minutes metaph6 235
2022-03-12 14:09:35 Show HN: Hubfs – File System for GitHub billziss 160
2022-03-09 11:10:12 Physicists steer chemical reactions by magnetic fields and quantum interference wrycoder 103
2022-03-08 10:01:48 White noise improves learning by modulating activity in midbrain regions (2014) Friday_ 219
2022-03-10 15:27:51 Show HN: Prepform – AI and spaced-repetition to optimize learning techmowgli 50
2022-03-08 21:20:08 Why tensors? A beginner's perspective mfn 173
2022-03-09 11:28:43 Booting ARM Linux the standard way MartijnBraam 139
2022-03-09 02:20:30 PipeWire: A year in review and a look ahead pabs3 262
2022-03-07 17:30:40 How does database indexing work? (2008) luu 253
2022-03-08 09:53:43 WebGPU – All of the cores, none of the canvas jasim 393
2022-03-07 19:14:42 Command-line Tools can be 235x Faster than your Hadoop Cluster (2014) graderjs 360
2022-03-03 14:21:56 CPython, C standards, and IEEE 754 jwilk 119
2022-03-03 10:43:26 Ask HN: Books recommendations on developing critical thinking? jackallis 29
2022-02-23 18:00:29 Web Share API jka 2
2022-02-22 12:13:02 Ask HN: Is Kubernetes the only alternative for being cloud agnostic? taylodl 37
2022-02-21 09:17:07 Bootloader Basics mooreds 104
2022-02-21 01:35:17 Automerge: A JSON-like data structure (a CRDT) that can be modified concurrently yamrzou 274
2022-02-17 09:18:48 A 13-year-old used my artificial nose to diagnose pneumonia kartben_ 324
2022-02-20 17:43:21 Lit-up fishing nets reduce catch of unwanted sharks, rays and squid: study bryanrasmussen 82
2022-02-17 09:50:14 Design of a rapid transit to Mars mission using laser-thermal propulsion nixass 55
2022-02-17 03:41:39 WebGL 2.0 Achieves Pervasive Support from All Major Web Browsers nkjoep 220
2022-02-17 09:25:13 Uniting the Linux random-number devices h1x 125
2022-02-11 15:44:37 Carbon Robotics new LaserWeeder with 30 lasers to autonomously eradicate weeds rmason 19
2022-02-09 11:16:05 Launch HN: Pelm (YC W22) – Plaid for Utilities drewkim 101
2022-02-07 08:31:11 Show HN: SHA-256 explained step-by-step visually manceraio 1241
2022-02-06 14:36:54 Frank Rosenblatt's perceptron paved the way for AI 60 years too soon (2019) ilamont 184
2022-02-04 06:52:18 1999 Repeal of Glass-Steagall was the worst deregulation enacted in US history consumer451 135
2022-02-01 16:20:25 America’s Covid job-saving programme gave most of its cash to the rich pseudolus 526
2022-02-03 10:13:55 Ask HN: Do you use TLA+? riddleronroof 49
2022-02-02 13:53:21 New material that can absorb and release enormous amounts of energy prostoalex 189
2022-02-01 14:01:08 WebVM: Server-less x86 virtual machines in the browser AshleysBrain 350
2022-01-29 15:48:54 Plant-based epoxy enables recyclable carbon fiber kungfudoi 174
2022-01-30 08:04:36 Ask HN: Is it worth it to learn C to better understand Python? Takizawamura 54
2022-01-30 04:16:16 GDPR penalty for passing on of IP address to Google by using Google Fonts sitting_duck 389
2022-01-26 17:53:35 Rancher Desktop 1.0 vyskocilm 152
2022-01-25 07:56:27 Systemd by Example Foxboron 496
2022-01-25 15:05:09 Pwnkit: Local Privilege Escalation in polkit's pkexec (CVE-2021-4034) todsacerdoti 268
2022-01-19 22:48:12 MicroShift wallflower 122
2022-01-18 05:31:08 Systemd service sandboxing and security hardening (2020) capableweb 293
2022-01-16 16:27:55 Why isn't there a universal data format for résumés? ColinWright 427
2022-01-15 08:18:25 LAN-port-scan forbidder, browser addon to protect private network gry_gh 48
2021-12-18 01:26:35 Ask HN: What are the best books for professional effectiveness? arikr 107
2021-11-19 14:49:08 HTTP Message Signatures mooreds 58
2021-11-29 15:43:15 Asmrepl: REPL for x86 Assembly Language tekkertje 230
2021-11-26 11:17:29 On yak shaving and <md-block>, a new HTML element for Markdown feross 118
2021-11-21 15:51:49 Thoughts on “E-Readers” (2009) ctoth 56
2021-11-07 12:48:12 Ask HN: Why don’t startups share their cap table and/or shares outstanding? axg11 2
2021-11-02 13:16:45 Toxiproxy is a framework for simulating network conditions taf2 213
2021-11-01 15:38:12 Report on Stablecoins [pdf] TheAlchemist 654
2021-11-01 10:03:38 Intel Extension for Scikit-Learn privong 182
2021-10-29 11:57:36 The Metaverse Was Lame Even Before Facebook coffeefirst 39
2021-10-26 11:13:21 Is college worth it? A return-on-investment analysis paulpauper 146
2021-10-26 16:05:00 Notes from the Meeting on Python GIL Removal Between Python Core and Sam Gross rbanffy 248
2021-10-14 14:54:06 Show HN: OtterTune – Automated Database Tuning Service for RDS MySQL/Postgres apavlo 164
2021-10-24 10:14:11 Despite having just 5.8% sales, over 38% of bug reports come from Linux otreblan 1290
2021-10-24 16:26:23 Arrow DataFusion includes Ballista, which does SIMD and GPU vectorized ops westurner 2
2021-10-21 02:51:09 Parsing gigabytes of JSON per second signa11 139
2021-10-21 15:14:23 Fed to ban policymakers from owning individual stocks awb 577
2021-10-21 10:52:11 Hardened wood as a renewable alternative to steel and plastic Tomte 315
2021-10-20 03:27:50 Investors use AI to analyse CEOs’ language patterns and tone pseudolus 109
2021-10-09 19:15:34 Graph of Keybase commits pre and post Zoom acquisition 0des 348
2021-10-19 17:57:29 Single sign-on: What we learned during our identity alpha open-source-ux 145
2021-10-19 14:23:13 Five things we still don’t know about water Anon84 305
2021-10-19 19:45:09 New Optical Switch Up to 1000x Faster Than Transistors ofou 267
2021-10-17 21:00:38 Show HN: I built a sonar into my surfboard foobarbecue 332
2021-10-15 18:29:05 Cortical Column Networks RageoftheRobots 49
2021-10-05 07:30:30 Startup Ideas luu 223
2021-10-05 13:15:42 It is easier to educate a Do-er than to motivate the educated tosh 448
2021-09-30 09:59:40 Are software engineering “best practices” just developer preferences? floverfelt 316
2021-09-30 10:50:30 Major Quantum Computing Strategy Suffers Serious Setbacks elsewhen 90
2021-09-29 09:27:45 Attempts to scientifically “rationalize” policy may be damaging democracy anarbadalov 235
2021-09-29 04:18:46 Response to 'Call for Review: Decentralized Identifiers (DIDs) v1.0' lorn3 86
2021-09-29 18:01:08 Apple didn't revolutionize power supplies; new transistors did (2012) Rondom 208
2021-09-27 18:02:51 What does my engineering manager do all day? mooreds 187
2021-09-23 12:29:15 Using two keyboards at once for pain relief ruffrey 349
2021-09-22 10:52:56 Waydroid – Run Android containers on Ubuntu pabs3 684
2021-09-16 11:36:55 Biologists Rethink the Logic Behind Cells’ Molecular Signals theafh 104
2021-09-16 23:47:13 The Shunting-yard algorithm converts infix notation to RPN westurner 2
2021-09-16 23:46:10
2021-09-13 20:13:29 How should logarithms be taught? raviparikh 34
2021-09-15 12:12:35 Automatic cipher suite ordering in Go’s crypto/tls FiloSottile 122
2021-09-14 04:50:14 Scikit-Learn Version 1.0 m3at 260
2021-09-14 09:11:22 Signed Exchanges on Google Search oedmarap 5
2021-09-11 17:43:17 AlphaGo documentary (2020) [video] rdli 248
2021-09-11 11:16:26 Interpretable Model-Based Hierarchical RL Using Inductive Logic Programming YeGoblynQueenne 66
2021-09-13 07:41:02 Ship / Show / Ask: A modern branching strategy NicoJuicy 157
2021-09-13 13:38:02 Show HN: TweeView – A Tree Visualisation of Twitter Conversations edent 55
2021-09-11 15:07:03 Wireless Charging Power Side-Channel Attacks tosh 68
2021-09-11 15:07:11 How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors michaelsbradley 179
2021-09-12 08:36:03 Physics-Based Deep Learning Book Anon84 195
2021-09-10 03:38:41 Ask HN: Books that teach you programming languages via systems projects? Foe 204
2021-09-04 16:40:30 How you can track your personal finances using Python siddhant 140
2021-09-09 17:22:35 CISA Lays Out Security Rules for Zero Trust Clouds CrankyBear 6
2021-09-09 07:53:55 Show HN: Heroku Alternative for Python/Django apps appliku 183
2021-09-09 13:33:54 SPDX Becomes Internationally Recognized Standard for Software Bill of Materials warp 10
2021-09-07 03:35:39 Show HN: Arxiv.org on IPFS hugoroussel 238
2021-09-04 13:46:05 New Texas Abortion Law Likely to Unleash a Torrent of Lawsuits Against Education gamontserrat 118
2021-09-02 20:25:43 DARPA grant to work on sensing and stimulating the brain noninvasively [video] grawprog 83
2021-09-02 19:55:58 New Ways to Be Told That Your Python Code Is Bad nickdrozd 102
2021-09-03 05:14:58 Web-based editor pjmlp 564
2021-09-03 06:48:06 GitHub Copilot Generated Insecure Code in 40% of Circumstances During Experiment elsombrero 261
2021-09-01 10:00:44 AAS Journals Will Switch to Open Access sohkamyung 215
2021-08-30 23:46:28 White House Launches US Digital Corps elsewhen 160
2021-08-25 08:13:52 Launch HN: Litnerd (YC S21) – Teaching kids to read with the help of live actors Anisa_Mirza 127
2021-08-27 12:20:28 Nimforum: Lightweight alternative to Discourse written in Nim ducktective 172
2021-08-21 12:21:58 An Opinionated Guide to Xargs todsacerdoti 402
2021-08-20 21:41:10 Enhanced Support for Citations on GitHub chenzhekl 80
2021-08-18 17:51:46 Canada calls screen scraping ‘unsecure,’ sets Open Banking target for 2023 exotree 349
2021-08-13 09:03:22 Interactive Linear Algebra (2019) natemcintosh 365
2021-08-12 16:12:15 Git password authentication is shutting down judge2020 440
2021-08-12 10:33:42 A future for SQL on the web rasmusfabbe 925
2021-08-01 11:34:17 Show HN: Python Source Code Refactoring Toolkit via AST treesciencebot 110
2021-08-03 09:27:50 Emacs' org-mode gets citation support NeutralForest 234
2021-08-03 11:55:43 NSA Kubernetes Hardening Guidance [pdf] kennethko 635
2021-07-31 02:56:35 Hosting SQLite Databases on GitHub Pages isnotchicago 567
2021-07-22 23:42:24 Ask HN: Any good resources on how to be a great technical advisor to startups? _009 21
2021-07-11 21:23:27 Teaching other teachers how to teach CS better robfig 156
2021-07-06 12:15:22 Ask HN: Best online speech / public speaking course? i_am_not_elon 33
2021-06-30 21:39:31 Google sunsets the APK format for new Android apps kevin_thibedeau 142
2021-06-22 12:30:43 A from-scratch tour of Bitcoin in Python yigitdemirag 1187
2021-06-13 17:33:23 An Omega-3 that’s poison for cancer tumors elorant 255
2021-06-08 19:09:39 Discover and Prevent Linux Kernel Zero-Day Exploit Using Formal Verification vzaliva 3
2021-06-04 13:28:44 Anatomy of a Linux DNS Lookup belter 168
2021-05-29 02:59:45 JupyterLite – WASM-powered Jupyter running in the browser ahurmazda 205
2021-05-26 16:05:11 Accenture, GitHub, Microsoft and ThoughtWorks Launch the GSF scottcha 4
2021-05-27 14:21:55 DRAM Alternative Developed: 4X Higher Density at Higher Speed and Lower Power billyharris 14
2021-05-27 11:07:44 Rocky Linux releases its first release candidate sparcpile 147
2021-05-26 06:09:46 USB-C is about to go from 100W to 240W, enough to power beefier laptops Tomte 427
2021-05-25 12:02:06 Half-Double: New hammering technique for DRAM Rowhammer bug fqazi 189
2021-05-20 15:20:29 Setting up a Raspberry Pi with 2 Network Interfaces as a simple router geerlingguy 126
2021-05-19 03:20:31 What to do about GPU packages on PyPI? polm23 123
2021-05-18 17:17:39 Markdown Notes VS Code extension: Navigate notes with [[wiki-links]] julienreszka 2
2021-05-11 14:07:44 Ask HN: Choosing a language to learn for the heck of it bsg75 13
2021-05-10 11:53:54 Show HN: Django SQL Dashboard simonw 202
2021-05-06 13:33:00 Interactive IPA Chart Jeud 243
2021-05-06 16:15:29 Google Dataset Search abraxaz 386
2021-05-04 20:09:49 Ask HN: Cap Table Service Recommendations Ankaios 1
2021-05-02 12:43:15 Hosting SQLite databases on GitHub Pages or any static file hoster phiresky 1808
2021-04-23 13:11:53 Wasm3 compiles itself (using LLVM/Clang compiled to WASM) theBashShell 178
2021-04-24 01:18:52 Remote code execution in Homebrew by compromising the official Cask repository spenvo 387
2021-04-22 12:51:22 Semgrep: Semantic grep for code ievans 415
2021-04-10 09:05:03 Ask HN: What to use instead of Bash / Sh for scripting? lordgroff 52
2021-04-09 13:11:27 Estonian Electronic Identity Card and Its Security Challenges [pdf] IndrekR 72
2021-04-08 20:49:08 Systemd makes life miserable, again, this time by breaking DNS bcrl 5
2021-04-08 21:35:57 Ask HN: How bad is proof-of-work blockchain energy consumption? furrowedbrow 2
2021-03-30 17:42:22 What does a PGP signature on a Git commit prove? JNRowe 147
2021-03-30 06:40:47 Breakthrough for ‘massless’ energy storage reimertz 233
2021-03-25 10:08:52 OpenSSL Security Advisory arkadiyt 327
2021-03-26 14:15:06 How much total throughput can your wi-fi router really provide? giuliomagnifico 84
2021-03-23 17:28:53 The Most Important Scarce Resource Is Legitimacy ve55 119
2021-03-19 11:31:14 A few notes on message passing srijan4 151
2021-03-11 13:41:42 Duolingo's language notes all on one page rococode 265
2021-03-11 12:19:20 Ask HN: The easiest programming language for teaching programming to young kids? simplerman 25
2021-03-07 10:09:22 Raspberry Pi for Kill Mosquitoes by Laser ColinWright 342
2021-03-07 10:16:33 Donate Unrestricted razin 288
2021-03-02 09:55:02 Bitcoin Is Time taylorwc 442
2021-02-28 06:34:44 Foundational Distributed Systems Papers mastabadtomm 253
2021-02-28 21:46:20 Low-Cost Multi-touch Whiteboard using the Wiimote (2007) [video] jstrieb 49
2021-02-27 21:56:01 How to Efficiently Choose the Right Database for Your Applications gesaint 80
2021-02-21 17:26:02 A Data Pipeline Is a Materialized View nchammas 144
2021-02-18 06:17:14 There’s no such thing as “a startup within a big company” isolli 635
2021-02-18 03:21:39 Ask HN: Keyrings: per-package/repo; commit, merge, and release keyrings? westurner 1
2021-02-13 01:42:16 Threat Actors Now Target Docker via Container Escape Features pizza 134
2021-02-11 23:09:15 Ask HN: What security is in place for bank-to-bank EFT? andrewon 1
2021-02-11 09:06:18 Podman: A Daemonless Container Engine lobo_tuerto 320
2021-02-10 07:54:05 Cambridge Bitcoin Electricity Consumption Index apples_oranges 979
2021-02-10 13:41:55 Bitcoin's fundamental value is negative given its environmental impact martinlaz 134
2021-02-05 13:41:13 Ask HN: What are some books where the reader learns by building projects? Shosty123 53
2021-02-05 09:05:57 Is it wrong to demand features in open-source projects? theabbie 8
2021-02-02 09:43:58 CompilerGym: A toolkit for reinforcement learning for compiler optimization azhenley 139
2021-01-24 07:17:14 Turning desalination waste into a useful resource thereare5lights 42
2021-01-26 17:41:26 Evcxr: A Rust REPL and Jupyter Kernel batterylow 170
2021-01-24 16:51:25 Ask HN: What is the cost to launch a SaaS business MVP mikesabbagh 16
2021-01-23 17:03:11 Cryptocurreny crime is way ahead of regulators and law enforcement dgellow 114
2021-01-22 14:39:19 Ask HN: Why aren't micropayments a thing? wppick 106
2021-01-21 18:34:43 Elon Musk announces $100M carbon capture prize tito 11
2021-01-11 08:20:39 Tim Berners-Lee wants to put people in control of their personal data IvanSologub 238
2021-01-11 07:08:49 Governments spurred the rise of solar power jakozaur 133
2021-01-05 07:50:03 Termux no longer updated on Google Play martinlaz 362
2021-01-01 16:57:02 Ask HN: What should go in an Excel-to-Python equivalent of a couch-to-5k? etothepii 9
2020-12-28 08:06:01 Scientists turn CO2 into jet fuel vanburen 61
2020-12-27 14:16:01 Show HN: Stork: A customizable, WASM-powered full-text search plugin for the web jil 137
2020-12-27 14:14:42 Upptime – GitHub-powered open-source uptime monitor and status page fahrradflucht 301
2020-12-26 11:31:47 Show HN: Simple-graph – a graph database in SQLite dpapathanasiou 236
2020-12-24 10:54:18 In CPython, types implemented in C are part of the type tree todsacerdoti 108
2020-12-16 08:15:03 Experiments on a $50 DIY air purifier that takes 30s to assemble dyno-might 292
2020-12-13 06:07:56 Goodreads plans to retire API access, disables existing API keys buttscicles 869
2020-12-11 16:33:14 Turing Tumble Simulator tobias2014 2
2020-11-30 07:53:34 Python Pip 20.3 Released with new resolver groodt 224
2020-11-23 14:39:50 Convolution Is Fancy Multiplication ubac 397
2020-11-18 10:09:55 How to better ventilate your home arunbahl 101
2020-11-06 13:01:34 Quantum-computing pioneer Peter Shor warns of complacency over Internet security headalgorithm 2
2020-11-05 01:11:47 CERN Online introductory lectures on quantum computing from 6 November limist 277
2020-11-03 19:31:07 A Manim Code Template HaoZeke 2
2020-10-21 20:28:21 Startup Financial Modeling: What is a Financial Model? (2016) aaronbski 229
2020-10-16 18:23:29 At what grade level do presidential candidates debate? the_afonseca 51
2020-10-11 14:30:27 ElectricityMap – Live CO₂ emissions of electricity production and consumption jka 221
2020-10-09 02:53:03 Bash Error Handling sohkamyung 287
2020-10-09 18:37:09 A Customer Acquisition Playbook for Consumer Startups jcs87 129
2020-10-06 02:34:07 Gathering all open and sustainable technology projects protontypes 3
2020-10-05 11:50:57 Jupyter Notebooks Gallery jeffnotebook 101
2020-10-03 16:33:30 NestedText, a nice alternative to JSON, YAML, TOML nestedtext 302
2020-10-04 12:21:50 Algorithm discovers how six molecules could evolve into life’s building blocks gmays 390
2020-10-02 14:16:05 Physicists build circuit that generates clean, limitless power from graphene westurner 42
2020-09-29 17:37:53 Mozilla shuts project Iodide: Datascience documents in browsers ritwiksaikia 46
2020-09-27 07:18:50 Ask HN: What are good life skills for people to learn? smarri 254
2020-09-23 22:04:25 Four Keys Project metrics for DevOps team performance westurner 3
2020-09-19 09:13:45 Ask HN: Resources to encourage teen on becoming computer engineer? tomrod 111
2020-09-18 14:10:34 CadQuery: A Python parametric CAD scripting framework based on OCCT OJFord 134
2020-09-17 01:31:25 Array Programming with NumPy hardmaru 289
2020-09-17 16:38:37 Do you like the browser bookmark manager? andyware 6
2020-09-17 12:58:46 NIST Samate – Source Code Security Analyzers animationwill 71
2020-09-17 04:19:49 A Handwritten Math Parser in 100 lines of Python gnebehay 64
2020-09-15 06:25:51 PEP – An open source PDF editor for Mac threcius 191
2020-09-12 10:49:38 The Unix timestamp will begin with 16 this Sunday dezmou 452
2020-09-11 07:36:54 Redox: Unix-Like Operating System in Rust bpierre 242
2020-09-11 09:31:37 Ask HN: How are online communities established? jayshua 127
2020-09-10 20:19:41 Python Documentation Using Sphinx keyboardman 1
2020-09-10 07:18:54 Traits of good remote leaders sfg 356
2020-09-09 22:07:59 Show HN: Eiten – open-source tool for portfolio optimization hydershykh 200
2020-09-08 09:51:43 Ask HN: Any well funded tech companies tackling big, meaningful problems? digitalmaster 97
2020-09-07 17:50:02 Column Names as Contracts MaysonL 55
2020-09-06 00:49:07 Graph Representations for Higher-Order Logic and Theorem Proving (2019) brzozowski 104
2020-09-04 22:37:14 Show HN: Linux sysadmin course, eight years on snori74 780
2020-09-03 05:12:02 Software supply chain security mayakacz 82
2020-09-01 13:53:23 Mind Emulation Foundation gk1 93
2020-08-31 22:41:41 13 Beautiful Tools to Enhance Online Teaching and Learning Skills alikayaspor 15
2020-08-28 06:34:50 How close are computers to automating mathematical reasoning? auggierose 100
2020-08-29 11:06:54 New framework for natural capital approach to transform policy decisions westurner 2
2020-08-24 09:19:08 Challenge to scientists: does your ten-year-old code still run? sohkamyung 305
2020-08-19 14:54:09 A deep dive into the official Docker image for Python itamarst 189
2020-08-18 19:01:49 The Consortium for Python Data API Standards BerislavLopac 102
2020-08-07 15:02:57 Tech giants let the Web's metadata schemas and infrastructure languish timhigins 301
2020-08-10 10:39:15 Time-reversal of an unknown quantum state samizdis 23
2020-08-08 12:48:07 Electric cooker an easy, efficient way to sanitize N95 masks, study finds johnny313 201
2020-08-09 19:13:33 Fed announces details of new interbank service to support instant payments tigerlily 682
2020-08-08 21:17:02 Shrinking deep learning’s carbon footprint dsavant 4
2020-08-02 10:44:33 Show HN: Starboard – Fully in-browser literate notebooks like Jupyter Notebook protoduction 369
2020-07-23 16:11:55 Ask HN: Learning about distributed systems? shahrk 35
2020-08-01 22:13:32 Ask HN: How can I “work-out” critical thinking skills as I age? treyfitty 87
2020-07-29 17:21:42 The tragedy of FireWire: Collaborative tech torpedoed by corporations segfaultbuserr 3
2020-07-29 17:17:29 The Developer’s Guide to Audit Logs / SIEM endingwithali 9
2020-07-29 04:26:06 Del.icio.us kome 1649
2020-07-24 19:37:41 Ask HN: Recommendations for Books on Writing? wwright 5
2020-07-23 14:10:29 Ask HN: How did you learn x86-64 assembly? spacechild1 48
2020-07-22 09:39:11 Brain connectivity levels are equal in all mammals, including humans: study hhs 197
2020-07-22 04:21:32 Ask HN: Resources to start learning about quantum computing? edu 185
2020-07-21 11:58:25 Launch HN: Charityvest (YC S20) – Employee charitable funds and gift matching Leonidas243 64
2020-07-20 16:52:03 We Need a Yelp for Doctoral Programs etattva 180
2020-07-20 01:21:29 All of the World’s Money and Markets in One Visualization hippich 135
2020-07-18 21:06:28 Why companies lose their best innovators (2019) hhs 190
2020-07-17 16:48:58 Powerful AI Can Now Be Trained on a Single Computer MindGods 282
2020-07-10 12:30:36 Ask HN: Something like Khan Academy but full curriculum for grade schoolers? jmspring 283
2020-07-09 13:35:44 AutoML-Zero: Evolving Code That Learns theafh 34
2020-07-06 08:25:22 SymPy - a Python library for symbolic mathematics ogogmad 209
2020-07-03 17:05:31 Ask HN: Are there any messaging apps supporting Markdown? 5986043handy 19
2020-06-24 12:36:53 What vertical farming and ag startups don't understand about agriculture kickout 348
2020-06-15 05:26:29 Ask HN: What are your go to SaaS products for startups/MVPs? lbj 169
2020-06-13 08:31:58 Ask HN: Do you read aloud or silently in your minds? Onceagain 6
2020-06-08 08:42:33 Ask HN: How do you deploy a Django app in 2020? eptakilo 3
2020-06-04 21:35:38 Containers from first principles setheron 102
2020-05-27 17:16:56 How many people did it take to build the Great Pyramid? samizdis 136
2020-05-14 16:44:28 Solar’s Future is Insanely Cheap epistasis 152
2020-05-20 14:52:29 Demo of an OpenAI language model applied to code generation [video] cjlovett 281
2020-05-04 18:51:16 Future of the human climate niche origgm 96
2020-05-15 06:25:43 Ask HN: Best resources for non-technical founders to understand hacker mindset? jamiecollinson 114
2020-05-11 10:08:31 Dissecting the code responsible for the Bitcoin halving Mojah 39
2020-04-30 13:06:53 Ask HN: Does mounting servers parallel with the temperature gradient trap heat? westurner 2
2020-04-26 16:33:13 Psychological techniques to practice Stoicism hoanhan101 173
2020-04-25 10:00:05 What does the 'rc' in `.bashrc`, etc. mean? janvdberg 297
2020-04-23 16:19:24 Google ditched tipping feature for donating money to sites caution 2
2020-04-23 15:58:23 Innovating on Web Monetization: Coil and Firefox Reality stareatgoats 2
2020-04-19 22:24:07 Ask HN: Recommendations for online essay grading systems? westurner 1
2020-04-19 22:28:00 Ask HN: Systems for supporting Evidence-Based Policy? westurner 1
2020-04-19 14:54:31 Facebook, Google to be forced to share ad revenue with Australian media docdeek 148
2020-04-11 12:36:55 France rules Google must pay news firms for content us0r 134
2020-04-05 03:00:45 Adafruit Thermal Camera Imager for Fever Screening jonbaer 2
2020-03-31 18:08:57 The end of an Era – changing every single instance of a 32-bit time_t in Linux zdw 165
2020-04-01 01:16:29 Ask HN: What's the ROI of Y Combinator investments? longtermd 4
2020-04-01 00:41:15 Microsoft announces Money in Excel powered by Plaid chirau 3
2020-03-30 02:02:12 Lora-based device-to-device smartphone communication for crisis scenarios [pdf] oliver2213 90
2020-03-27 17:56:01 LoRa+WiFi ClusterDuck Protocol by Project OWL for Disaster Relief westurner 3
2020-03-26 02:53:34 A Visual Debugger for Jupyter sandGorgon 197
2020-03-27 18:45:26 Ask HN: What's the Equivalent of 'Hello, World' for a Quantum Computer? simonblack 2
2020-03-27 18:43:58 Ask HN: Communication platforms for intermittent disaster relief? westurner 1
2020-03-27 18:06:49 DroneAid: A Symbol Language and ML model for indicating needs to drones, planes westurner 2
2020-03-26 06:52:53 Ask HN: Computer Science/History Books? jackofalltrades 327
2020-03-26 06:07:26 Open-source security tools for cloud and container applications alexellisuk 53
2020-03-25 14:26:44 YC Companies Responding to Covid-19 no_gravity 144
2020-03-23 18:21:18 Show HN: Neh – Execute any script or program from Nginx location directives oap_bram 27
2020-03-21 15:39:25 Ask HN: How can a intermediate-beginner learn Unix/Linux and programming? learnTemp229462 146
2020-03-20 09:40:37 Math Symbols Explained with Python amitness 130
2020-03-20 00:16:15 Ask HN: Is there way you can covert smartphone to a no contact thermometer? shreyshrey 9
2020-03-15 05:47:35 Employee Scheduling weitzj 641
2020-03-14 07:01:16 Show HN: Simulation-based high school physics course notes lilgreenland 295
2020-03-15 04:58:04 WebAssembly brings extensibility to network proxies pjmlp 132
2020-03-14 00:29:09 Pandemic Ventilator Project mhb 318
2020-03-14 02:53:51 Low-cost ventilator wins Sloan health care prize (2019) tomcam 99
2020-03-13 19:22:55 AI can detect coronavirus from CT scans in twenty seconds laurex 109
2020-03-10 16:08:03 AutoML-Zero: Evolving machine learning algorithms from scratch lainon 260
2020-03-10 16:48:16 Options for giving math talks and lectures online chmaynard 143
2020-03-04 06:29:43 Aerogel from fruit biowaste produces ultracapacitors dalf 152
2020-03-03 05:09:35 Ask HN: How to Take Good Notes? romes 293
2020-03-03 06:36:58 Ask HN: STEM toy for a 3 years old? spapas82 117
2020-02-29 14:17:55 OpenAPI v3.1 and JSON Schema 2019-09 BerislavLopac 88
2020-02-26 03:06:01 Git for Node.js and the browser using libgit2 compiled to WebAssembly mstade 16
2020-02-20 21:02:47 Scientists use ML to find an antibiotic able to kill superbugs in mice adventured 438
2020-02-11 17:35:48 Shit – An implementation of Git using POSIX shell kick 814
2020-02-01 19:01:19 HTTP 402: Payment Required jpomykala 224
2020-01-16 15:28:07 Salesforce Sustainability Cloud Becomes Generally Available westurner 1
2020-01-09 07:07:33 Httpx: A next-generation HTTP client for Python tomchristie 462
2020-01-14 06:07:53 BlackRock CEO: Climate Crisis Will Reshape Finance vo2maxer 13
2019-12-29 13:32:58 A lot of complex “scalable” systems can be done with a simple, single C++ server Impossible 398
2019-12-31 10:19:32 Warren Buffett is spending billions to make Iowa 'the Saudi Arabia of wind' corporate_shi11 52
2019-12-27 07:08:54 Scientists Likely Found Way to Grow New Teeth for Patients elorant 243
2019-12-26 13:32:34 Announcing the New PubMed vo2maxer 119
2019-12-25 08:16:17 Ask HN: Is it worth it to learn C in 2020? zabana 11
2019-12-21 07:55:04 Free and Open-Source Mathematics Textbooks vo2maxer 321
2019-12-18 09:24:05 Make CPython segfault in 5 lines of code coolreader18 130
2019-12-10 12:05:36 Applications Are Now Open for YC Startup School – Starts in January erohead 48
2019-12-10 14:37:28 ‘Adulting’ is hard. UC Berkeley has a class for that incomplete 2
2019-12-10 13:55:50 Founder came back after 8 years to rewrite flash photoshop in canvas/WebGL poniko 9
2019-12-09 09:56:35 Five cities account for vast majority of growth in U.S. tech jobs: study Bostonian 93
2019-12-01 12:45:50 Don’t Blame Tech Bros for the Housing Crisis mistersquid 30
2019-11-25 09:07:30 Docker is just static linking for millenials DyslexicAtheist 38
2019-11-14 04:01:54 Show HN: Bamboolib – A GUI for Pandas (Python Data Science) __tobals__ 119
2019-11-25 01:39:22 Battery-Electric Heavy-Duty Equipment: It's Sort of Like a Cybertruck duck 3
2019-11-09 09:26:55 Tools for turning descriptions into diagrams: text-to-picture resources ingve 61
2019-10-16 00:42:33 CSR: Corporate Social Responsibility westurner 2
2019-10-19 08:28:01 GTD Tickler file – a proposal for text file format vivekv 3
2019-10-20 02:07:48 Ask HN: Any suggestion on how to test CLI applications? pdappollonio 3
2019-10-16 00:34:32 The Golden Butterfly and the All Weather Portfolio westurner 1
2019-10-12 07:19:23 Canada's Decision To Make Public More Clinical Trial Data Puts Pressure On FDA pseudolus 192
2019-10-10 23:35:35 Python Alternative to Docker gilad 3
2019-10-09 00:17:45 $6B United Nations Agency Launches Bitcoin, Ethereum Crypto Fund zed88 8
2019-10-08 16:03:02 Timsort, the Python sorting algorithm alexchamberlain 407
2019-10-07 22:29:21 Supreme Court allows blind people to sue retailers if websites aren't accessible justadudeama 743
2019-10-04 11:15:12 Streamlit: Turn a Python script into an interactive data analysis tool danicgross 467
2019-09-23 16:43:51 Scott’s Supreme Quantum Supremacy FAQ xmmrm 600
2019-09-23 18:31:40 Ask HN: How do you handle/maintain local Python environments? PascLeRasc 103
2019-09-23 12:35:51 Is the era of the $100 graphing calculator coming to an end? prostoalex 361
2019-09-23 03:17:17 Reinventing Home Directories Schiphol 118
2019-09-23 03:00:38 Serverless: slower and more expensive kiyanwang 1787
2019-09-22 17:32:04 Entropy can be used to understand systems acgan 3
2019-09-18 07:24:36 New Query Language for Graph Databases to Become International Standard Anon84 290
2019-09-21 13:21:03 A Python Interpreter Written in Python nnnmnten 2
2019-09-21 11:51:00 Reinventing Home Directories – systemd-homed [pdf] signa11 3
2019-09-21 13:08:28 Weld: Accelerating numpy, scikit and pandas as much as 100x with Rust and LLVM unbalancedparen 585
2019-09-19 20:00:14 Craftsmanship–The Alternative to the 4 Hour Work Week oglowo3 4
2019-09-19 09:31:43 Solar and Wind Power So Cheap They’re Outgrowing Subsidies ph0rque 623
2019-09-18 06:52:46 Show HN: Python Tests That Write Themselves timothycrosley 131
2019-09-09 10:52:49 Most Americans see catastrophic weather events worsening elorant 102
2019-09-17 12:00:54 Emergent Tool Use from Multi-Agent Interaction gdb 332
2019-09-17 22:32:25 Inkscape 1.0 Beta 1 nkoren 603
2019-09-08 13:45:57 Where Dollar Bills Come From danso 69
2019-09-05 07:13:24 Monetary Policy Is the Root Cause of the Millennials’ Struggle joshuafkon 52
2019-08-30 15:42:12 Non-root containers, Kubernetes CVE-2019-11245 and why you should care zelivans 8
2019-08-25 23:49:46 How do black holes destroy information and why is that a problem? sohkamyung 195
2019-08-25 09:48:11 Banned C standard library functions in Git source code susam 502
2019-08-25 10:01:30 Ask HN: What's the hardest thing to secure in a web-app? juansgaitan 7
2019-08-22 01:29:43 Crystal growers who sparked a revolution in graphene electronics sohkamyung 85
2019-08-22 16:27:43 Things to Know About GNU Readline matt_d 204
2019-08-22 16:16:41 Show HN: Termpage – Build a webpage that behaves like a terminal brisky 5
2019-08-21 22:49:19 Vimer - Avoid multiple instances of GVim with gvim –remote[-tab]-silent wrapper grepgeek 6
2019-08-22 16:06:27 Electric Dump Truck Produces More Energy Than It Uses mreome 3
2019-08-21 17:34:53 Ask HN: Let's make an open source/free SaaS platform to tackle school forms busymichael 12
2019-08-21 14:18:17 Ask HN: Is there a CRUD front end for databases (especially SQLite)? Tomte 2
2019-08-20 06:43:31 California approves solar-powered EV charging network and electric school buses elorant 15
2019-08-17 10:58:03 You May Be Better Off Picking Stocks at Random, Study Finds Vaslo 146
2019-08-12 08:15:23 Root: CERN's scientific data analysis framework for C++ z3phyr 137
2019-08-13 02:09:30 MesaPy: A Memory-Safe Python Implementation based on PyPy (2018) ospider 119
2019-08-11 16:22:30 Ask HN: Configuration Management for Personal Computer? jacquesm 197
2019-08-08 13:11:06 GitHub Actions now supports CI/CD, free for public repositories dstaheli 680
2019-08-05 17:19:30 The Fed is getting into the Real-Time payments business apo 96
2019-07-08 15:26:38 A Giant Asteroid of Gold Won’t Make Us Richer pseudolus 92
2019-07-08 10:52:06 Abusing the PHP Query String Parser to Bypass IDS, IPS, and WAF lelf 92
2019-06-28 14:23:33 Ask HN: Scripts/commands for extracting URL article text? (links -dump but) WCityMike 1
2019-07-02 11:02:08 NPR's Guide to Hypothesis-Driven Design for Editorial Projects danso 101
2019-06-20 14:56:56 Gryphon: An open-source framework for algorithmic trading in cryptocurrency reso 236
2019-06-21 00:18:36 Wind-Powered Car Travels Downwind Faster Than the Wind J253 5
2019-06-13 19:39:58 NOAA upgrades the U.S. global weather forecast model mehrdadn 214
2019-06-12 08:16:17 A plan to change how Harvard teaches economics carlosgg 116
2019-06-12 17:41:58 The New York Times course to teach its reporters data skills is now open-source espeed 423
2019-06-11 10:21:59 No Kings: How Do You Make Good Decisions Efficiently in a Flat Organization? eugenegamma 743
2019-06-01 23:13:28 4 Years of College, $0 in Debt: How Some Countries Make Education Affordable pseudolus 2
2019-05-26 10:16:10 Ask HN: What jobs can a software engineer take to tackle climate change? envfriendly 67
2019-05-23 12:59:05 YC's request for startups: Government 2.0 simonebrunozzi 194
2019-05-23 13:52:23 Almost 40% of Americans Would Struggle to Cover a $400 Emergency Geeek 112
2019-05-19 16:01:51 Congress should grow the Digital Services budget, it more than pays for itself rmason 68
2019-05-20 01:20:05 The Trillion-Dollar Annual Interest Payment westurner 2
2019-05-15 07:09:29 Oak, a Free and Open Certificate Transparency Log dankohn1 143
2019-05-14 09:36:21 Death rates from energy production per TWh peter_retief 122
2019-05-11 22:37:32 Use links not keys to represent relationships in APIs sarego 342
2019-05-09 23:49:28 No Python in Red Hat Linux 8? jandeboevrie 19
2019-05-06 09:16:47 JMAP: A modern, open email protocol okket 307
2019-05-09 14:51:33 Grid Optimization Competition zeristor 2
2019-05-02 16:11:54 Blockchain's present opportunity: data interchange standardization ivoras 2
2019-04-30 12:45:38 Ask HN: Value of “Shares of Stock options” when joining a startup cdeveloper 5
2019-04-28 13:46:48 CMU Computer Systems: Self-Grading Lab Assignments (2018) georgecmu 205
2019-04-28 14:50:29 Show HN: Debugging-Friendly Tracebacks for Python cknd 121
2019-04-28 07:41:27 Why isn't 1 a prime number? gpvos 273
2019-04-28 07:26:37 How do we know when we’ve fallen in love? (2016) rohmanhakim 157
2019-04-27 21:50:58 Rare and strange ICD-10 codes zdw 68
2019-04-20 15:10:14 Python Requests III maximilianroos 19
2019-04-17 09:43:04 Post-surgical deaths in Scotland drop by a third, attributed to a checklist fanf2 1036
2019-04-17 16:06:09 Apply to Y Combinator dlhntestuser 3
2019-04-02 03:51:50 Trunk-Based Development vs. Git Flow kiyanwang 4
2019-04-01 17:25:58 Ask HN: Anyone else write the commit message before they start coding? xkapastel 25
2019-03-27 03:29:30 Ask HN: Datalog as the only language for web programming, logic and database truth_seeker 21
2019-03-24 19:46:33 The cortex is a neural network of neural networks curtis 297
2019-03-22 21:51:49 Is there a program like codeacademy but for learning sysadmin? tayvz 7
2019-03-22 17:18:44 Maybe You Don't Need Kubernetes ra7 500
2019-03-21 08:04:34 Quantum Machine Appears to Defy Universe’s Push for Disorder biofox 78
2019-03-21 12:45:42 Pytype checks and infers types for your Python code mkesper 4
2019-03-20 21:56:26 How I'm able to take notes in mathematics lectures using LaTeX and Vim tambourine_man 674
2019-03-21 05:18:51 LHCb discovers matter-antimatter asymmetry in charm quarks rbanffy 269
2019-03-21 00:22:37 React Router v5 jsdev93 153
2019-03-15 18:23:21 Experimental rejection of observer-independence in the quantum world lisper 186
2019-03-15 08:14:22 Show HN: A simple Prolog Interpreter written in a few lines of Python 3 photon_lines 148
2019-03-07 17:57:28 How to earn your macroeconomics and finance white belt as a software developer andrenth 307
2019-03-02 14:24:35 Ask HN: Relationship between set theory and category theory fmihaila 4
2019-02-26 11:24:41 The most popular docker images each contain at least 30 vulnerabilities vinnyglennon 562
2019-02-24 22:39:39 Tinycoin: A small, horrible cryptocurrency in Python for educational purposes MrXOR 4
2019-02-20 14:08:47 When does the concept of equilibrium work in economics? dnetesn 54
2019-02-20 22:53:23 Simdjson – Parsing Gigabytes of JSON per Second cmsimike 597
2019-02-18 10:13:02 A faster, more efficient cryptocurrency salvadormon 583
2019-02-17 05:52:11 Git-signatures – Multiple PGP signatures for your commits Couto 75
2019-02-16 06:55:28 Running an LED in reverse could cool future computers ChrisGranger 46
2019-02-06 07:15:56 Compounding Knowledge golyi 481
2019-02-16 14:49:30 Why CISA Issued Our First Emergency Directive ca98am79 211
2019-02-14 23:22:11 Chrome will Soon Let You Share Links to a Specific Word or Sentence on a Page kumaranvpl 359
2019-02-09 12:21:30 Guidelines for keeping a laboratory notebook Tomte 87
2019-02-07 12:03:47 Superalgos and the Trading Singularity ciencias 2
2019-02-07 12:23:44 Crunching 200 years of stock, bond, currency and commodity data chollida1 308
2019-02-06 14:50:35 Show HN: React-Schemaorg: Strongly-Typed Schema.org JSON-LD for React Eyas 16
2019-02-06 16:15:33 Consumer Protection Bureau Aims to Roll Back Rules for Payday Lending pseudolus 197
2019-02-05 01:56:30 Lectures in Quantitative Economics as Python and Julia Notebooks westurner 355
2019-02-04 11:55:50 If Software Is Funded from a Public Source, Its Code Should Be Open Source jrepinc 1138
2019-02-04 23:55:48 Apache Arrow 0.12.0 westurner 1
2019-02-04 23:51:34 Statement on Status of the Consolidated Audit Trail (2018) westurner 1
2019-02-04 20:03:28 U.S. Federal District Court Declared Bitcoin as Legal Money obilgic 12
2019-01-30 12:42:06 Post Quantum Crypto Standardization Process – Second Round Candidates Announced dlgeek 2
2019-01-30 13:59:56 Ask HN: How do you evaluate security of OSS before importing? riyakhanna1983 5
2019-01-30 09:35:47 Ask HN: How can I use my programming skills to support nonprofit organizations? theneck 3
2019-01-29 19:43:16 Ask HN: Steps to forming a company? jxr006 4
2019-01-29 13:48:48 A Self-Learning, Modern Computer Science Curriculum hacknrk 394
2019-01-24 00:34:14 MVP Spec hyperpallium 2
2019-01-21 12:10:37 Can we merge Certificate Transparency with blockchain? fedotovcorp 3
2019-01-21 20:38:23 Why Don't People Use Formal Methods? pplonski86 419
2019-01-20 20:29:25 Steps to a clean dataset with Pandas NicoJuicy 4
2019-01-19 19:38:48 Reahl – A Python-only web framework kim0 165
2019-01-12 19:56:20 Ask HN: How can you save money while living on poverty level? ccdev 8
2019-01-11 14:46:52 A DNS hijacking wave is targeting companies at an almost unprecedented scale Elof 112
2019-01-09 23:09:59 Show HN: Generate dank mnemonic seed phrases in the terminal mofle 3
2019-01-08 15:28:29 Can you sign a quantum state? zdw 3
2019-01-09 18:04:41 Lattice Attacks Against Weak ECDSA Signatures in Cryptocurrencies [pdf] soohyung 11
2019-01-09 12:00:44 REMME – A blockchain-based protocol for issuing X.509 client certificates fedotovcorp 33
2019-01-08 09:51:20 California grid data is live – solar developers take note Osiris30 2
2019-01-05 12:30:30 Why attend predatory colleges in the US? azhenley 3
2018-12-31 15:43:54 Ask HN: Data analysis workflow? tucaz 1
2018-12-28 16:25:15 The U.S. is spending millions to solve mystery sonic attacks on diplomats johnshades 5
2018-12-27 10:00:38 Ask HN: What is your favorite open-source job scheduler bohinjc 6
2018-12-22 06:53:46 How to Version-Control Jupyter Notebooks tosh 164
2018-12-04 10:25:47 Teaching and Learning with Jupyter (A book by Jupyter for Education) westurner 5
2018-11-27 17:48:54 Margin Notes: Automatic code documentation with recorded examples from runtime mpweiher 67
2018-11-24 15:33:08 Time to break academic publishing's stranglehold on research joeyespo 692
2018-11-22 10:32:27 Ask HN: How can I learn to read mathematical notation? cursorial 211
2018-10-18 18:07:59 New law lets you defer capital gains taxes by investing in opportunity zones rmason 88
2018-10-15 19:55:06 How to Write a Technical Paper [pdf] boricensis 360
2018-10-15 15:19:40 JSON-LD 1.0: A JSON-Based Serialization for Linked Data geezerjay 2
2018-10-14 15:30:29 Jeff Hawkins Is Finally Ready to Explain His Brain Research tysone 489
2018-10-12 03:02:01 Interstellar Visitor Found to Be Unlike a Comet or an Asteroid Bootvis 204
2018-10-12 02:15:03 Publishing more data behind our reporting gballan 146
2018-10-10 22:23:44 CSV 1.1 – CSV Evolved (for Humans) polm23 84
2018-10-11 06:42:34 Ask HN: Which plants can be planted indoors and easily maintained? gymshoes 123
2018-10-08 10:23:38 Graduate Student Solves Quantum Verification Problem digital55 267
2018-10-05 07:53:30 The down side to wind power todd8 63
2018-10-05 05:47:19 Thermodynamics of Computation Wiki westurner 2
2018-10-04 09:27:48 Why Do Computers Use So Much Energy? tshannon 220
2018-09-30 22:11:07 Justice Department Sues to Stop California Net Neutrality Law jonburs 201
2018-09-22 10:52:45 White House Drafts Order to Probe Google, Facebook Practices Jerry2 105
2018-09-19 20:37:52 Ask HN: Books about applying the open source model to society kennu 1
2018-09-12 16:02:35 Today, Europe Lost The Internet. Now, We Fight Back DiabloD3 433
2018-09-01 14:13:52 Consumer science (a.k.a. home economics) as a college major guard0g 4
2018-08-28 11:18:26 Facebook vows to run on 100 percent renewable energy by 2020 TamoC 2
2018-08-30 12:51:10 California Moves to Require 100% Clean Electricity by 2045 dsr12 407
2018-08-29 11:15:59 Miami Will Be Underwater Soon. Its Drinking Water Could Go First hourislate 264
2018-08-29 22:50:51 Free hosting VPS for NGO project? vikramjb 1
2018-08-29 12:18:35 The Burden: Fossil Fuel, the Military and National Security westurner 3
2018-08-29 02:27:58 Scientists Warn the UN of Capitalism's Imminent Demise westurner 1
2018-08-28 14:41:52 Firefox Nightly Secure DNS Experimental Results Vinnl 40
2018-08-28 08:31:48 Long-sought decay of Higgs boson observed at CERN chmaynard 243
2018-08-28 09:00:54 Sen. Wyden Confirms Cell-Site Simulators Disrupt Emergency Calls DiabloD3 518
2018-08-23 00:01:34 Building a Model for Retirement Savings in Python koblenski 3
2018-08-20 21:38:10 New E.P.A. Rollback of Coal Pollution Regulations Takes a Major Step Forward yaseen-rob 3
2018-08-20 14:21:22 Researchers Build Room-Temp Quantum Transistor Using a Single Atom jonbaer 3
2018-08-20 10:55:17 New “Turning Tables” Technique Bypasses All Windows Kernel Mitigations yaseen-rob 2
2018-08-19 22:27:20 Um – Create your own man pages so you can remember how to do stuff quickthrower2 646
2018-08-15 04:52:10 Leverage Points: Places to Intervene in a System pjc50 113
2018-08-15 03:46:23 SQLite Release 3.25.0 adds support for window functions MarkusWinand 333
2018-08-15 19:53:03 Update on the Distrust of Symantec TLS Certificates dumpsterkid 3
2018-08-11 07:57:44 The Transport Layer Security (TLS) Protocol Version 1.3 dochtman 255
2018-08-12 08:56:52 Academic Torrents – Making 27TB of research data available jacquesm 1081
2018-08-10 15:19:24 1/0 = 0 ingve 650
2018-08-07 15:43:05 Power Worth Less Than Zero Spreads as Green Energy Floods the Grid bumholio 537
2018-08-05 15:27:39 Kernels, a free hosted Jupyter notebook environment with GPUs benhamner 95
2018-07-22 14:16:25 Solar and wind are coming. And the power sector isn’t ready spenrose 174
2018-07-11 13:15:47 Solar Just Hit a Record Low Price in the U.S toomuchtodo 456
2018-07-10 23:53:58 Causal Inference Book luu 104
2018-07-02 10:18:14 Tim Berners-Lee is working a platform designed to re-decentralize the web rapnie 36
2018-07-01 06:49:08 More States Opting to 'Robo-Grade' Student Essays by Computer happy-go-lucky 44
2018-07-02 07:26:28 Ask HN: Looking for a simple solution for building an online course r4victor 57
2018-06-30 15:45:56 There is now a backprop principle for deep learning on quantum computers GVQ 3
2018-06-30 21:03:36 New research a ‘breakthrough for large-scale discrete optimization’ new_guy 96
2018-06-29 23:17:31 Wind, solar farms produce 10% of US power in the first four months of 2018 toomuchtodo 85
2018-06-25 16:57:46 FDA approves first marijuana-derived drug and it may spark DEA rescheduling mikece 150
2018-06-21 10:22:43 States Can Require Internet Tax Collection, Supreme Court Rules uptown 541
2018-06-18 08:26:23 William Jennings Bryan’s “Cross of Gold” Speech zjacobi 71
2018-06-17 18:13:13 Ask HN: Do you consider yourself to be a good programmer? type0 27
2018-06-17 11:00:59 Handles are the better pointers ingve 194
2018-06-14 14:13:13 Neural scene representation and rendering johnmoberg 540
2018-06-17 20:19:20 New US Solar Record – 2.155 Cents per KWh prostoalex 4
2018-06-10 18:04:07 Ask HN: Is there a taxonomy of machine learning types? ljw1001 3
2018-05-22 16:22:43 Senator requests better https compliance at US Department of Defense [pdf] anigbrowl 168
2018-05-22 23:15:18 Banks Adopt Military-Style Tactics to Fight Cybercrime petethomas 3
2018-04-12 13:13:10 No, Section 230 Does Not Require Platforms to Be “Neutral” panarky 6
2018-04-11 14:28:06 Ask HN: Do battery costs justify “buy all sell all” over “net metering”? westurner 1
2018-04-09 21:17:43 Portugal electricity generation temporarily reaches 100% renewable mgdo 234
2018-04-06 19:16:25 GPU Prices Drop ~25% in March as Supply Normalizes merqurio 2
2018-04-09 23:51:08 Apple says it’s now powered by renewable energy worldwide iamspoilt 272
2018-03-18 13:13:15 Hackers Are So Fed Up with Twitter Bots They’re Hunting Them Down Themselves CrankyBear 271
2018-03-02 08:21:41 “We’re committing Twitter to increase the health and civility of conversation” dankohn1 147
2018-03-01 02:06:42 Gitflow – Animated in React v33ra 3
2018-02-28 22:06:35 Ask HN: How feasible is it to become proficient in several disciplines? diehunde 4
2018-02-27 09:47:40 After rising for 100 years, electricity demand is flat aaronbrethorst 629
2018-02-27 10:37:54 A framework for evaluating data scientist competency schaunwheeler 3
2018-02-27 18:28:01 Levi Strauss to use lasers instead of people to finish jeans e2e4 3
2018-02-27 18:24:45 Chaos Engineering: the history, principles, and practice austingunter 2
2018-02-27 09:52:39 Scientists use an atomic clock to measure the height of a mountain montrose 45
2018-02-27 18:10:10 Resources to learn project management best practices? chuie 1
2018-02-22 15:35:51 Ask HN: Thoughts on a website-embeddable, credential validating service? estroz 28
2018-02-21 05:03:58 Ask HN: What's the best algorithms and data structures online course? zabana 272
2018-02-20 15:14:40 Using Go as a scripting language in Linux neoasterisk 8
2018-02-18 12:09:07 Guidelines for enquiries regarding the regulatory framework for ICOs [pdf] paulsutter 23
2018-02-16 00:16:09 The Benjamin Franklin method for learning more from programming books nancyhua 566
2018-02-10 20:41:21 Avoiding blackouts with 100% renewable energy ramonvillasante 2
2018-02-10 11:25:54 Ask HN: What are some common abbreviations you use as a developer? yagamidev 3
2018-02-09 19:42:21 There Might Be No Way to Live Comfortably Without Also Ruining the Planet SirLJ 43
2018-02-08 22:52:44 Multiple GWAS finds 187 intelligence genes and role for neurogenesis/myelination gwern 2
2018-02-08 20:33:49 Could we solve blockchain scaling with terabyte-sized blocks? gwern 4
2018-02-07 20:50:24 Ask HN: Do you have ADD/ADHD? How do you manage it? vumgl 4
2018-02-03 14:36:02 Ask HN: How to understand the large codebase of an open-source project? maqbool 186
2018-02-03 13:56:30 What is the best way to learn to code from absolute scratch? eliotpeper 8
2018-02-02 04:35:58 Tesla racing series: Electric cars get the green light – Roadshow rbanffy 77
2018-02-02 13:40:19 What happens if you have too many jupyter notebooks? tvorogme 4
2018-02-01 00:49:46 Cancer ‘vaccine’ eliminates tumors in mice jv22222 942
2018-02-01 12:23:08 Boosting teeth’s healing ability by mobilizing stem cells in dental pulp digital55 306
2018-01-29 17:11:55 This Biodegradable Paper Donut Could Let Us Reforest the Planet westurner 2
2018-01-29 16:44:35 Drones that can plant 100k trees a day artsandsci 147
2018-01-27 22:21:28 What are some YouTube channels to progress into advanced levels of programming? altsyset 41
2018-01-25 17:41:24 Multiple issue and pull request templates clarkbw 17
2018-01-25 17:38:38 Five myths about Bitcoin’s energy use nvk 10
2018-01-23 18:41:16 Ask HN: Which programming language has the best documentation? siquick 3
2018-01-18 06:36:07 Ask HN: Recommended course/website/book to learn data structure and algorithms strikeX 3
2018-01-19 17:06:07 Why is quicksort better than other sorting algorithms in practice? isp 5
2018-01-18 16:16:16 ORDO: a modern alternative to X.509 juancampa 1
2018-01-18 11:47:03 Wine 3.0 Released etiam 724
2018-01-18 19:51:30 Kimbal Musk is leading a $25M mission to fix food in US schools rmason 2
2018-01-13 21:42:47 Spinzero – A Minimal Jupyter Notebook Theme neilpanchal 5
2018-01-11 13:27:17 What does the publishing industry bring to the Web? mpweiher 2
2018-01-10 14:02:09 Git is a blockchain Swizec 13
2018-01-07 12:06:03 Show HN: Convert Matlab/NumPy matrices to LaTeX tables tpaschalis 4
2018-01-02 10:48:10 A Year of Spaced Repetition Software in the Classroom misiti3780 4
2017-12-27 08:32:39 NIST Post-Quantum Cryptography Round 1 Submissions sohkamyung 130
2018-01-01 21:38:58 What are some good resources to learn about Quantum Computing? nmehta21 3
2017-12-29 15:53:06 Gridcoin: Rewarding Scientific Distributed Computing trueduke 134
2017-12-26 12:37:07 Power Prices Go Negative in Germany kwindla 485
2017-12-21 14:30:35 Mathematicians Find Wrinkle in Famed Fluid Equations digital55 240
2017-12-20 10:43:31 Bitcoin is an energy arbitrage js4 51
2017-12-19 17:03:30 There are now more than 200k pending Bitcoin transactions OyoKooN 192
2017-12-17 22:16:06 What ORMs have taught me: just learn SQL (2014) ausjke 540
2017-12-17 07:32:06 Show HN: An educational blockchain implementation in Python jre 412
2017-12-16 08:12:44 MSU Scholars Find $21T in Unauthorized Government Spending sillypuddy 137
2017-12-13 04:59:42 Universities spend millions on accessing results of publicly funded research versteegen 624
2017-12-11 19:49:44 An Interactive Introduction to Quantum Computing kevlened 254
2017-12-12 12:34:46 Quantum attacks on Bitcoin, and how to protect against them (ECDSA, SHA256) westurner 2
2017-12-10 17:50:44 Project Euler vinchuco 792
2017-12-12 10:17:39 Who’s Afraid of Bitcoin? The Futures Traders Going Short thisisit 54
2017-12-11 19:21:38 Statement on Cryptocurrencies and Initial Coin Offerings corbinpage 811
2017-12-11 15:02:04 Ask HN: How do you stay focused while programming/working? flipfloppity 83
2017-12-08 10:53:49 A Hacker Writes a Children's Book arthurjj 171
2017-12-11 18:17:52 Ask HN: Do ISPs have a legal obligation to not sell minors' web history anymore? westurner 2
2017-12-11 11:58:38 Tech luminaries call net neutrality vote an 'imminent threat' kjhughes 279
2017-12-06 18:55:25 Ask HN: Can hashes be replaced with optimization problems in blockchain? pacavaca 3
2017-12-01 01:19:43 Ask HN: What could we do with all the mining power of Bitcoin? Fold Protein? sova 3
2017-12-03 20:14:58 No CEO needed: These blockchain platforms will let ‘the crowd’ run startups maxwellnardi 4
2017-12-04 04:59:08 How much energy does Bitcoin mining really use? trueduke 3
2017-12-02 00:27:40 The Actual FCC Net Neutrality Repeal Document. TLDR: Read Pages 82-87 [pdf] croatoan 3
2017-12-01 21:55:26 The 5 most ridiculous things the FCC says in its new net neutrality propaganda pulisse 164
2017-12-01 13:15:47 FCC's Pai, addressing net neutrality rules, calls Twitter biased joeyespo 13
2017-12-01 05:49:25 A curated list of Chaos Engineering resources dastergon 51
2017-12-01 11:24:06 Technology behind Bitcoin could aid science, report says digital55 13
2017-11-30 15:07:26 Git hash function transition plan vszakats 215
2017-11-30 22:04:20 Vintage Cray Supercomputer Rolls Up to Auction ohjeez 3
2017-11-30 21:21:09 Google is officially 100% sun and wind powered – 3.0 gigawatts worth rippsu 163
2017-11-29 12:29:30 Interactive workflows for C++ with Jupyter SylvainCorlay 292
2017-11-28 16:01:32 Vanguard Founder Jack Bogle Says ‘Avoid Bitcoin Like the Plague’ dionmanu 105
2017-11-29 11:22:54 Nasdaq Plans to Introduce Bitcoin Futures knwang 416
2017-11-28 17:49:07 Ask HN: Where do you think Bitcoin will be by 2020? rblion 10
2017-11-28 18:03:11 Ask HN: Why would anyone share trading algorithms and compare by performance? westurner 1
2017-11-25 06:28:39 Ask HN: CS papers for software architecture and design? avrmav 513
2017-11-15 10:24:27 Keeping a Lab Notebook [pdf] Tomte 327
2017-10-28 08:12:53 How to teach technical concepts with cartoons Tomte 170
2017-10-22 16:43:03 Fact Checks fanf2 126
2017-10-19 05:51:13 DHS orders agencies to adopt DMARC email security puppetmaster30 2
2017-10-18 21:20:00 The electricity for 1BTC trade could power a house for a month niyikiza 25
2017-10-19 05:20:26 PAC Fundraising with Ethereum Contracts? westurner 1
2017-10-19 05:16:25 SolarWindow Completes Financing ($2.5m) westurner 2
2017-10-16 12:48:08 Here’s what you can do to protect yourself from the KRACK WiFi vulnerability tdrnd 2
2017-10-14 12:41:29 The Solar Garage Door – A Possible Alternative to the Emergency Generator curtis 2
2017-10-14 07:34:07 Using the Web Audio API to Make a Modem maaaats 307
2017-10-11 18:25:17 Ask HN: How to introduce someone to programming concepts during 12-hour drive? nkkollaw 9
2017-09-27 01:24:13 American Red Cross Asks for Ham Radio Operators for Puerto Rico Relief Effort kw71 346
2017-09-26 14:58:38 Technical and non-technical tips for rocking your coding interview duck 259
2017-09-23 12:12:36 Django 2.0 alpha orf 156
2017-09-24 00:15:28 Ask HN: What is the best way to spend my time as a 17-year-old who can code? jmeyer2k 161
2017-09-21 14:18:33 Democrats fight FCC's plans to redefine “broadband” from 25+ to 10+ Mbps gnicholas 18
2017-09-17 12:49:37 Ask HN: Any detailed explanation of computer science smithmayowa 2
2017-09-16 18:40:33 Ask HN: What algorithms should I research to code a conference scheduling app viertaxa 55
2017-09-15 05:51:45 What have been the greatest intellectual achievements? Gormisdomai 42
2017-09-15 23:22:02 Ask HN: What can't you do in Excel? (2017) danso 37
2017-09-08 20:04:36 Open Source Ruling Confirms Enforceability of Dual-Licensing and Breach of GPL t3f 116
2017-09-01 11:27:30 Elon Musk Describes What Great Communication Looks Like endswapper 90
2017-09-01 04:05:12 Great Ideas in Theoretical Computer Science tu7001 290
2017-08-28 16:06:24 Ask HN: How do you, as a developer, set measurable and actionable goals? humaninstrument 24
2017-08-26 16:06:24 Bitcoin Energy Consumption Index schwabacher 256
2017-08-26 09:59:19 Dancing can reverse the signs of aging in the brain brahmwg 71
2017-08-26 09:03:19 Rumours swell over new kind of gravitational-wave sighting indescions_2017 258
2017-08-20 12:56:37 New Discovery Simplifies Quantum Physics wolfgke 2
2017-08-23 03:22:00 OpenAI has developed new baseline tool for improving deep reinforcement learning grey_shirts 3
2017-08-24 23:19:03 The prior can generally only be understood in the context of the likelihood selimthegrim 94
2017-08-22 04:13:00 Ask HN: How to find/compare trading algorithms with Quantopian? westurner 3
2017-08-22 04:09:17 Ask HN: How do IPOs and ICOs help a business raise capital? westurner 2
2017-08-22 04:02:04 Solar Window coatings “outperform rooftop solar by 50-fold” westurner 4
2017-08-21 23:30:16 MS: Bitcoin mining uses as much electricity as 1M US homes pulisse 79
2017-08-15 15:45:47 Ask HN: What are your favorite entrepreneurship resources brianbreslin 13
2017-05-09 12:59:38 CPU Utilization is Wrong dmit 624
2017-05-06 17:13:03 Ask HN: Can I use convolutional neural networks to clasify videos on a CPU Faizann20 1
2017-05-01 10:17:36 Esoteric programming paradigms SlyShy 397
2017-04-27 04:41:09 gRPC-Web: Moving past REST+JSON towards type-safe Web APIs bestan 329
2017-04-16 03:59:55 Reasons blog posts can be of higher scientific quality than journal articles vixen99 233
2017-04-07 12:50:38 Fact Check now available in Google Search and News fouadmatin 302
2017-04-07 20:07:05 Ask HN: Is anyone working on CRISPR for happiness? arikr 4
2017-03-26 14:58:59 Roadmap to becoming a web developer in 2017 miguelarauj1o 4
2017-03-20 19:14:10 Beautiful Online SICP Dangeranger 762
2017-03-19 11:52:48 Ask HN: How do you keep track/save your learnings?(so that you can revisit them) mezod 4
2017-03-11 13:26:30 Ask HN: Criticisms of Bayesian statistics? muraiki 1
2017-01-16 18:53:09 80,000 Hours career plan worksheet BreakoutList 230
2017-01-07 18:27:31 World's first smartphone with a molecular sensor is coming in 2017 walterbell 19
2016-12-31 12:11:14 Ask HN: How would one build a business that only develops free software? anondon 12
2016-12-29 00:40:11 Ask HN: If your job involves continually importing CSVs, what industry is it? iamwil 12
2016-12-09 17:21:13 Ask HN: Maybe I kind of suck as a programmer – how do I supercharge my work? tastyface 328
2016-11-20 06:33:34 Ask HN: Anything Like Carl Sagan's Cosmos for Computer Science? leksak 32
2016-11-20 10:32:00 Learn X in Y minutes anonu 161
2016-11-03 05:46:50 Org mode 9.0 released Philipp__ 285
2016-11-13 00:23:33 Ask HN: Best Git workflow for small teams tmaly 166
2016-11-10 15:46:57 TDD Doesn't Work narfz 153
2016-11-07 14:13:48 C for Python programmers (2011) bogomipz 314
2016-10-26 02:19:06 Ask HN: How do you organise/integrate all the information in your life? tonteldoos 323
2016-10-23 14:06:00 Ask HN: What are the best web tools to build basic web apps as of October 2016? arikr 114
2016-10-16 10:55:18 Harvard and M.I.T. Are Sued Over Lack of Closed Captions lsh123 45
2016-10-06 11:15:16 Jack Dorsey Is Losing Control of Twitter miraj 283
2016-09-18 09:09:04 Schema.org: Mission, Project, Goal, Objective, Task westurner 49
2016-09-18 08:59:41 This week is #GlobalGoals week (and week of The World's Largest Lesson) westurner 1
2016-08-19 08:12:25 The Open Source Data Science Masters nns 95
2016-07-29 06:08:29 We Should Not Accept Scientific Results That Have Not Been Repeated dnetesn 910
2016-05-30 07:39:05 The SQL filter clause: selective aggregates MarkusWinand 138
2016-05-29 23:36:23 Ask HN: What do you think about the current education system? alejandrohacks 36
2016-05-10 08:55:01 A Reboot of the Legendary Physics Site ArXiv Could Shape Open Science tonybeltramelli 174
2014-03-23 14:27:04 Principles of good data analysis gjreda 108
2014-03-11 08:16:38 Why Puppet, Chef, Ansible aren't good enough iElectric2 362
2014-03-11 20:12:16 Python vs Julia – an example from machine learning ajtulloch 170
2014-02-17 10:23:21 Free static page hosting on Google App Engine in minutes fizerkhan 95
2014-02-03 09:15:30 “Don’t Reinvent the Wheel, Use a Framework” They All Say mogosselin 79
2013-09-09 10:20:50 IPython in Excel vj44 73
2013-08-11 01:56:12 PEP 450: Adding A Statistics Module To The Standard Library petsos 185
2013-08-02 21:03:51 Functional Programming with Python llambda 107
2013-08-01 10:59:55 PEP 8 Modernisation tristaneuan 213
2013-07-15 12:40:04 Useful Unix commands for data science gjreda 221
2013-07-13 11:35:40 The data visualization community needs its own Hacker News ejfox 11
2013-07-06 08:59:22 Ask HN: Intermediate Python learning resources? jesusx 113
2013-07-03 08:00:50 Ansible Simply Kicks Ass hunvreus 185
2013-06-29 05:44:08 Python-Based Tools for the Space Science Community neokya 76
2013-05-04 21:21:29 Debian 7.0 "Wheezy" released sciurus 428
2013-05-04 10:40:20 Big-O Algorithm Complexity Cheat Sheet ashleyblackmore 520
2013-05-03 22:32:14 JSON API steveklabnik 227
2013-05-04 14:04:39 Norton Ghost discontinued ruchirablog 42

Items^

[-]

When Will Fusion Energy Light Our Homes?

[+]

We get free EM radiation from the free nuclear fusion reaction at the center of our solar system; and all of the other creatures find that sufficient for survival.

[+]
[+]
[+]
[+]
[+]
[+]
[+]
[+]

Watched the Helion Learn Engineering video, too: https://www.youtube.com/watch?v=_bDXXWQxK38

Has that net-positive finding been reproduced yet in any other Tokamoks?

How does this compare to Helion's (non-Tokamok, non-Stellerator fusion plasma confinement reactor) published stats for the Trenta and Polaris products?

Could SYLOS or other CPA Chirped Pulse Amplification lasers be useful for this problem with or without the high heat of a preexisting plasma reaction to laser pulse next to? https://www.google.com/search?q=nuclear+waste+cpa

[-]

Sh1mmer – An exploit capable of unenrolling enterprise-managed Chromebooks

[+]
[+]

Chromebooks don't even have a Terminal for the kids. Vim's great, but VScode with Jupyter Notebook support would make the computers we bought for them into great offline calculators, too.

VSCode on a Chromebook requires VMs and Containers which require "Developer Tools" and "Powerwash"; or the APK repack of VSCodium that you can't even sideload and manually update sometimes (because it's not on the 15-30% cut, and must use their payment solution, app store with static analysis and code signing at upload).

AFAIU, Chromebooks with Family Link and Chromebooks for Education do not have a Terminal, bash, git, VMs (KVM), Containers (Docker/Podman/LXC/LXD/gvisor), third-party repos with regular security updates, or even Python; which isn't really Linux (and Windows, Mac, and Linux do already at present support such STEM for Education use cases).

From https://news.ycombinator.com/item?id=30168491 :

> Is WebVM a potential solution to "JupyterLite doesn't have a bash/zsh shell"? The current pyodide CPython Jupyter kernel takes like ~25s to start at present, and can load Python packages precompiled to WASM or unmodified Python packages with micropip: https://pyodide.org/en/latest/usage/loading-packages.html#lo...

There's also MambaLite, which is part of the emscripten-forge project; along with BinderLite. https://github.com/emscripten-forge/recipes (Edit: Micropip or Mambalite or picomamba or Zig. : "A 116kb WASM of Blink that lets you run x86_64 Linux binaries in the browser" https://news.ycombinator.com/item?id=34376094 )

It looks like there are now tests for VScode in the default Power washable 'penguin' Debian VM that you get with Chromebook Developer Tools; but still the kids are denied VMs and Containers or local accounts (with kid-safe DoH/DoT at lesat) and so they can't run VScode locally on the Chromebooks that we bought for them.

Why do I need "Developer Tools" access to run VScode and containers on a Chromebook; but not on a Windows, Mac or Linux computer? If containers are good enough for our workloads hosted in the cloud, they should be good enough for local coding and calculating in e.g. Python. https://github.com/quobit/awesome-python-in-education#jupyte...

[+]

Nice. TIL about vim.wasm: https://github.com/rhysd/vim.wasm

Jupyter Notebook and Jupyter Lab have a web terminal that's good enough to do SSH and Vim. Mosh Mobile Shell is more resilient to internet connection failure.

Again though, Running everything in application-sandboxed WASM all as the current user is a security regression from the workload isolation features built into VMs and Containers (which Windows, Mac, and Linux computers support in the interests of STEM education and portable component reuse).

The Qubit Game (2022)

"World Quantum Day: Meet our researchers and play The Qubit Game" https://blog.google/technology/research/world-quantum-day-me... :

> In celebration of World Quantum Day, the Google Quantum AI team wanted to try a different way to introduce people to the world of quantum computing. So we teamed up with Doublespeak Games to make The Qubit Game – a playful journey to building a quantum computer, one qubit at a time, while solving challenges that quantum engineers face in their daily work. If you succeed, you’ll discover new upgrades for your in-game quantum computer, complete big research projects, and hopefully become a little more curious about how we’re building quantum computers.

Additional Q12 (K12 QIS Quantum Information Science) ideas?:

- Exercise: Port QuantumQ quantum puzzle game exercises to a quantum circuit modeling and simulation library like Cirq (SymPy) or qiskit or tequila: https://github.com/ray-pH/quantumQ

- Exercise: Model fair random coin flips with qubit basis encoding in a quantum circuit simulator in a notebook

- Exercise: Model fair (uniformly distributed) 6-sided die rolls with basis state embedding or amplitude embedding or better (in a quantum circuit simulator in a notebook)

- QIS K-12 Framework (for K12 STEM, HS Computer Science, HS Physics) https://q12education.org/learning-materials-framework

- tequilahub/tequila-tutorials: https://github.com/tequilahub/tequila-tutorials

[-]

Calculators now emulated at Internet Archive

MAME: https://en.wikipedia.org/wiki/MAME

"TI-83 Plus Calculator Emulation" https://archive.org/details/ti83p-calculator

TI-83 series: https://en.wikipedia.org/wiki/TI-83_series :

> Symbolic manipulation (differentiation, algebra) is not built into the TI-83 Plus. It can be programmed using a language called TI-BASIC, which is similar to the BASIC computer language. Programming may also be done in TI Assembly, made up of Z80 assembly and a collection of TI provided system calls. Assembly programs run much faster, but are more difficult to write. Thus, the writing of Assembly programs is often done on a computer.

I had a TI-83 Plus in middle school, and then bought a TI-83 Plus Silver edition for high school. The TI-83 Plus was the best calculator allowed for use by the program back then. FWIU these days it's the TI-84 Plus, which has USB but no CAS Computer Algebra System.

The JupyterLite build of JupyterLab - and https://NumPy.org/ - include the SymPy CAS Computer Algebra System and a number of other libraries; and there's an `assert` statement in Python; but you'd need to build your own JupyterLab WASM bundle to host as static HTML if you want to include something controversial like pytest-hypothesis. https://jupyterlite.rtfd.io/

Better than a TI-83 Plus emulator? Install MambaForge in a container to get the `conda` and `mamba` package managers (and LLVM-optimized CPython on Win, Mac, Lin) and then `mamba install -y jupyterlab tabulate pandas matplotlib sympy`; or login to e.g. Google Colab, Cocalc, or https://Kaggle.com/learn ( https://GitHub.com/Kaggle/docker-python ) .

To install packages every time a notebook runs:

  !python -m pip install # or
  %pip install <pkgs> 

  !conda install -y
  !mamba install -y
But NumPy.org, JupyterLite, and Colab, and Kaggle Learn all already have a version of SymPy installed (per their reproducible software version dependency files; requirements.txt, environment.yml (Jupyter REES; repo2docker))

Like MAME, which is the emulator for the TI-83 Plus and other calculators hosted by this new Internet Archive project, Emscripten-forge builds WASM (WebAssembly) that runs in an application-sandboxed browser tab as the same user as other browser tab subprocesses.

TI-83 apps:

ACT Math Section app; /? TI-83 ACT app: https://www.google.com/search?q=ti83+act+app

Commodity markets with volatility on your monochrome LCD calculato with no WiFi. SimCity BuildIt has an online commodity marketplace and sims as part of the simulation game. "Category:TI-83&4 series Zilog Z80 games" https://en.wikipedia.org/wiki/Category:TI-83%264_series_Zilo...

Computer Algebra System > Use in education: https://en.wikipedia.org/wiki/Computer_algebra_system#Use_in... :

> CAS-equipped calculators are not permitted on the ACT, the PLAN, and in some classrooms[15] though it may be permitted on all of College Board's calculator-permitted tests, including the SAT, some SAT Subject Tests and the AP Calculus, Chemistry, Physics, and Statistics exams.

Also like MAME, if you have the ROM for your e.g. TI-84 or TI-89, you can run it with emulator apps for e.g. iOS and Android.

Other cool math calculation apps for phones and tablets without bash, git, python and conda/mamba: Geogebra, Desmos, QuantumQ, (FDroid Termux + conda, Waydroid,)

[-]

Intercepting t.co links using DNS rewrites

[+]

awesome-url-shortener: https://github.com/738/awesome-url-shortener

/? shorturl api OpenAPI https://www.google.com/search?q=shorturl+api+openapi

- TinyURL OpenAPI: https://tinyurl.com/app/dev

- GH topic: url-shortener: https://github.com/topics/url-shortener

A https://schema.org/Thing may have zero or more https://schema.org/url and/or https://schema.org/identifier ; and then first the ?s subject URI that's specified with the `@id` property in JSONLD RDF.

You can add string, schema:Thing, or URI tags/labels with the https://schema.org/about property.

[-]

MusicLM: Generating music from text

[+]
[+]

awesome-sheet-music lists a number of sheet music archives https://github.com/ad-si/awesome-sheet-music

Other libraries of (Royalty Free, Public Domain) sheet music:

- https://musopen.org/

Explainable artificial intelligence: https://en.wikipedia.org/wiki/Explainable_artificial_intelli...

FWIU, Current LLMs can't yet do explainable AI well enough to satisfy the optional Attribution clause of e.g. Creative Commons licenses?

"Sufficiently Transformative" is the current general copyright burden according to precedent; Transformative use and fair use: https://en.wikipedia.org/wiki/Transformative_use

[-]

SQLAlchemy 2.0 Released

[+]

Pandas had a docs sprint awhile back. Are the DOCs issues labeled?

From https://docs.sqlalchemy.org/en/20/dialects/ :

> Currently maintained external dialect projects for SQLAlchemy include: [...]

Is there a list of async [SQLA] DB adapters?

The SQLAlchemy 2.0 Release Docs: https://docs.sqlalchemy.org/en/20/orm/extensions/asyncio.htm...

[-]

Show HN: A script to test whether a program breaks without network access

"Chaos engineering" https://en.wikipedia.org/wiki/Chaos_engineering

dastergon/awesome-chaos-engineering#notable-tools: https://github.com/dastergon/awesome-chaos-engineering#notab...

IIUC, MVVM apps can handle delayed messages - that sit in the outbox while waiting to reestablish network connectivity - better than apps without such layers.

Which mobile apps work during intermittent connectivity scenarios like disasters and disaster relief (where first priority typically is to get comms back online in order to support essential services (with GIF downloads and endless pull-to-refresh))?

[-]

Certified 100% AI-free organic content

[+]
[+]
[+]

Does use of a search engine violate the "No AI" covenant with oneself?

Variation on the Turning Test: prove that it's not a human claiming to be a computer.

Modeling premises and Meta-analysis are again necessary elements for critical reasoning about Sources and Methods and superpositions of Ignorance and Malice.

[+]
[+]

List of Web directories: https://en.wikipedia.org/wiki/List_of_web_directories ; DMOZ FTW

Distributed Version Control > Work model > Pull Request: https://en.wikipedia.org/wiki/Distributed_version_control#Pu...

sindresorhus/awesome: https://github.com/sindresorhus/awesome#contents

bayandin/awesome-awesomeness: https://github.com/bayandin/awesome-awesomeness

"Help compare Comment and Annotation services: moderation, spam, notifications, configurability" https://github.com/executablebooks/meta/discussions/102

Re: fact checks, schema.org/ClaimReview, W3C Verifiable Claims, W3C Verifiable News & Epistemology: https://news.ycombinator.com/item?id=15529140

W3C Web Annotations could contain (cryptographically-signed (optionally with a W3C DID)) Verifiable Claims; comments with signed Linked Data

[-]

An incomplete guide to stealth addresses

[+]

Oh, there's WKD: Web Key Directory https://wiki.gnupg.org/WKD#How_does_an_email_client_use_WKD....

  gpg --homedir "$(mktemp -d)" --verbose --locate-keys your.email@example.org

  https://example.org/.well-known/openpgpkey/hu/0t5sewh54rxz33fwmr8u6dy4bbz8itz2
Is there a pinned certificate for `gpg recv-keys` (that isn't possible with WKD) https://en.wikipedia.org/wiki/Key_server_(cryptographic)#Pro... ?

WKD and HKP depend upon TLS and preshared CA certs (PKI or pinned certificates) in all forms AFAIU:

  # HKP, HTTPS
  gpg --recv-keys an.email@example.org
  # WKD
  gpg --locate-keys your.email@example.org
Who is trusted with read/write to all keys on the HTTP pubkey server?

W3C DIDs are encodable into QR codes, too. And key hierarchy is optional with DIDs.

(Edit)

https://www.w3.org/TR/did-core/#did-controller :

> DID Controller

> A DID controller is an entity that is authorized to make changes to a DID document. The process of authorizing a DID controller is defined by the DID method.

> The controller property is OPTIONAL. If present, the value MUST be a string or a set of strings that conform to the rules in 3.1 DID Syntax. The corresponding DID document(s) SHOULD contain verification relationships that explicitly permit the use of certain verification methods for specific purposes.

> When a controller property is present in a DID document, its value expresses one or more DIDs. Any verification methods contained in the DID documents for those DIDs SHOULD be accepted as authoritative, such that proofs that satisfy those verification methods are to be considered equivalent to proofs provided by the DID subject.

/? "Certificate Transparency" blockchain / dlt ... QKD, ... Web Of Trust and temp keys

What does Interledger Protocol say about these an in-band / in-channel signaling around transactions?

https://westurner.github.io/hnlog/ Ctrl-F "SPSP"

> https://github.com/interledger/rfcs/blob/master/0009-simple-... :

> Relation to Other Protocols: SPSP is used for exchanging connection information before an ILP payment or data transfer is initiated

RFC 8905 specifies "The 'payto:' URI Scheme for Payments" and does support ILP addresses https://www.rfc-editor.org/rfc/rfc8905.html#name-tracking-pa... https://datatracker.ietf.org/doc/rfc8905/ :

> 7. Tracking Payment Target Types

> A registry of "Payto Payment Target Types" is described in Section 10. The registration policy for this registry is "First Come First Served", as described in [RFC8126]. When requesting new entries, careful consideration of the following criteria [...]

DID URIs are probably also already payto: URI-scheme compatible but not yet so registered?

ILP Addresses - v2.0.0 https://interledger.org/rfcs/0015-ilp-addresses/ :

> ILP addresses provide a way to route ILP packets to their intended destination through a series of hops, including any number of ILP Connectors. (This happens after address lookup using a higher-level protocol such as SPSP.) Addresses are not meant to be user-facing, but allow several ASCII characters for easy debugging.

[-]

Do Large Language Models learn world models or just surface statistics?

If they don't search for Tensor path integrals, for example, can any NN or symbolic solution ever be universally sufficient?

A generalized solution term expression for complex quantum logarithmic relations:

  e**(w*(I**x)*(Pi**z))
What sorts of relation expression term forms do LLMs synthesize from?

Can [LLM XYZ] answer prompts like:

"How far is the straight-line distance from (3red, 2blue, 5green) to (1red, 5blue, 7green)?"

> - What are "Truthiness", Confidence Intervals and Error Propagation?

> - What is Convergence?

> - What does it mean for algorithmic outputs to converge given additional parametric noise?

> - "How certain are you that that is the correct answer?"

> - How does [ChatGPT] handle known-to-be or presumed-to-be unsolved math and physics problems?

> - "How do we create room-temperature superconductivity?"

"A solution for room temperature superconductivity using materials and energy from and on Earth"

> - "How will planetary orbital trajectories change in the n-body gravity problem if another dense probably interstellar mass passes through our local system?"

Where will a tracer ball be after time t in a fluid simulation ((super-)fluid NDEs Non-Differential Equations) of e.g. a vortex turbine next to a stream?

How do General Relativity, Quantum Field Theory, Bernoulli's, Navier Stokes, and the Standard Model explain how to read and write to points in spacetime and how do we solve gravity?

Did I forget to cite myself (without a URL)? Notable enough for a citation it isn't.

"[Edu-sig] ChatGPT for py teaching" (2023) Editing Python Mailing List. (2023)

No, LLMs do not learn a sufficient world model for answering basic physics questions that aren't answered in the training corpus; and, AGI-strength AI is necessary for ethical reasoning given the liability in that application domain.

Hopefully, LLMs can at least fill in with possible terms like '4π' given other uncited training corpus data. LLMs are helpful for Evolutionary Algorithmic methods like mutation and crossover, but then straight-up ethical selection.

Ask [the LLM] to return a confidence estimate when it can't know the correct answer, as with hard and thus valuable e.g. physics problems. What tone of voice did Peabody take in explaining to Sherman, and what does an LLM emulate?

[-]

Thoughts on the Python packaging ecosystem

[+]

The primary (probably build and) packaging system for a software application should probably support the maximum level of metadata sufficient for downstream repackaging tools.

Metadata for the ultimate software package should probably include a sufficient number of attributes in its declarative manifest:

Package namespace and name,

Per-file paths and Checksums, and at least one cryptographic signature from the original publisher. Whether the server has signed what was uploaded is irrelevant if it and the files within don't match a publisher signature at upload time?

And then there's the permissions metadata, the ACLs and context labels to support any or all of: SELinux, AppArmor, Flatpak, OpenSnitch, etc.. Neither Python packages nor conda packages nor RPM support specifying permissions and capabilities necessary for operation of downstream packages.

You can change the resolver, but the package metadata would need to include sufficient data elements for Python packaging to be the ideal uni-language package manager imho

[-]

Google Calls in Help from Larry Page and Sergey Brin for A.I. Fight

[+]

why woykd you say they are on "red alert"? Sounds like lazy investors pumping or dumping to me.

Google already has very large LLMs online for search and other applications.

A similar take on similar spin: https://twitter.com/westurner/status/1614002846394892288

From April 2022, "Pathways Language Model (PaLM): Scaling to 540 Billion Parameters for Breakthrough Performance" https://ai.googleblog.com/2022/04/pathways-language-model-pa... :

> In recent years, large neural networks trained for language understanding and generation have achieved impressive results across a wide range of tasks. GPT-3 first showed that large language models (LLMs) can be used for few-shot learning and can achieve impressive results without large-scale task-specific data collection or model parameter updating. More recent LLMs, such as GLaM, LaMDA, Gopher, and Megatron-Turing NLG, achieved state-of-the-art few-shot results on many tasks by scaling model size, using sparsely activated modules, and training on larger datasets from more diverse sources. Yet much work remains in understanding the capabilities that emerge with few-shot learning as we push the limits of model scale.

> […] More recent LLMs, such as GLaM, LaMDA, Gopher, and Megatron-Turing NLG, achieved [SOTA] few-shot results on many tasks by scaling model size, using sparsely activated modules, and training on larger datasets from more diverse sources. Yet much work remains [for few-shot LLMs] /2

DeepMind Dreamerv3 is more advanced than all the LLMs.

[+]

I disagree with your assessment of their comparative performance.

"Beyond Tabula Rasa: Reincarnating Reinforcement Learning" https://ai.googleblog.com/2022/11/beyond-tabula-rasa-reincar... :

> Furthermore, the inefficiency of tabula rasa RL research can exclude many researchers from tackling computationally-demanding problems. For example, the quintessential benchmark of training a deep RL agent on 50+ Atari 2600 games in ALE for 200M frames (the standard protocol) requires 1,000+ GPU days. As deep RL moves towards more complex and challenging problems, the computational barrier to entry in RL research will likely become even higher.

> To address the inefficiencies of tabula rasa RL, we present “Reincarnating Reinforcement Learning: Reusing Prior Computation To Accelerate Progress” at NeurIPS 2022. Here, we propose an alternative approach to RL research, where prior computational work, such as learned models, policies, logged data, etc., is reused or transferred between design iterations of an RL agent or from one agent to another. While some sub-areas of RL leverage prior computation, most RL agents are still largely trained from scratch. Until now, there has been no broader effort to leverage prior computational work for the training workflow in RL research. We have also released our code and trained agents to enable researchers to build on this work.

Feed-Forward with Prompt Engineering is like RL; which prompt elements should remain given objective or subjective error?

On-demand electrical control of spin qubits (2023)

"On-demand electrical control of spin qubits" (2023) http://dx.doi.org/10.1038/s41565-022-01280-4

> Once called a ‘classically non-describable two-valuedness’ by Pauli, the electron spin forms a qubit that is naturally robust to electric fluctuations. Paradoxically, a common control strategy is the integration of micromagnets to enhance the coupling between spins and electric fields, which, in turn, hampers noise immunity and adds architectural complexity. Here we exploit a switchable interaction between spins and orbital motion of electrons in silicon quantum dots, without a micromagnet. The weak effects of relativistic spin–orbit interaction in silicon are enhanced, leading to a speed up in Rabi frequency by a factor of up to 650 by controlling the energy quantization of electrons in the nanostructure. Fast electrical control is demonstrated in multiple devices and electronic configurations. Using the electrical drive, we achieve a coherence time T2,Hahn ≈ 50 μs, fast single-qubit gates with Tπ/2 = 3 ns and gate fidelities of 99.93%, probed by randomized benchmarking. High-performance all-electrical control improves the prospects for scalable silicon quantum computing. High-performance all-electrical control is a prerequisite for scalable silicon quantum computing. The switchable interaction between spins and orbital motion of electrons in silicon quantum dots now enables the electrical control of a spin qubit with high fidelity and speed, without the need for integrating a micromagnet.

Is this Quantum of Silicon; or Quantum Dots on Silicon?

Used to be that quantum dots were for the the next level display tech beyond OLED, which doesn't require magnets either.

"Rowhammer for qubits: is it possible?" https://www.reddit.com/r/quantum/comments/7osud4/rowhammer_f... and its downstream mentions: https://news.ycombinator.com/item?id=27294577

"Bell's inequality violation with spins in silicon" (2015) https://arxiv.org/abs/1504.03112

I had heard that Bell's actually means that there is a high error rate in transmitting quantum states - 60%, I thought Wikipedia had said - through entanglement relations with physical descriptions. Doesn't entangled satellite communication violate Bell's, too?

Maybe call it and emissions a "Hot Tub Time Machine", eh?

[-]

Reverse engineering a neural network's clever solution to binary addition

Ameo | 2023-01-16 05:32:12 | 562 | # | ^
[+]
[+]
[+]
[+]

From "Faraday and Babbage: Semiconductors and Computing in 1833" https://news.ycombinator.com/item?id=32888210 and then "Qubit: Quantum register: Qudits and qutrits" https://news.ycombinator.com/item?id=31983110:

>>> The following is an incomplete list of physical implementations of qubits, and the choices of basis are by convention only: [...] Qubit#Physical_implementations: https://en.wikipedia.org/wiki/Qubit#Physical_implementations

> - note the "electrons" row of the table

According to this Table on wikipedia, it's possible to use electron charge (instead of 'spin') to do Quantum Logic with Qubits.

How is that doing quantum logical computations with electron charge different from from what e.g. Cirq or Tequila do (optionally with simulated noise to simulate the Quantum Computer Engineering hardware)?

FWIU, analog and digital component qualities are not within sufficient tolerance to do precise analog computation? (Though that's probably debatable for certain applications at least, but not for general purpose computing architectures?) That is, while you can build adders out of voltage potentials quantified more specifically than 0 or 1, you might shouldn't without sufficient component spec tolerances because noise and thus error.

IMHO, Turing Tumble and Spintronics are neat analog computer games.

(Are Qubits, by Church-Turing-Deutsch, sufficient to; 1) simuluate arbitrary quantum physical systems; or 2) run quantum logical simulations as circuits with low error due to high coherence? https://en.wikipedia.org/wiki/Church%E2%80%93Turing%E2%80%93... )

>> See also: "Quantum logic gate" https://en.wikipedia.org/wiki/Quantum_logic_gate

Analog computers > Electronic analog computers aren't Electronic digital computers: https://en.wikipedia.org/wiki/Analog_computer#Electronic_ana...

[-]

Heat pumps of the 1800s are becoming the technology of the future

[+]
[+]
[+]
[+]

From the ERV/HRV (Energy Recovery Ventilation / Heat Recovery Ventilation) wikipedia page: https://en.wikipedia.org/wiki/Energy_recovery_ventilation#Ty... :

> During the warmer seasons, an ERV system pre-cools and dehumidifies; During cooler seasons the system humidifies and pre-heats.[1] An ERV system helps HVAC design meet ventilation and energy standards (e.g., ASHRAE), improves indoor air quality and reduces total HVAC equipment capacity, thereby reducing energy consumption.

> ERV systems enable an HVAC system to maintain a 40-50% indoor relative humidity, essentially in all conditions. ERV's must use power for a blower to overcome the pressure drop in the system, hence incurring a slight energy demand.

In Jan 2023, the ERV wikipedia article has a 'Table of Energy recovery devices by Types of transfer supported': Total and Sensible :

> [ Total & Sensible transfer: Rotary enthalpy wheel, Fixed Plate ]

> [ Sensible transfer only: Heat pipe, Run around coil, Thermosiphon, Twin Towers ]

Latent heat: https://en.wikipedia.org/wiki/Latent_heat :

> In contrast to latent heat, sensible heat is energy transferred as heat, with a resultant temperature change in a body.

Sensible heat: https://en.wikipedia.org/wiki/Sensible_heat

There's a broader Category:Energy_recovery page which includes heat pumps. https://en.wikipedia.org/wiki/Category:Energy_recovery

Are heat pumps more efficient than ERVs? Do heat pumps handle relative humidify in the same way as ERVs?:

[+]
[-]

How Nvidia’s CUDA Monopoly in Machine Learning Is Breaking

[+]

From https://news.ycombinator.com/item?id=32904285 re: AMD ROcm, HIPIFY, :

> AMD ROcm supports Pytorch, TensorFlow, MlOpen, rocBLAS on NVIDIA and AMD GPUs: https://rocmdocs.amd.com/en/latest/Deep_learning/Deep-learni... [...]

> ROCm-Developer-Tools/HIPIFY https://github.com/ROCm-Developer-Tools/HIPIFY :

>> hipify-clang is a clang-based tool for translating CUDA sources into HIP sources. It translates CUDA source into an abstract syntax tree, which is traversed by transformation matchers. After applying all the matchers, the output HIP source is produced. [...]

From https://github.com/RadeonOpenCompute/clang-ocl :

> RadeonOpenCompute/OpenCL compilation with clang compiler

A better overview from the docs: "Machine Learning and High Performance Computing Software Stack for AMD GPU" https://rocmdocs.amd.com/en/latest/Installation_Guide/Softwa...

[-]

Large language models as simulated economic agents (2022) [pdf]

[+]
[+]
[+]

> As such, it seems quite likely that there are other latent behaviors captured by LLMs and yet to be discovered.

>> What NN topology can learn a quantum harmonic model?

Can any LLM do n-body gravity? What does it say when it doesn't know; doesn't have confidence in estimates?

>> Quantum harmonic oscillators have also found application in modeling financial markets. Quantum harmonic oscillator: https://en.wikipedia.org/wiki/Quantum_harmonic_oscillator

"Modeling stock return distributions with a quantum harmonic oscillator" (2018) https://iopscience.iop.org/article/10.1209/0295-5075/120/380...

... Nudge, nudge.

Behavioral economics: https://en.wikipedia.org/wiki/Behavioral_economics

https://twitter.com/westurner/status/1614123454642487296

Virtual economies do afford certain opportunities for economic experiments.

[-]

Homelab analog telephone exchange

zdw | 2023-01-14 13:42:52 | 125 | # | ^
[+]

Asterisk (PBX) > Derived products https://en.wikipedia.org/wiki/Asterisk_(PBX)

"What is the technology behind Sangoma Meet?" https://help.sangoma.com/community/s/article/What-is-the-tec...

> Sangoma Meet is based on WebRTC, which provides video conferencing and is supported by most of the major web browsers today.

> Our software stack is built upon several open source tools, including Jitsi Meet, FreeSWITCH™, HAProxy, Prometheus, Grafana, collectd, and other tools used for provisioning, deploying and managing the service.

FWIU, Sangoma Talk includes the Sangoma Meet functionality: https://www.sangoma.com/products/communications-services/tea...

> Mobile Soft Client: Take your company phone extension with you anywhere using a mobile soft client. Forward calls from the office, receive voicemails, start a video meeting, and much more! When you call your customers or clients through the Sangoma Talk app, they will see your office phone number, which allows you to maintain your personal device privacy. Available for iOS & Android devices.

GVoice (originally GrandCentral) can't do voice or video call transfer to the mobile soft client app, FWIU

[-]

A 116kb WASM of Blink that lets you run x86_64 Linux binaries in the browser

[+]

From https://github.com/simonw/datasette-lite/issues/26 :

> Micropip or Mambalite or picomamba or Zig.

> "Better integration with conda/conda-forge for building packages" [pyodide/pyodide#795]( https://github.com/pyodide/pyodide/issues/795)

> Emscripten-forge > Adding packages: https://github.com/emscripten-forge/recipes#adding-packages

> - https://github.com/emscripten-forge/recipes/tree/main/recipe...

> -- emscripten-forge/recipes/blob/main/recipes/recipes_emscripten/picomamba/recipe.yaml: https://github.com/emscripten-forge/recipes/blob/main/recipe...

> --- mamba-org/picomamba: https://github.com/mamba-org/picomamba

From emscripten-forge/recipes https://github.com/emscripten-forge/recipes :

> Build wasm/emscripten packages with conda/mamba/boa. This repository consists of recipes for conda packages for emscripten. Most of the recipes have been ported from pyodide.

> While we already have a lot of packages built, this is still a big work in progress.

[-]

SQLite Wasm in the browser backed by the Origin Private File System

[+]
[+]
[+]

Some way to indicate which "WASM contexts" (?) have utilized how much disk space would be great for open source multiple implementations not-Flash, too.

From https://news.ycombinator.com/item?id=32953286 https://westurner.github.io/hnlog/#story-32950199 :

> - [ ] UBY: Browsers: Vary the {color, size, fill} of the tab tabs according to their relative resource utilization

And then that tabs are (sandboxed) subprocesses running as the same user though.

Containers may have unique SELinux MCS labels, and browser tab processes probably should too.

containers/container-selinux: https://github.com/containers/container-selinux

https://github.com/kai5263499/awesome-container-security/iss...

> - [ ] ENH,SEC: Browsers: specify per-tab/per-domain resource quotas: CPU, RAM, Disk, [GPU, TPU, QPU] (Linux: cgroups,)

Like Flash

[-]

The i3-gaps project has been merged with i3

[+]

What do you think about getting alt-tab support in there? Here to say this: https://github.com/westurner/dotfiles/blob/develop/scripts/i...

[+]
[+]
[+]
[+]
[+]
[+]
[+]
[-]

Show HN: Futurecoder – A free interactive Python course for coding beginners

Some highlights:

- 100% free and open source (https://github.com/alexmojaki/futurecoder), no ads or paid content.

- No account required at any point. You can start instantly. (You can create an account if you want to save your progress online and across devices. Your email is only used for password resets)

- 3 integrated debuggers can be started with one click to show what your code is doing in different ways.

- Enhanced tracebacks make errors easy to understand.

- Useful for anyone: You can have the above without having to look at the course. IDE mode (https://futurecoder.io/course/#ide) gives you an instant scratchpad to write and debug code similar to repl.it.

- Completely interactive course: run code at every step which is checked automatically, keeping you engaged and learning by doing.

- Every exercise has many small optional hints to give you just the information you need to figure it out and no more.

- When the hints run out and you're still stuck, there are 2 ways to gradually reveal a solution so you can still apply your mind and make progress.

- Advice for common mistakes: customised linting for beginners and exercise-specific checks to keep you on track.

- Construct a question that will be well-received on sites like StackOverflow: https://futurecoder.io/course/#question

- Also available in French (https://fr.futurecoder.io/), Tamil (https://ta.futurecoder.io/), and Spanish (https://es-latam.futurecoder.io/). Note that these translations are slightly behind the English version, so the sites themselves are too as a result. If you're interested, help with translation would be greatly appreciated! Translation to Chinese and Portuguese is also half complete, and any other languages are welcome.

- Runs in the browser using Pyodide (https://pyodide.org/). No servers. Stores user data in firebase.

- Progressive Web App (PWA) that can be installed from the browser and used offline.

-----------

A frequent question is how does futurecoder compare to Codecademy? Codeacademy has some drawbacks:

- No interactive shell/REPL/console

- No debuggers

- Basic error tracebacks not suitable for beginners

- No stdin, i.e. no input() so you can't write interactive programs, and no pdb.

- No gradual guidance when you're stuck. You can get one big hint, then the full solution in one go. This is not effective for learners having difficulty.

- Still on Python 3.6 (futurecoder is on 3.10)

I am obviously biased, but I truly believe futurecoder is the best resource for adult beginners. The focus on debugging tools, improved error messages, and hints empowers learners to tackle carefully balanced challenges. The experience of learning feels totally different from other courses, which is why I claim that if someone wants to start learning how to code, futurecoder is the best recommendation you can make.

[+]
[+]

Thanks! FWICS, futurecoder (and JupyterLite) may be the best way to run `print("hello world!")` in Python on Chromebooks for Education and Chromebooks with Family Link which don't have VMs or Containers ((!) which we rely upon on the server side to host container web shells like e.g. Google Colab and GitHub Codespaces (which aren't available for kids < 13) and cocalc-docker and ml-tooling/ml-workspace and kaggle/docker-python and https://kaggle.com/learn )

Also looked at codesters. quobit/awesome-python-in-education: https://github.com/quobit/awesome-python-in-education

Looks like `Ctrl-Enter` works, just like jupyter/vscode.

iodide-project/iodide > "Compatibility with 'percent' notebook format" which works with VScode, Spyder, pycharm, https://github.com/iodide-project/iodide/issues/2942:

  # %%
  import sympy as sy
  import numpy as np
  import scipy as sp
  import pandas as pd
  # %%
  print("hello")
  # %%
  print("world")

Does it work offline? jupyterlite/jupyterlite "Offline PWA access" https://github.com/jupyterlite/jupyterlite/issues/941

[-]

Tell HN: Vim users, `:x` is like `:wq` but writes only when changes are made

`:x` leaves the modification time of files untouched if nothing was changed.

    :help :x
        Like ":wq", but write only when changes have been made.

[+]
[+]
[+]

  cmap X x
  :help X
> Mapping to 'x' is dangerous since on a system where you don't have your vimrc you'll get the original behavior of 'X'.

Which is still to prompt? A person could take their chances.

Besides, wouldn't that form of intentionally aversive conditioning actually boost the learning rate and create hyperassociations to the behavior your're attempting to stimulus extinct or just learn over?

[-]

Ask HN: Is there academic research on software fragility?

I keep finding articles that more or less talk about this but not some serious research on the topic. Do someone have a few pointers?

Edit: to clarify what I mean by fragility, it's how complex software, when changed, is likely to break with unexpected bugs, i.e., fixing a bug causes more.

How software changes over time?

API versioning, API deprecation

Code bloat: https://en.wikipedia.org/wiki/Code_bloat#

"Category:Software maintenance" costs: https://en.wikipedia.org/wiki/Category:Software_maintenance

Pleasing a different audience with fewer, simpler features

Lack of acceptance tests to detect regressions

Regression testing https://en.wikipedia.org/wiki/Regression_testing :

> Regression testing (rarely, non-regression testing [1]) is re-running functional and non-functional tests to ensure that previously developed and tested software still performs as expected after a change. [2] If not, that would be called a regression.

Fragile -> Software brittleness https://en.wikipedia.org/wiki/Software_brittleness

[+]

Yeah IDK if that one usage on Wikipedia is consistent:

> [Regression testing > Background] Sometimes re-emergence occurs because a fix gets lost through poor revision control practices (or simple human error in revision control). Often, a fix for a problem will be "fragile" in that it fixes the problem in the narrow case where it was first observed but not in more general cases which may arise over the lifetime of the software. Frequently, a fix for a problem in one area inadvertently causes a software bug in another area.

[-]

Seattle Public Schools sues TikTok, YouTube, Instagram over youth mental health

[+]
[+]
[+]
[+]
[+]

Probably would have been more cost effective to have worked with Amazon in Seattle on the Kids launcher on the Fire OS fork of Android (the one that merges the App Store and Launcher for the kids).

It's not safe to allow school administrators to jam and deny students' (possibly distracting) communications at least on their personal devices, eh?

Perhaps students could voluntarily submit to an App Launcher for focusing on school that deprioritizes content streams that haven't been made educational while attending unpaid conpulsory education programs under threat of prosecution for truancy, not nuisance.

Non- FireOS Android forks have the "Digital Wellbeing" tools for helping oneself focus despite persistent distractions that will always exist IRL.

[-]

Mechanical circuits: electronics without electricity [video]

zdw | 2023-01-02 10:08:28 | 135 | # | ^
[+]
[+]

Electrons are described as fluids when there is superconductivity.

From https://en.wikipedia.org/wiki/Superconductivity :

> Unlike an ordinary metallic conductor, whose resistance decreases gradually as its temperature is lowered even down to near absolute zero, a superconductor has a characteristic critical temperature below which the resistance drops abruptly to zero. [1][2] An electric current through a loop of superconducting wire can persist indefinitely with no power source.

FWIU, an electric current pattern described as EM hertz waves (e.g. as sinusoids) is practically persisted at Lagrangian points and in nonterminal, non-intersecting Lorentz curve paths at least?

IRL electronic components waste energy as heat like steaming, over-pressurized water towers. And erasing bits releases heat instead of dropping the 1 onto the negative or ground "return path"

I agree that Spintronics is a great game for mechanical circuits, which are in certain sufficient ways like electronic circuits, which can't persist qubits for any reasonable unit of time.

[-]

Python malware starting to employ anti-debug techniques

[+]

Signed, Reproducible builds from source off a trusted build farm are possible with conda-forge, emscripten-forge, Fedora COPR, and OpenSUSE OBS Open Build System https://github.com/pyodide/pyodide/issues/795#issuecomment-1...

What does it mean for a package to have been signed with the key granted to the CI build server?

Does a Release Manager (or primary maintainer) again sign what the build farm produced once? What sort of consensus on PR approval and build output justifies use of the build artifact signing key granted to a CI build server?

How open are the build farm and signed package repo and pubkey server configurations? https://github.com/dev-sec https://pulpproject.org/content-plugins/

[+]

"Did the tests pass" for that signed Reproducible build?

Conda > Adding packages > Running unit tests: https://conda-forge.org/docs/maintainer/adding_pkgs.html#run...

From https://github.com/thonny/thonny/issues/2181 :

> * https://conda-forge.org/docs/maintainer/updating_pkgs.html

> Pushing to regro-cf-autotick-bot branch¶ When a new version of a package is released on PyPI/CRAN/.., we have a bot that automatically creates version updates for the feedstock. In most cases you can simply merge this PR and it should include all changes. When certain things have changed upstream, e.g. the dependencies, you will still have to do changes to the created PR. As feedstock maintainer, you don’t have to create a new PR for that but can simply push to the branch the bot created. There are two alternatives […]

nektos/act is one way to run a github-actions.yml build definition locally; without CI (e.g. GitLab Runner, which requires ~--privileged access to the docker/Podman socket) to check whether you get the exact same build artifacts as the CI build farm https://github.com/nektos/act

A Multi-stage Dockerfile has multiple FROM instructions: you can build 1) a container for running the build which has build essentials like a compiler (GCC, LLVM) and packaging tools and keys; and 2) COPY the build artifact (probably one or more signed software packages) --from the build stage container to a container which appropriately lacks a compiler for production. https://www.google.com/search?q=multi+stage+Dockerfile

Are there guidelines for excluding entropy like the commit hash and build time so that the artifact hashes are exactly the same; are reproducible on my machine, too?

[-]

Adding design-by-contract conditions to C++ via a GCC plugin

[+]

icontract is one implementation of Design by Contract for Python; which is also like Eiffel, which is considered ~the origin of DbC. icontract is fancier than compile-time macros can be. In addition to Invariant checking at runtime, icontract supports inheritance-aware runtime preconditions and postconditions to for example check types and value constraints. Here are the icontract Usage docs: https://icontract.readthedocs.io/en/latest/usage.html#invari...

For unit testing, there's icontract-hypothesis; with the Preconditions and Postconditions delineated by e.g. decorators, it's possible to generate many of the fuzz tests from the additional Design by Contract structure of the source.

From https://github.com/mristin/icontract-hypothesis :

> icontract-hypothesis combines design-by-contract with automatic testing.

> It is an integration between icontract library for design-by-contract and Hypothesis library for property-based testing.

> The result is a powerful combination that allows you to automatically test your code. Instead of writing manually the Hypothesis search strategies for a function, icontract-hypothesis infers them based on the function’s [sic] precondition

[-]

Paper-thin solar cell can turn any surface into a power source

> These durable, flexible solar cells, which are much thinner than a human hair, are glued to a strong, lightweight fabric, making them easy to install on a fixed surface. They can provide energy on the go as a wearable power fabric or be transported and rapidly deployed in remote locations for assistance in emergencies. They are one-hundredth the weight of conventional solar panels, generate 18 times more power-per-kilogram, and are made from semiconducting inks using printing processes that can be scaled in the future to large-area manufacturing.

Because they are so thin and lightweight, these solar cells can be laminated onto many different surfaces. For instance, they could be integrated onto the sails of a boat to provide power while at sea, adhered onto tents and tarps that are deployed in disaster recovery operations, or applied onto the wings of drones to extend their flying range. This lightweight solar technology can be easily integrated into built environments with minimal installation needs.

> [...] They found an ideal material — a composite fabric that weighs only 13 grams per square meter, commercially known as Dyneema

They also make ultralight backpacking backpacks out of Dyneema, but without the UV-curable glue.

> […] “A typical rooftop solar installation in Massachusetts is about 8,000 watts. To generate that same amount of power, our fabric photovoltaics would only add about 20 kilograms (44 pounds) to the roof of a house,” he says

Paper: “Printed Organic Photovoltaic Modules on Transferable Ultra-thin Substrates as Additive Power Sources” (2022) https://doi.org/10.1002/smtd.202200940

Solar energy can now be stored for up to 18 years, say scientists

> Long-term storage of the energy they generate is another matter. The solar energy system created at Chalmers back in 2017 is known as ‘MOST’: Molecular Solar Thermal Energy Storage Systems.

/? MOST Molecular Solar Thermal Energy Storage https://www.google.com/search?q=MOST%3A+Molecular+Solar+Ther... https://scholar.google.com/scholar?hl=en&as_sdt=0%2C44&q=MOS...

> The technology is based on a specially designed molecule of carbon, hydrogen and nitrogen that changes shape when it comes into contact with sunlight.

> It shape-shifts into an ‘energy-rich isomer’ - a molecule made up of the same atoms but arranged together in a different way. The isomer can then be stored in liquid form for later use when needed, such as at night or in the depths of winter.

> A catalyst releases the saved energy as heat while returning the molecule to its original shape, ready to be used again.

> Over the years, researchers have refined the system to the point that it is now possible to store the energy for an incredible 18 years

"Chip-scale solar thermal electrical power generation" (2022) https://doi.org/10.1016/j.xcrp.2022.100789

What prevents this from being scaled up?

[-]

Solar panels open crop lands to farming energy

[+]

FWIU, also sheep can graze under the shade of solar panels, thus eliminating the need to robo-mow beneath solar panels.

[+]
[-]

California pulls the plug on rooftop solar

[+]
[+]

With Buy-All Sell-All you buy all you use at retail rates and sell all you produce at wholesale rates. Buy-All Sell-All has a later breakeven point than Net Metering, where you buy what you can't produce at retail and sell back the rest at wholesale or better, which is an indirect subsidy for a resilient power grid with residential renewables with external benefits.

What you describe sounds like Buy-All Sell-All, except you're allowed to use and store what you produce before paying retail rates for electricity purchased from the service provider.

Is it anti-competitive to deny residential renewable energy producers the right to use the clean energy they invested in producing if they want to purchase electricity?

Another exclusive monopoly contract: if you buy water from me, you can't use the water you capture yourself.

Net metering in the United States: https://en.wikipedia.org/wiki/Net_metering_in_the_United_Sta...

Net metering > "Post-net metering" successor tariffs: https://en.wikipedia.org/wiki/Net_metering#Post-net_metering...

We want there to be renewable residential energy. Subsidizing renewable energy will hasten adoption. We should subsidize residential renewable energy if we want there to be more renewable energy.

If we make the break-even point later in time, residential renewable energy will be less lucrative.

[+]

FWIU, Buy-All Sell-All contracts have a "termination of agreement to provide service clause" if the residential renewables are not directly attached to the grid; it's against their TOS to use your own renewable energy and sell the rest, which is probably monopolistic and anti-competitive.

Is it legal to have a cutover so that it's possible to use one's own renewable energy when the power's out, given an exclusive Buy-All Sell-All agreement?

Perhaps there's an opportunity for a solution here: at the junction of batteries, renewables, and local [government-granted-monopoly with exclusive first-mover rights of way over and under other infrastructure] electrical-utility junction; there could be a controller that knows at least:

- 1a) when the grid is down

- 1b) when the grid wants the customer to slowly increase load e.g. after the power has been out

- 1c) when it's safe to send more electricity to the grid e.g. at retail or wholesale or intraday rates

- 2a) how full are the local batteries

- 2b) the current and projected local load && how much of that can be throttled down

- 2ba) how full and heated the hot water tank(s) are

- 2bb) the current and projected external and internal air temperature and humidity

- 2bba) the current and projected internal air temperature and humidity, per e.g. bath fans and attic fans with or without in-wall-controllers with humidistats

- 2bc) projected electrical needs for cooking, baking, microwaving (typically at 100W*15amps=1500W or more)

- 2c) how many volts at how many amps the local renewables are producing

But IIUC, Buy-All Sell-All service provision agreements threaten termination of service if the customer/competitor does anything but sell all locally produced electricity to the grid by direct connection, so an emergency cut-over that charges your batteries off your solar panels instead of the grid (e.g. when the grid is down) is forbidden.

[-]

New Docker Desktop: Run WASM Applications Alongside Linux Containers in Docker

[+]
[+]

HTTP SXG and Web Bundles (and SRI) - components of W3C Web Packaging - may be useful for a signed WASM package format: https://github.com/WICG/webpackage#packaging-tools

How is WASM distinct from an unsigned binary blob?

[+]

Sigstore is a CNCF project for centralized asset signatures for packages, containers, software artifacts; Cosign, Gitsign: https://docs.sigstore.dev/#how-to-use-sigstore

Re: TUF, Sigstore, W3C DIDs, CT Certificate Transparency logs, W3C Web Bundles; and reinventing the signed artifact wheel: https://news.ycombinator.com/item?id=30682329 ("Podman can transfer container images without a registry")

From "HTTP Messages Signatures" (~SXG) https://news.ycombinator.com/item?id=29281449 :

> blockcerts/cert-verifier-js ?

blockchain-certificates/cert-verifier-js: https://github.com/blockchain-certificates/cert-verifier-js

[+]
[+]

How does the memory usage change? Does Java still require initial RAM reservation? /? Java specify how much RAM https://www.google.com/search?q=java+specify+how+much+ram

VOC transpiles Python to Java bytecode. Py2many transpiles Python to many languages but not yet Java.

Apache Arrow can do IPC to share memory references to structs with schema without modification between many languages now; including JS and WASM. https://arrow.apache.org/

FWIU Service Workers and Task Workers and Web Locks are the browser APIs available for concurrency in browsers and thus WASM. https://github.com/jupyterlab/jupyterlab/issues/1639#issueco...

"WebVM" https://news.ycombinator.com/item?id=30168491 :

> Is WebVM a potential solution to "JupyterLite doesn't have a bash/zsh shell"? [Or Git; though there's already isomorphic-git in JS]

"WebGPU" https://news.ycombinator.com/item?id=30601415

Emscripten-compiled WASM can be packaged with ~conda packages and built and hosted by emscripten-forge ( which works like conda-forge, which has Python, R, Julia, Rust) to be imported from JS and WASM. Here's the picomamba recipe.yml on emscripten-forge: https://github.com/emscripten-forge/recipes/blob/main/recipe... and for CPython: https://github.com/emscripten-forge/recipes/blob/main/recipe...

Browsers could run WASM containers, too. How does the browser sandbox+ WASM runtime sandbox (that lacks WASI) compare to the security features of Linux containers?

How do the docstrings look after transpilation?

Are there relative performance benchmarks that help estimate the overhead of the WASM-recompilation and runtime? How much slower is it to run the same operations with the same code in a runtime with WASI support?

Are there cgroups and other container features for WASM applications?

Is there any way to tell whether an unsigned WASM bundle is taking 110% of CPU in a browser tab process?

Do browser tabs yet use cgroups functionality to limit resource exhaustion risks?

Should we be as confident in unsigned WASM in a WASM runtime as with TUF-signed containers?

[-]

Ask HN: Which books have made you a better thinker and problem solver?

Your choices needn't be only math books. They can come from any discipline or genre.

When you mention any book please add a line or two as to why it made you a better thinker and problem solver.

[+]

"The Everyday Parenting Toolkit: The Kazdin Method for Easy, Step-by-Step, Lasting Change for You and Your Child" https://www.google.com/search?kgmid=/g/11h7dr5mm6&hl=en-US&q...

"Everyday Parenting: The ABCs of Child Rearing" (Kazdin, Yale,) https://www.coursera.org/learn/everyday-parenting :

> The course will also shed light on many parenting misconceptions and ineffective strategies that are routinely used.

Re: Effective praise and Validating parenting

https://wrdrd.github.io/docs/consulting/kids

[+]
[+]
[-]

Building arbitrary Life patterns in 15 gliders

[+]
[+]
[+]

The "superstep" that we practically impose upon simulations of entropy and emergence is out of accord with our modern understanding of non-regularly-quantizable spacetime. The debuggable Von Neumann instruction pipeline precludes "in-RAM computing" which conceivably does converge if consensus-level error correction is necessary.

[+]
[+]
[+]

How nonlocal are the entanglements in Conway's game of cellular automata, if they're entanglements with symmetry; conservation but emergence? TIL about the effect of two Hadamard gates upon a zero.

Quantum discord: https://en.wikipedia.org/wiki/Quantum_discord :

> In quantum information theory, quantum discord is a measure of nonclassical correlations between two subsystems of a quantum system. It includes correlations that are due to quantum physical effects but do not necessarily involve quantum entanglement.

From "Convolution Is Fancy Multiplication" https://news.ycombinator.com/item?id=25194658 :

> FWIW, (bounded) Conway's Game of Life can be efficiently implemented as a convolution of the board state: https://gist.github.com/mikelane/89c580b7764f04cf73b32bf4e94...

Conway's Game is a 2D convolution; without complex phase or constructive superposition.

Convolution theorem: https://en.wikipedia.org/wiki/Convolution_theorem :

> In mathematics, the convolution theorem states that under suitable conditions the Fourier transform of a convolution of two functions (or signals) is the pointwise product of their Fourier transforms. More generally, convolution in one domain (e.g., time domain) equals point-wise multiplication in the other domain (e.g., frequency domain). Other versions of the convolution theorem are applicable to various Fourier-related transforms.

From Quantum Fourier transform: https://en.wikipedia.org/wiki/Quantum_Fourier_transform :

> The quantum Fourier transform can be performed efficiently on a quantum computer with a decomposition into the product of simpler unitary matrices. The discrete Fourier transform on 2^{n} amplitudes can be implemented as a quantum circuit consisting of only O(n^2) Hadamard gates and controlled phase shift gates, where n is the number of qubits.[2] This can be compared with the classical discrete Fourier transform, which takes O(n*(2^n)) gates (where n is the number of bits), which is exponentially more than O(n^2).

[-]

MicroPython officially becomes part of the Arduino ecosystem

Thonny has MicroPython support.

"BLD: Install thonny with conda and/or mamba" https://github.com/thonny/thonny/issues/2181

Mu editor has MicroPython support: https://codewith.mu/

For VSCode, there are a number of extensions for CircuitPython and MicroPython:

joedevivo.vscode-circuitpython https://marketplace.visualstudio.com/items?itemName=joedeviv...

Pymakr https://github.com/pycom/pymakr-vsc/blob/next/GET_STARTED.md

Pico-Go: https://github.com/cpwood/Pico-Go

/? CircuitPython MicroPython: https://www.google.com/search?q=circuitpython+micropython

Aurdino IDE now has support for Raspberry Pi Pico.

arduino-pico: https://arduino-pico.readthedocs.io/en/latest/index.html

Rshell and ampy are CLI tools for MicroPython:

rshell: https://github.com/dhylands/rshell

ampy: https://github.com/scientifichackers/ampy

Fedora MicroPython docs: https://developer.fedoraproject.org/tech/languages/python/mi...

awesome-micropython: https://github.com/mcauser/awesome-micropython#ides

awesome-arduino: https://github.com/Lembed/Awesome-arduino

KiCad (ngspice) is an open source tool for circuit simulation. Tinkercad is another.

TIL about Mecanum wheels.

wokwi/rp2040js: https://github.com/wokwi/rp2040js:

> Raspberry Pi Pico Emulator for the Wokwi Simulation Platform. It blinks, runs Arduino code, and even the MicroPython REPL!

What are some advantages of Arduino IDE? (which is cross-platform and now supports MicroPython and Pi Pico W (a $6 IC with MicroUSB and a pinout spec))

[-]

ELIZA is Turing Complete

[+]

> A programming language being Turing-complete isn't really news, it's... the main point, unless you are intentionally trying to avoid being Turing-complete.

For example, Bitcoin "smart contracts" are intentionally not Turing-complete, and there are not per-opcode costs like there are for EVM and eWASM (which are embedded in other programs than Ethereum)

"The Cha Cha Slide Is Turing Complete" https://news.ycombinator.com/item?id=32477593 :

> Turing completeness: https://en.wikipedia.org/wiki/Turing_completeness

> Church-Turing thesis: https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis

Halting problem: https://en.wikipedia.org/wiki/Halting_problem :

> A key part of the proof is a mathematical definition of a computer and program, which is known as a Turing machine; the halting problem is undecidable over Turing machines. It is one of the first cases of decision problems proven to be unsolvable. This proof is significant to practical computing efforts, defining a class of applications which no programming invention can possibly perform perfectly.

Quantum Turing machine > History: https://en.wikipedia.org/wiki/Quantum_Turing_machine :

> [...] any quantum algorithm can be expressed formally as a particular quantum Turing machine. However, the computationally equivalent quantum circuit is a more common model.[1][2]

> History: [2005] A quantum Turing machine with postselection was defined by Scott Aaronson, who showed that the class of polynomial time on such a machine (PostBQP) is equal to the classical complexity class PP.

Complexity Zoo > Petting Zoo > {P, NP, PP,}, Modeling Computation > Deterministic Turing Machine https://complexityzoo.net/Petting_Zoo#Deterministic_Turing_M...

-

When I read the title, I too assumed it was about dialectical chatbots and - having just read turtledemo.chaos - wondered whether there's divergence and potentially infinite monkeys and then emergence of a reverse shell to another layer of indirection; turtles all the way down w/ emergence.

Draft RFC: Cryptographic Hyperlinks

[+]

Neither RFC6920 nor magnet: URIs appear to support the "just add a url parameter with the hash to the existing URL" use case, FWICS.

CAS Content-addressable storage: https://en.wikipedia.org/wiki/Content-addressable_storage#Op... : IPFS <CID>/path

RFC6920: https://www.rfc-editor.org/rfc/rfc6920.html

Magnet URI scheme: https://en.wikipedia.org/wiki/Magnet_URI_scheme

draft-sporny-hashlink-07 2021: https://datatracker.ietf.org/doc/html/draft-sporny-hashlink-... :

  <url>?hl=<resource-hash>

[+]

How else can browsers check the hash of a file downloaded over HTTPS?

[+]

What is the likelihood that all existing resolvers will be updated to support schemes in addition to HTTP:// and HTTPS:// instead of happening to support a less-than-uniquely-named URL parameter?

HTTP SRI Subresource Integrity allows for specifying which cryptographic hash is presented, like ld-proofs has a "future-proof" signatureSuite attribute : https://developer.mozilla.org/en-US/docs/Web/Security/Subres...

> Subresource Integrity with the <script> element

> You can use the following <script> element to tell a browser that before executing the https://example.com/example-framework.js script, the browser must first compare the script to the expected hash, and verify that there's a match.

  <script
    src="<a href="<a href="https://example.com/example-framework.js" rel="nofollow noopener" target="_blank">https://example.com/example-framework.js" rel="nofollow noopener" target="_blank">https://example.com/example-framework.js"
    integrity="sha384-oqVuAfXRKap7fdgcCY5uykM6+R9GqQ8K/uxy9rx7HNQlGYl1kPzQho1wx4JwY8wC"
    crossorigin="anonymous"></script>

  [...]

  Note: An integrity value may contain multiple hashes separated by whitespace. A resource will be loaded if it matches one of those hashes
To create a SHA384 SRI HTTP resource hash for the integrity= attr:

  cat FILENAME.js | openssl dgst -sha384 -binary | openssl base64 -A

  ### 1.1.  Multiple Encodings

   A hashlink can be encoded in two different ways, the RECOMMENDED way
   to express a hashlink is:

   hl:<resource-hash>:<optional-metadata>

   To enable existing applications utilizing historical URL schemes to
   provide content integrity protection, hashlinks may also be encoded
   using URL parameters:

   <url>?hl=<resource-hash>

   Implementers should take note that the URL parameter-based encoding
   mechanism is application specific and SHOULD NOT be used unless the
   URL resolver for the application cannot be upgraded to support the
   RECOMMENDED encoding.

  [...]

  #### 3.2.1.  Hashlink as a Parameterized URL Example

   The example below demonstrates a simple hashlink that provides
   content integrity protection for the "http://example.org/hw.txt"
   file, which has a content type of "text/plain":

   http://example.org/hw.txt?hl=
   zQmWvQxTqbG2Z9HPJgG57jjwR154cKhbtJenbyYTWkjgF3e

[-]

Hydrogen-producing rooftop solar panels nearing commercialization

Is this more or less flammable than rooftop solar?

Could adjacent H2O and CO2 capture and storage help mitigate hydrogen fire risk?

[+]

FWIU actually Green hydrogen is where they're actually considered the total "path to value".

Charge the grid with it; whatever it is, if it's "economical": charge the grid with it.

> [ Hydrogen Safety: https://en.wikipedia.org/wiki/Hydrogen_safety ; videos: [ ]]

>> Contents: Prevention, Inerting and purging, Ignition source management (two rocks, HVAC, lighting, ), Mechanical integrity and reactive chemistry, Leaks and flame detection systems, Ventilation and flaring (all facilities that process Hydrogen must have anti-static ventilation systems), Inventory management and facility spacing, Cryogenics, Human factors, Incidents, *Hydrogen codes and standards*, Guidelines*

Would capturing CO2 and water with the same or adjacent PV/TPV+ panels help mitigate Hydrogen Hazard? FWIU, Aerogels and hydrogels can be made from CO2.

[+]

"With a plan to decarbonize heating systems with hydrogen, Modern Electron raises $30M" (2022) https://techcrunch.com/2022/02/03/with-a-plan-to-decarbonize... :

> The second, which is still under development but about to make its debut, is what they’re calling the Modern Electron Reserve, which rather than burning natural gas — which is mostly CH4, or methane — reduces it to solid carbon (in the form of graphite) and hydrogen gas. The gas is passed on to the furnace to be burned, and converted to both heat and energy, while the graphite is collected for disposal or reuse.

And there's a picture of what's left after they extract just the Hydrogen from PNG/LNG for one day of home heat.

Letting the grass grow longer is one way to absorb carbon locally; longer grass is more efficient at absorbing carbon (e.g. carbon emitted by comparatively inefficiently burning natural gas for heat (an exothermic critical reaction))

[-]

Show HN: I built my own PM tool after trying Trello, Asana, ClickUp, etc.

Hey HN,

Over the past two years, I've been building Upbase, an all-in-one PM tool.

I've tried so many project management tools over the years (Trello, Asana, ClickUp, Teamwork, Wrike, Monday, etc.) but they've all fallen short. Most of them are overly complicated and painful to use. Some others, like Trello, are too limited for my needs.

Most importantly, most of these tools tend to be focused on team collaboration and completely ignore personal productivity.

They are useful for organizing my work, but not great at helping me stay focused to get things done.

That's why I decided to build Upbase.

I try to make it clean and simple, without all the bells and whistles. Apart from team collaboration, I added many personal productivity features, including Weekly/Daily planner, Time blocking, Pomodoro Timer, Daily Journal, etc. so I don't need another to-do list app.

Now I can use Upbase to collaborate with my team AND manage your personal stuff at the same time, without all the bloat.

If these resonate with you, then give Upbase a try. It has a Free Forever plan though.

Let me know if you have any feedback or questions!

[+]

Gantt charts can be made in MS Project, Google Sheets,: https://en.wikipedia.org/wiki/Gantt_chart

Critical path method > Basic techniques: https://en.wikipedia.org/wiki/Critical_path_method#Basic_tec... :

> Components: The essential technique for using CPM [8][9] is to construct a model of the project that includes the following:

> (1) A list of all activities required to complete the project (typically categorized within a work breakdown structure), (2) The time (duration) that each activity will take to complete, (3) The dependencies between the activities and, (4) Logical end points such as milestones or deliverable items.

> Using these values, CPM calculates the *longest path* of planned activities to logical end points or to the end of the project, and *the earliest and latest that each activity can start and finish without making the project longer.* This process determines which activities are "critical" (i.e., on the longest path) and which have "total float" (i.e., can be delayed without making the project longer). In project management, a critical path is the sequence of project network activities which add up to the longest overall duration, regardless if that longest duration has float or not. This determines the *shortest time possible to complete the project.\ "*

Re: [Hilbert curve, Pyschedule, CSP,] Scheduling of [OS, Conference Room,] and other Resources https://news.ycombinator.com/item?id=31777451 https://westurner.github.io/hnlog/#comment-31777451

Complexity and/or Time estimates can be stuffed into nonexclusive namespaced label names on GitHub/GitLab/Gitea:

  #ComplexityEstimate: 
  C:1
  C: Fibonacci[n]
  C: (A), J, Q, K, (A)

  #TimeEstimate:
  T:2d
  T:5m

  #Good First Issue
GitLab EE and Gitea have time tracking on Issues and Pull Requests.

Gitea has untyped Issue dependency edges, but there could probably easily be another column in the is-it-a through table for the many-to-many Issue edges table to support typed edges with URIs i.e. JSONLD RDF.

GitLab Free supports the "relates to" Linked Issue relation; EE also supports "blocks"/"is blocked by".

Planning poker: https://en.wikipedia.org/wiki/Planning_poker

Agile estimation: https://www.google.com/search?q=agile+estimation

"Agile Estimating and Planning" (2005) https://g.co/kgs/kDScM7

[+]

WBS: Work Breakdown Structure: https://en.wikipedia.org/wiki/Work_breakdown_structure

PERT -> see also ->

"Project network" https://en.wikipedia.org/wiki/Project_network :

> Other techniques: The condition for a valid project network is that it doesn't contain any circular references.*

> Project dependencies can also be depicted by a predecessor table. Although such a form is very inconvenient for human analysis, project management software often offers such a view for data entry.

> An alternative way of showing and analyzing the sequence of project work is the design structure matrix or dependency structure matrix.

design structure matrix or dependency structure matrix: https://en.wikipedia.org/wiki/Design_structure_matrix

READMEs, Issues, Pull Requests, and Project Board Cards may contain Nested Markdown Task Lists with Issue (and actual Pull Request) # references:

  - [ ] Objective
    - [x] Task 1 +tag
    - [ ] #237 (GitHub fills in the Title and Open/Closed/Merged state and adds a *hover card*)
    - [x] Multiline Markdown list item indentation
      
      <URL|text|>

      - ID#: 
      - Title: 
      - Labels: [ ]
      - Description: |
        - htps://URL#yaml-yamlld
    - [x] Multiline Markdown list item indentation w/ --- YAML front matter delimiters

      ---
      - id: 
      - title: 
      - labels: [ ]
      ---
      - htps://URL#yaml-yamlld
Time management > Setting priorities and goals > The Eisenhower Method: https://en.wikipedia.org/wiki/Time_management#The_Eisenhower... :

  |            | Important | Not important
  | Urgent     | 
  | Not Urgent | 
From "Ask HN: Any well funded tech companies tackling big, meaningful problems?" https://news.ycombinator.com/item?id=24412493 :

> https://en.wikipedia.org/wiki/Strategic_alignment ... "Schema.org: Mission, Project, Goal, Objective, Task" https://news.ycombinator.com/item?id=12525141

[-]

NSA urges orgs to use memory-safe programming languages

# Infosec Memory Safety

## Hardware

- Memory protection: https://en.wikipedia.org/wiki/Memory_protection

- NX Bit: https://en.wikipedia.org/wiki/NX_bit

- Can non-compiled languages (e.g. those with mutable code objects like Python) utilize the NX bit that the processor supports?

- Can TLA+ find side-channels (which bypass all software memory protection features other than encryption-in-RAM)?

- How do DMA and IOMMU hardware features impact software memory safety controls? https://news.ycombinator.com/item?id=23993763

- DMA: Direct Memory Access

- DMA attack > Mitigations: https://en.wikipedia.org/wiki/DMA_attack

- IOMMU: I-O Memory Management Unit; GPUs, Virtualization, https://en.wikipedia.org/wiki/Input%E2%80%93output_memory_ma...

- Kernel IOMMU parameters: Ctrl-F "iommu": https://www.kernel.org/doc/html/latest/admin-guide/kernel-pa...

- RDMA: Remote direct memory access https://en.wikipedia.org/wiki/Remote_direct_memory_access

## Software

- Type safety > Memory management and type safety: https://en.wikipedia.org/wiki/Type_safety#Memory_management_...

- Memory safety > Types of memory errors: https://en.wikipedia.org/wiki/Memory_safety#Types_of_memory_...

- Template:Memory management https://en.wikipedia.org/wiki/Template:Memory_management

- Category:Memory_management https://en.wikipedia.org/wiki/Category:Memory_management

- Reference (computerscience) https://en.wikipedia.org/wiki/Reference_(computer_science)

- Pointer (computer programming) https://en.wikipedia.org/wiki/Pointer_(computer_programming)

- Smart pointer (computer programming) in C++: unique_ptr, shared_ptr and weak_ptr; Python: weakref, Arrow Plasma IPC, https://en.wikipedia.org/wiki/Smart_pointer

- Manual Memory Management > Resource Acquisition Is Initialization https://en.wikipedia.org/wiki/Manual_memory_management#Resou...

- Resource acquisition is initialization (C++ (1980s), D, Ada, Vala, Rust), #Reference_counting (Perl, Python (CPython,), PHP,) https://en.wikipedia.org/wiki/Resource_acquisition_is_initia...

- Ada > Language constructs > Concurrency https://en.wikipedia.org/wiki/Ada_(programming_language)#Con...

- C_dynamic_memory_allocation#Common_errors: https://en.wikipedia.org/wiki/C_dynamic_memory_allocation#Co...

- Python 3 > C-API > Memory Managment: https://docs.python.org/3/c-api/memory.html

- The Rust Programming Language > 4. Understanding Ownership > 4.1. What is Ownership? https://doc.rust-lang.org/book/ch04-00-understanding-ownersh...

- The Rust Programming Language > 6. Fearless Concurrency > Using Message Passing to Transfer Data Between Threads https://doc.rust-lang.org/book/ch16-02-message-passing.html#...

> One increasingly popular approach to ensuring safe concurrency is message passing, where threads or actors communicate by sending each other messages containing data. Here’s the idea in a slogan from the Go language documentation: “Do not communicate by sharing memory; instead, share memory by communicating.”

> To accomplish message-sending concurrency, Rust's standard library provides an implementation of channels. A channel is a general programming concept by which data is sent from one thread to another.

> You can imagine a channel in programming as being like a directional channel of water, such as a stream or a river. If you put something like a rubber duck into a river, it will travel downstream to the end of the waterway.

- The Rust Programming Language > 15. Smart Pointers > Smart Pointers: https://doc.rust-lang.org/book/ch15-00-smart-pointers.html

- The Rust Programming Language > 19. Advanced Features > Unsafe Rust: https://doc.rust-lang.org/book/ch19-01-unsafe-rust.html

- Secure Rust Guidelines > Memory management, > Checklist > Memory management: https://anssi-fr.github.io/rust-guide/05_memory.html

- Go 101 > "Type-Unsafe Pointers" https://go101.org/article/unsafe.html https://pkg.go.dev/unsafe

- https://github.com/rust-secure-code/projects#side-channel-vu...

- Segmentation fault > Causes, Examples, : https://en.wikipedia.org/wiki/Segmentation_fault

- "CWE CATEGORY: Pointer Issues" https://cwe.mitre.org/data/definitions/465.html

- "CWE CATEGORY: Memory Buffer Errors" https://cwe.mitre.org/data/definitions/1218.html

- "CWE-119: Improper Restriction of Operations within the Bounds of a Memory Buffer" https://cwe.mitre.org/data/definitions/119.html

- "CWE CATEGORY: SEI CERT C Coding Standard - Guidelines 08. Memory Management (MEM)" https://cwe.mitre.org/data/definitions/1162.html

- "CWE CATEGORY: CERT C++ Secure Coding Section 08 - Memory Management (MEM)" https://cwe.mitre.org/data/definitions/876.html

- SEI CERT C Coding Standard > "Rule 08. Memory Management (MEM)" https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pa...

- SEI CERT C Coding Standard > "Rec. 08. Memory Management (MEM)" https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pa...

- Invariance (computer science) https://en.wikipedia.org/wiki/Invariant_(mathematics)#Invari...

- TLA+ Model checker https://en.wikipedia.org/wiki/TLA%2B#Model_checker > The TLC model checker builds a finite state model of TLA+ specifications for checking invariance properties.

- Data remnance; after the process fails or is ended, RAM is not zeroed: https://en.wikipedia.org/wiki/Data_remanence

- Memory debugger; valgrind, https://en.wikipedia.org/wiki/Memory_debugger

- awesome-safety-critical https://awesome-safety-critical.readthedocs.io/en/latest/#so... ; Software Safety Standards, Handbooks; Formal Verification; backup/ https://github.com/stanislaw/awesome-safety-critical/tree/ma...

- > Additional lists of static analysis, dynamic analysis, SAST, DAST, and other source code analysis tools: https://news.ycombinator.com/item?id=24511280

TEE Trusted Execution Environment > Hardware support, TEE Operating Systems: https://en.wikipedia.org/wiki/Trusted_execution_environment#...

List of [SGX,] vulnerabilities: https://en.wikipedia.org/wiki/Software_Guard_Extensions#List...

Protection Ring: https://en.wikipedia.org/wiki/Protection_ring ... Memory Segmentation: https://en.wikipedia.org/wiki/Memory_segmentation

.data segment: https://en.wikipedia.org/wiki/Data_segment

.code segment: https://en.wikipedia.org/wiki/Code_segment

NX bit: https://en.wikipedia.org/wiki/No-execute_bit

Arbitrary code execution: https://en.wikipedia.org/wiki/Arbitrary_code_execution :

> This type of attack exploits the fact that most computers (which use a Von Neumann architecture) do not make a general distinction between code and data,[6][7] so that malicious code can be camouflaged as harmless input data. Many newer CPUs have mechanisms to make this harder, such as a no-execute bit. [8][9]

> - Memory debugger; valgrind, https://en.wikipedia.org/wiki/Memory_debugger

"The GDB developer's GNU Debugger tutorial, Part 1: Getting started with the debugger" (2021) https://developers.redhat.com/blog/2021/04/30/the-gdb-develo...

"Debugging Python C extensions with GDB" (2021) https://developers.redhat.com/articles/2021/09/08/debugging-... & "Python Devguide" > "GDB support" https://devguide.python.org/advanced-tools/gdb/ :

  run, where, frame, p(rint),
  py-list, py-up/py-down, py-bt, py-locals, py-print
/? site:github.com inurl:awesome inurl:gdb https://www.google.com/search?q=site%3Agithub.com+inurl%3Aaw...

/? vscode debugger: https://www.google.com/search?q=vscode+debugger

/? juyterlab debugger: https://www.google.com/search?q=jupyterlab+debugger

Ghidra: https://en.wikipedia.org/wiki/Ghidra

> Ghidra can be used as a debugger since Ghidra 10.0. Ghidra's debugger supports debugging user-mode Windows programs via WinDbg, and Linux programs via GDB. [11]

Ghidra 10.0 (2021) Release Notes: https://ghidra-sre.org/releaseNotes_10.0beta.html

"A first look at Ghidra's Debugger - Game Boy Advance Edition" (2022) https://wrongbaud.github.io/posts/ghidra-debugger/ :

> - Debugging a program with Ghidra using the GDB stub

> - Use the debugging capability to help us learn about how passwords are processed for a GBA game

/? site:github.com inurl:awesome ollydbg ghidra memory https://www.google.com/search?q=site%3Agithub.com+inurl%3Aaw...

Memory forensics: https://en.wikipedia.org/wiki/Memory_forensics

awesome-malware-analysis > memory-forensics: https://github.com/rshipp/awesome-malware-analysis/blob/main...

github.com/topics/memory-forensics: https://github.com/topics/memory-forensics :

- microsoft/avml: https://github.com/microsoft/avml :

    /dev/crash
    /proc/kcore
    /dev/mem
> NOTE: If the kernel feature `kernel_lockdown` is enabled, AVML will not be able to acquire memory.

Aluminum formate Al(HCOO)3: Earth-abundant, scalable, & material for CO2 capture

"Aluminum formate, Al(HCOO)3: An earth-abundant, scalable, and highly selective material for CO2 capture" (2022) https://www.science.org/doi/10.1126/sciadv.ade1473

> Abstract: A combination of gas adsorption and gas breakthrough measurements show that the metal-organic framework, Al(HCOO)3 (ALF), which can be made inexpensively from commodity chemicals, exhibits excellent CO2 adsorption capacities and outstanding CO2/N2 selectivity that enable it to remove CO2 from dried CO2-containing gas streams at elevated temperatures (323 kelvin). Notably, ALF is scalable, readily pelletized, stable to SO2 and NO, and simple to regenerate. Density functional theory calculations and in situ neutron diffraction studies reveal that the preferential adsorption of CO2 is a size-selective separation that depends on the subtle difference between the kinetic diameters of CO2 and N2. The findings are supported by additional measurements, including Fourier transform infrared spectroscopy, thermogravimetric analysis, and variable temperature powder and single-crystal x-ray diffraction.

"NIST Breakthrough: Simple Material Could Scrub Carbon Dioxide From Power Plant Smokestacks" (2022) https://scitechdaily.com/nist-breakthrough-simple-material-c... :

> [What to do with all of the captured CO2?]

>> - Generate more formic acid to capture more CO2

- Make protein powder (#Solein,). And nutrients and flavors?

- Feed algae

- Feed plants, greenhouses

- CAES Compressed Air Energy Storage

- Firefighting: https://twitter.com/westurner/status/1572664456210948104

- Make aerogels. Aerogels are useful for firefighter protective clothing, extremely lightweight insulation, extremely lightweight packing materials, aerospace; and no longer require supercritical drying to produce: https://twitter.com/westurner/status/1572662622423584770?t=A...

- Make hydrogels. Hydrogels are useful for: firefighting: https://www.google.com/search?q=hydrogel+firefighting https://twitter.com/westurner/status/1572664456210948104

- Make diamonds, buckyballs, fullerenes, graphene

- Water filtration: activated carbon, nanoporous graphene

Is there a similar process ("MOF,) for capturing Methane from flue gas? Is that before or after the CO2 capture?

- Methane is worse for Earth than CO2 FWIU. And there are many uncapped wells leaking methane, as now visible from space: https://news.ycombinator.com/item?id=33431427

- It's possible to make CBG Cleaner Burning Gasoline from methane (natural gas)

How does the #CophenHill recycling and flue capture facility currently handle CO2 and Methane capture?

- "Transforming carbon dioxide into jet fuel using an organic combustion-synthesized Fe-Mn-K catalyst." (2020) https://doi.org/10.1038/s41467-020-20214-z https://news.ycombinator.com/item?id=25559414

[-]

Electrons turn piece of wire into laser-like light source

[+]
[+]

"Coherent Surface Plasmon Polariton Amplification via Free Electron Pumping" (2022) Ye Tian, Dongdong Zhang, Yushan Zeng, Yafeng Bai, Zhongpeng Li, and 1 more https://doi.org/10.21203/rs.3.rs-1572967/v1

> Abstract: Surface plasmonic with its unique confinement of light is expected to be a cornerstone for future compact radiation sources and integrated photonics devices. The energy transfer between light and matter is a defining aspect that underlies recent studies on optical surface-wave-mediated spontaneous emissions. But coherent stimulated emission, being omnipresent in every laser system, remains to be realized and revealed in the optical near fields unambiguously and dynamically. Here, we present the coherent amplification of Terahertz surface plasmon polaritons via free electron stimulated emission. We demonstrate the evolutionary amplification process with a frequency redshift and lasts over 1-mm interaction length. The complementary theoretical analysis predicts a 100-order surface wave growth when a properly phase-matched electron bunch is used, which lays the ground for a stimulated surface wave light source and may facilitate capable means for matter manipulation, especially in the Terahertz band.

Polariton: https://en.wikipedia.org/wiki/Polariton

Surface plasmon polaritons : https://en.wikipedia.org/wiki/Surface_plasmon_polaritons :

> [...] Application of SPPs enables subwavelength optics in microscopy and photolithography beyond the diffraction limit. It also enables the first steady-state micro-mechanical measurement of a fundamental property of light itself: the momentum of a photon in a dielectric medium. Other applications are photonic data storage, light generation, and bio-photonics.[2][3][4][5]

[+]

- Live ~fMRI in surgery (OpenWater,) #TricorderXPrize

- Atomic antenna that listens on all frequencies; with bus and disk throughput as the new limits (Rydberg Technologies)

- Nonlocal entanglement, laser-induced coherence, QKD, passive backscatter wireless,

Exciting work!

[-]

TabPFN: Transformer Solves Small Tabular Classification in a Second

From https://twitter.com/FrankRHutter/status/1583410845307977733 :

> This may revolutionize data science: we introduce TabPFN, a new tabular data classification method that takes 1 second & yields SOTA performance (better than hyperparameter-optimized gradient boosting in 1h). Current limits: up to 1k data points, 100 features, 10 classes. 1/6

[Faster and more accurate than gradient boosting for tabular data: Catboost, LightGBM, XGBoost]

[-]

Mathics: A free, open-source alternative to Mathematica

[+]
[+]
[+]

SageMath (and the cocalc-docker image, and JupyterLite, and mambaforge, ) include SymPy; which can be called with `evaluate=False`

Advanced Expression Manipulation > Prevent expression evaluation: https://docs.sympy.org/latest/tutorials/intro-tutorial/manip...

> There are generally two ways to prevent the evaluation, either pass an evaluate=False parameter while constructing the expression, or create an evaluation stopper by wrapping the expression with UnevaluatedExpr.

From "disabling automatic simplification in sympy" https://stackoverflow.com/a/48847102 :

> A simpler way to disable automatic evaluation is to use context manager evaluate. For example,

  from sympy.core.evaluate import evaluate
  from sympy.abc import x,y,z
  with evaluate(False):
    print(x/x)
sage.symbolic.expression.Expression.unhold() and `hold=True`: https://doc.sagemath.org/html/en/reference/calculus/sage/sym...

IIRC there is a Wolfram Jupyter kernel?

WolframResearch/WolframLanguageForJupyter: https://github.com/WolframResearch/WolframLanguageForJupyter

mathics/IMathics is the Jupyter kernel for mathics: https://github.com/mathics/IMathics@main#egg=imathics

  #pip install jupyter_console imathics
  #conda install -c conda-forge -y jupyter_console jupyterlab
  mamba install -y jupyter_console jupyterlab
  jupyter console
  
  jupyter kernelspec list
  pip install -e git+https://github.com/mathics/imathics@main#egg=mathics
  jupyter console --kernel=
  
  %?
  %logstart?
  %logstart -o demo.log.py
There are Jupyter kernels for Python, Mathics, Wolfram, R, Octave, Matlab, xeus-cling, allthekernels (the polyglot kernel). https://github.com/jupyter/jupyter/wiki/Jupyter-kernels https://github.com/ml-tooling/best-of-jupyter#jupyter-kernel...

The Python Jupyter kernel checks IPython.display.display()'d objects for methods in order to represent an object in a command line shell, graphical shell (qtconsole), notebook (.ipynb), or a latex document: _repr_mimebundle_(), _repr_html_(), _repr_json_(), _repr_latex_(), ..., __repr__(), __str__()

The last expression in an input cell of a notebook is implictly displayed:

  from IPython.display import display
  %display?  # argspec, docstring
  %display?? # ' & source code
  display(last_expresssion)
Symbolic CAS mobile apps with tabling and charting and varying levels of support for complex numbers and quaternions, for example: Wolfram Mathematica, Desmos, Geogebra, JupyterLite, Jupyter on mobile

[-]

Astronomers Discover Closest Black Hole to Earth

Micro black hole > Black holes in quantum theories of gravity https://en.wikipedia.org/wiki/Micro_black_hole#Black_holes_i...

Virtual black hole https://en.wikipedia.org/wiki/Virtual_black_hole

Timeline of gravitational physics and relativity https://en.wikipedia.org/wiki/Timeline_of_gravitational_phys...

- [ ] Superfluid Quantum Gravity

-- [ ] GR + Bernoulli's re: Dark Matter/Energy: Fedi (2017),

"What If (Tiny) Black Holes Are Everywhere?" https://youtu.be/srVKjWn26AQ

> Just one Planck relic per 30km cube, and that’s enough to make up most of the mass in the universe

Quantum foam: https://en.wikipedia.org/wiki/Quantum_foam

[-]

Sudo: Heap-based overflow with small passwords

[+]
[+]
[+]
[+]
[+]
[+]
[+]
[+]
[+]
[+]

Does it say somewhere that non-neteork-io PAM modules are supposed to be constant time?

  def add_noise(t=10):
    time.sleep(t-1)
    time.sleep(
      uniformrandom(min=0,max=1))
Constant time: https://en.wikipedia.org/wiki/Time_complexity#Constant_time

(Re: Short, DES passwords https://en.wikipedia.org/wiki/Triple_DES :

> A CVE released in 2016, CVE-2016-2183 disclosed a major security vulnerability in DES and 3DES encryption algorithms. This CVE, combined with the inadequate key size of DES and 3DES, NIST has deprecated DES and 3DES for new applications in 2017, and for all applications by the end of 2023.[1] It has been replaced with the more secure, more robust AES.

Except for PQ. For PQ in 2022: https://news.ycombinator.com/item?id=32760170 :

> NIST PQ algos are only just now announced: https://news.ycombinator.com/item?id=32281357 : Kyber, NTRU, {FIPS-140-3}? [TLS1.4/2.0?]

[+]

Should the time to complete the (single-character) password-hashing/key-strengthening routine vary in relation to any aspect of the input ?

Timing attacks > Avoidance https://en.wikipedia.org/wiki/Timing_attack

[-]

Cree releases LEDs designed for horticulture

[+]
[+]

UV Ultraviolet light (UV-A, UV-B, and UV-C,) and near-UV "antimicrobial violet light" are sanitizing radiation.

Natural sunlight sanitizes because the radiation from the sun includes UV-* band radiation that is sufficient to radiate organic cells at this distance.

EM light/radiation intensity decreases as a function of the square of the distance from the light source (though what about superfluidic wave functions and accretion discs and microscopic black hole interiors (every 30km by one estimate) and Lagrangian points,).

"Inverse-square law" https://en.wikipedia.org/wiki/Inverse-square_law

Ultraviolet: https://en.m.wikipedia.org/wiki/Ultraviolet

> Short-wave ultraviolet light damages DNA and sterilizes surfaces with which it comes into contact. For humans, suntan and sunburn are familiar effects of exposure of the skin to UV light, along with an increased risk of skin cancer. The amount of UV light produced by the Sun means that the Earth would not be able to sustain life on dry land if most of that light were not filtered out by the atmosphere. [2] More energetic, shorter-wavelength "extreme" UV below 121 nm ionizes air so strongly that it is absorbed before it reaches the ground. [3] However, ultraviolet light (specifically, UVB) is also responsible for the formation of vitamin D in most land vertebrates, including humans. [4] The UV spectrum, thus, has effects both beneficial and harmful to life.

Ultraviolet > Solar ultraviolet: https://en.wikipedia.org/wiki/Ultraviolet#Solar_ultraviolet

> The atmosphere blocks about 77% of the Sun's UV, when the Sun is highest in the sky (at zenith), with absorption increasing at shorter UV wavelengths. At ground level with the sun at zenith, sunlight is 44% visible light, 3% ultraviolet, and the remainder infrared. [23][24] Of the ultraviolet radiation that reaches the Earth's surface, more than 95% is the longer wavelengths of UVA, with the small remainder UVB. Almost no UVC reaches the Earth's surface. [25] The fraction of UVB which remains in UV radiation after passing through the atmosphere is heavily dependent on cloud cover and atmospheric conditions. On "partly cloudy" days, [...]

(Infrared light ~is heat.

There's usually plenty of waste heat from mechanical friction, exothermic chemical processes with gravity, lossy AC-DC conversion, and electronic components that waste energy/electron_field_disturbance//thermions/heat like steaming water towers sans superconducting channels wide enough for electrons to not start tunneling out without a ground or a negative)

Ultraviolet > Human health-related effects > harmful effects https://en.wikipedia.org/wiki/Ultraviolet#Harmful_effects

UV-A and UV-B protective eyewear (U6 polycarbonate) can be purchased in bulk. https://www.amazon.com/s?k=uvb+ansi+z87+glasses+20+pairs

[-]

Phlare: open-source database for continuous profiling at scale

[+]
[+]
[+]

If an open source community is sufficient, it should implement pull requests itself while sufficient paid developers continue to contribute after earning enough to provide for themselves by working on customer feedback.

[-]

NASA finds super-emitters of methane

[+]
[+]
[+]
[+]

Is there a way to IDK 3d earthen print a geodesic dome over the site and capture the waste methane (natural gas) into local tanks?

TIL about CBG: Cleaner Burning Gasoline

From https://twitter.com/westurner/status/1564443689623195650 :

> In September 2021 we covered a new "green gasoline" concept from @NaceroCo [in Penwell, TX] that involves constructing gasoline hydrocarbons by assembling smaller #methane molecules from natural gas

From https://www.houstonchronicle.com/opinion/outlook/article/Opi... :

> The Inflation Reduction Act imposes a fee of [$900/ton] of methane starting in 2024 — this is roughly twice the current record-high price of natural gas and five times the average price of natural gas in 2020.

> These high fees present a strong incentive

... "Argonne invents reusable [polyurethane] sponge that soaks up oil, could revolutionize oil spill and diesel cleanup" (2017) https://www.anl.gov/article/argonne-invents-reusable-sponge-...

FWIU, heat engines are useful with all thermal gradients: pipes, engines, probably solar panels and attics; "MIT’s new heat engine beats a steam turbine in efficiency" (2022) https://www.freethink.com/environment/heat-engine

[+]

So there only needs to be a bit of concrete in a smaller structure that exceeds bunker-busting bomb specs and 'funnels' (?) the natural gas to a tank or a bladder?

Are there existing methods for capturing methane from insufficiently-capped old wells?

Are the new incentives/fees/fines enough to motivate action thus far in this space?

OpenAPI is one way to specify integrable APIs. An RDFS vocabulary for this data is probably worthwhile; e.g. NASA Earth Science (?) may have a schema that all of the state APIs could voluntarily adopt?

Presumably the CophenHill facility handles waste methane? We should build waste-to-energy facilities in the US, too

FWIU Carbon Credits do not cover methane, which is worse than CO² for #ActOnClimate

[+]

So, in 2022, it's cheaper to dump concrete than to capture it, but the new fines this year aren't enough incentive to solve for: capture to a tank and haul, build unprocessed natural gas pipelines, or process onsite and/or fill tankers onsite?

Data quality: https://en.wikipedia.org/wiki/Data_quality

... Space -based imaging.

How long should they wait to up the methane fee if it's not enough to incentivize capping closed wells?

[+]

Options:

A. Privately and/or Publicly grant to P&A wells

    ($25k+  * n_wells)
  + ($7-8m+ * m_wells)
B. Build natural gas pipelines that run past those well sites (approval,)

C. increase the incentives/fines/fees

**

Shouldn't it be pretty easy to find such tools with IDK neutron detection and/or imaging at what distance?

[-]

Show HN: Linen – Open-source Slack for communities

Hi HN, My name is Kam. I'm the founder of Linen.dev. Linen communities is a Slack/Discord alternative that is Google-searchable and customer-support friendly. Today we are open-sourcing Linen and launching Linen communities. You can now create a community on Linen.dev without syncing it from Slack and Discord!

I initially launched Linen as a tool to sync Slack and Discord conversations to a search engine-friendly website. As I talked to more community managers, I quickly realized that Slack and Discord communities don't scale well and that there needs to be a better tool, especially for open-source knowledge-based communities. Traditionally these communities have lived on forums that solved many of these problems. However, from talking to communities, I found most of them preferred chat because it feels more friendly and modern. We want to bring back a bunch of the advantages of forums while maintaining the look and feel of a chat-based community.

Slack and Discord are closed apps that are not indexable by the internet, so a lot of content gets lost. Traditional chat apps are not search engine friendly because most search engines have difficulty crawling JS-heavy sites. We built Linen to be search engine friendly, and our communities have over 30,000 pages/threads indexed by google. Our communities that have synced their Slack and Discord conversations under their domain have additional 40,000 pages indexed. We accomplish this by conditionally server rendering pages based on whether or not the browser client is a crawler bot. This way, we can bring dynamic features and a real-time feel to Linen and support search engines.

Most communities become a support channel, and managing this many conversations is not what these tools are designed for. I've seen community admins hack together their own syncs and internal devices to work to stay on top of the conversations. This is why we created a feed view, a single view for all the threads in all the channels you care about. We added an open and closed state to every thread so you can track them similarly to GitHub issues or a ticketing system. This way, you and your team won't miss messages and let them drop. We also allow you to filter conversations you are @mentioned as a way of assigning tickets. I think this is a good starting point, but there is a lot more we can improve on.

How chat is designed today is inherently interrupt-driven and disrupts your team's flow state. Most of the time, when I am @mentioning a team member, I actually don't need them to respond immediately. But I do want to make sure that they do eventually see it. This is why we want to redesign how the notification system works. We are repurposing @mentions to show up in your feed and your conversation sections and adding a !mention. A @mention will appear in your feed but doesn't send any push notifications, whereas a !mention will send a notification for when things need a real-time synchronous conversation. This lets you separate casual conversations from urgent conversations. When everything is urgent, nothing is. (credit: Incredibles) This, along with the feed, you can get a very forum-like experience to browse the conversations.

Linen is free with unlimited history for public communities under https://linen.dev/community domain. We monetize by offering a paid version based on communities that want to host Linen under their subdomain and get the SEO benefits without managing their own self-hosted instance.

We are a small team of 3, and this is the first iteration, so we apologize for any missing features or bugs. There are many things we want to improve in terms of UX. In the near term, we want to improve search and add more deep integrations, DMs, and private channels. We would appreciate any feedback, and if you are curious about what the experience looks like, you can join us here at Linen.dev/s/linen

[+]
[+]

> [Open-core Software Firm X] wants to use the work of contributors to an open source project to further their proprietary software goals, while maintaining their open source bait as a neutered stub.

Source-available software: https://en.wikipedia.org/wiki/Source-available_software

Open-core model > Examples: https://en.wikipedia.org/wiki/Open-core_model#Examples

Who can merge which pull requests to the most-tested and most-maintained branch of a fork?

CLAs are advisable regardless of software license.

Re: Free and Open Source governance models: https://twitter.com/westurner/status/1308465144863903744

[-]

Protobuf-ES: Protocol Buffers TypeScript/JavaScript runtime

Arrow Flight RPC (and Arrow Flight SQL, a faster alternative to ODBC/JDBC) are based on gRPC and protobufs: https://arrow.apache.org/docs/format/Flight.html:

> Arrow Flight is an RPC framework for high-performance data services based on Arrow data, and is built on top of gRPC and the IPC format.

> Flight is organized around streams of Arrow record batches, being either downloaded from or uploaded to another service. A set of metadata methods offers discovery and introspection of streams, as well as the ability to implement application-specific methods.

> Methods and message wire formats are defined by Protobuf, enabling interoperability with clients that may support gRPC and Arrow separately, but not Flight. However, Flight implementations include further optimizations to avoid overhead in usage of Protobuf (mostly around avoiding excessive memory copies

"Powered By Apache Arrow in JS" https://arrow.apache.org/docs/js/index.html#powered-by-apach...

[+]
[+]

No.

Read: https://westurner.github.io/hnlog/

If you have a question about what I just took the time to share with you here, that would be great. Otherwise, I'm going to need you on Saturday.

[+]

These are called citations to academics. Without citations, one is just posting their opinions on the internet.

I prepared all of these buddy. These links are very relevant.

Given the form of the way I've been accused, I won't be spending time defending anything for yas.

[-]

We need a replacement for TCP in the datacenter [pdf]

FWIU, barring FTL; superluminal communication breakthroughs and controls, Deep Space Networking needs a new TCP, as well:

From https://github.com/torvalds/linux/blob/master/net/ipv4/tcp_t... :

  void tcp_retransmit_timer(struct sock *sk) {
  
 /* Increase the timeout each time we retransmit.  Note that
  * we do not increase the rtt estimate.  rto is initialized
  * from rtt, but increases here.  Jacobson (SIGCOMM 88) suggests
  * that doubling rto each time is the least we can get away with.
  * In KA9Q, Karn uses this for the first few times, and then
  * goes to quadratic.  netBSD doubles, but only goes up to *64,
  * and clamps at 1 to 64 sec afterwards.  Note that 120 sec is
  * defined in the protocol as the maximum possible RTT.  I guess
  * we'll have to use something other than TCP to talk to the
  * University of Mars.
  *
  * PAWS allows us longer timeouts and large windows, so once
  * implemented ftp to mars will work nicely. We will have to fix
  * the 120 second clamps though!
  */
/? "tp-planet" "tcp-planet" https://www.google.com/search?q=%22tp-planet%22+%22tcp-plane... https://scholar.google.com/scholar?q=%22tp-planet%22+%22tcp-...

[-]

A Message from Lunny on Gitea Ltd. and the Gitea Project

[+]
[+]

Gogs is a clone of GitHub and GitLab (which were both originally written in Ruby with the Ruby on Rails CoC Convention-over-Configuration Web Framework), which were built because Trac didn't support Git or multiple projects, Sourceforge didn't support Git or on-prem, and git patchbombs as attachments over emailing lists needed Pull Requests, and Issues and PRs should pull from the same sequence of autoincrement (*) integer keys.

- You can do ~GitHub Pages with Gitea and an idempotent git post-receive-hook that builds static HTML from a repo revision, tests, deploys to revid/ and updates a latest/ symlimk, and logs; or with HTTP webhooks.

- "Feature: Allow interacting with tickets via email" https://github.com/go-gitea/gitea/issues/2386#issuecomment-6...

- It's not safe to host Gitea on the same server as the CI (e.g. DroneCI) host if you grant permissions to the docker socket to the CI container: you need another VM at least to run the CI controller and workers on_push() with Gitea. https://docs.drone.io/server/provider/gitea/ :

> Please note we strongly recommend installing Drone on a dedicated instance. We do not recommend installing Drone and Gitea on the same machine due to network complications, and we definitely do not recommend installing Drone and Gitea on the same machine using docker-compose.

GitHub and GitLab centralize git for project-based collaboration, which is itself a distributed system.

[-]

Linux System Call Table – Chromiumos

System call: https://en.wikipedia.org/wiki/System_call

Strace and similar tools can trace syscalls to see what kernel system calls are made by a process: https://en.wikipedia.org/wiki/Strace#Similar_tools

Google/syzkaller https://github.com/google/syzkaller :

> syzkaller ([siːzˈkɔːlə]) is an unsupervised coverage-guided kernel fuzzer. Supported OSes: Akaros, FreeBSD, Fuchsia, gVisor, Linux, NetBSD, OpenBSD, Windows

Fuschia / Zircon syscalls: https://fuchsia.dev/fuchsia-src/reference/syscalls

"How does Go make system calls?" https://stackoverflow.com/questions/55735864/how-does-go-mak...

[-]

Variability, not repetition, is the key to mastery

Over how many generations?

Genetic algorithm: https://en.wikipedia.org/wiki/Genetic_algorithm

Mutation: https://en.wikipedia.org/wiki/Mutation_(genetic_algorithm)

Crossover: https://en.wikipedia.org/wiki/Crossover_(genetic_algorithm)

Selection: https://en.wikipedia.org/wiki/Selection_(genetic_algorithm)

...

AlphaZero / MuZero: https://en.wikipedia.org/wiki/MuZero :

> MuZero was trained via self-play, with no access to rules, opening books, or endgame tablebases.

Self-play algorithms essentially mutate and select according to the game rules. For a generally-defined mastery objective, are there subjective and/or objective game rules, and is there a distance metric for ranking candidate solutions?

[-]

The Docker+WASM Technical Preview

[+]
[+]
[+]

Is it possible to sandbox the host system from the guests in WASM?

Are there namespaces and cgroups and SECCOMP and blocking for concurrent hardware access in WASM, or would those kernel protections be effective within a WASM runtime? Do WASM runtimes have subprocess isolation?

/? subprocess isolation https://www.google.com/search?q=subprocess+isolation on a PC:

- TIL about teh Endokernel: "The Endokernel: Fast, Secure, and Programmable Subprocess Virtualization" (2021) https://arxiv.org/abs/2108.03705#

> The Endokernel introduces a new virtual machine abstraction for representing subprocess authority, which is enforced by an efficient self-isolating monitor that maps the abstraction to system level objects (processes, threads, files, and signals). We show how the Endokernel can be used to develop specialized separation abstractions using an exokernel-like organization to provide virtual privilege rings, which we use to reorganize and secure NGINX. Our prototype, includes a new syscall monitor, the nexpoline, and explores the tradeoffs of implementing it with diverse mechanisms, including Intel Control Enhancement Technology. Overall, we believe sub-process isolation is a must and that the Endokernel exposes an essential set of abstractions for realizing this in a simple and feasible way.

Sandbox (computer security) > Implementations https://en.wikipedia.org/wiki/Sandbox_(computer_security)

- [x] Linux containers

- [ ] WASM with or without WASI

eWASM has costed opcodes; basically like dynamic tracing in CPython.

Are there side channels for many or most of these sandboxing methods; even at the CPU level?

google/gvisor could be useful for this? https://github.com/google/gvisor :

> gVisor is an application kernel, written in Go, that implements a substantial portion of the Linux system surface. It includes an Open Container Initiative (OCI) runtime called runsc that provides an isolation boundary between the application and the host kernel.

[-]

Tomorrow the Unix timestamp will get to 1,666,666,666

Approximations of Pi: https://en.wikipedia.org/wiki/Approximations_of_π

> In the 3rd century BCE, Archimedes proved the sharp inequalities 223⁄71 < π < 22⁄7, by means of regular 96-gons (accuracies of 2·10−4 and 4·10−4, respectively).

  223/71  = 3.1408450704225
  666/212 = 3.1415094339622
  π       = 3.14159265359
  22/7    = 3.1428571428571
Is π a good radix for what types of math in addition to Trigonometry? And then what about e for natural systems; the natural log.

"Why do colliding blocks compute pi?" https://youtu.be/jsYwFizhncE https://www.3blue1brown.com/lessons/clacks-solution https://www.reddit.com/r/3Blue1Brown/comments/r29vm5/rationa... ... Geogebra: https://www.geogebra.org/m/BhxyBJUZ :

> The applet shows the old method used to approximate the value of π. Archimedes used a 96-sided polygons to find that the value of π is 223/71 < π < 22/7 (3.1408 < π < 3.1429). In 1630, an Austrian astronomer Christoph Grienberger found a 38-digit approximation by using 10^40-sided polygons. This is the most accurate approximation achieved by this method.

[-]

Science, technology and innovation isn’t addressing world’s most urgent problems

> Changing directions: Steering science, technology and innovation for the Sustainable Development found that research and innovation around the world is not focused on meeting the UN’s Sustainable Development Goals, which are a framework set u­p to address and drive change across all areas of social justice and environmental issues.

https://globalgoals.org/ #GlobalGoals #SDGs #Goal17

Each country (UN Member State) prepares an annual country-level report - an annual SDG report - on their voluntary progress toward their self-defined Targets (which are based upon Indicators; stats).

Businesses that voluntarily prepare a sustainability report necessarily review their SDG-aligned operations' successes and failures. The GRI Corporate Sustainability report is SDG aligned; so if you prepare an annual Sustainability report, it should be easy to review aligned and essential operations.

GRI Global Reporting Initiative is also in NL: https://en.wikipedia.org/wiki/Global_Reporting_Initiative

> Critically, the report finds that research in high-income and middle-income countries contributes disproportionally to a disconnect with the SDGs. Most published research (60%-80%) and innovation activity (95%-98%) is not related to the SDGs.

Strategic alignment: https://en.wikipedia.org/wiki/Strategic_alignment

https://USAspending.gov resulted from tracking State-level grants in IL: the Federal Funding Accountability and Transparency Act: https://en.wikipedia.org/wiki/Federal_Funding_Accountability...

Unfortunately, https://performance.gov/ and https://USAspending.gov/ do not have any way to - before or after funding decisions - specify that a funded thing is SDG-aligned.

IMHO, we can easily focus on domestic priorities and also determine where our spending is impactful in regards to the SDGs.

> Illustrating the imbalance, the report found that 80 percent of SDG-related inventions in high-income countries were concentrated in just six of the 73 countries

Lots of important problems worth money to folks:

#Goal1 #NoPoverty

#Goal2 #ZeroHunger

#Goal3 #GoodHealth

#Goal4 #QualityEducation

#Goal5 #GenderEquality

#Goal6 #CleanWater

#Goal7 #CleanEnergy

#Goal8 #DecentJobs

#Goal9 #Infrastructure

#Goal10 #ReduceInequality

#Goal11 #Sustainable

#Goal12 #ResponsibleConsumption

#Goal13 #ClimateAction

#Goal14 #LifeBelowWater

#Goal15 #LifeOnLand

#Goal16 #PEACE #Justice

#Goal17 #Partnership #Teamwork

If you label things with #GlobalGoal hashtags, others can find solutions to the very same problems.

[-]

Quantum Monism Could Save the Soul of Physics

[+]

Hilbert space https://en.wikipedia.org/wiki/Hilbert_space :

From sympy.physics.quantum.hilbert https://github.com/sympy/sympy/blob/master/sympy/physics/qua... :

  __all__ = [
    'HilbertSpaceError',
    'HilbertSpace',
    'TensorProductHilbertSpace',
    'TensorPowerHilbertSpace',
    'DirectSumHilbertSpace',
    'ComplexSpace',
    'L2',
    'FockSpace'
  ]
From sympy.physics.quantum.operator https://github.com/sympy/sympy/blob/master/sympy/physics/qua... :

  __all__ = [
    'Operator',
    'HermitianOperator',
    'UnitaryOperator',
    'IdentityOperator',
    'OuterProduct',
    'DifferentialOperator'
  ]
From SymPy.physics.quantum.operatorset https://github.com/sympy/sympy/blob/master/sympy/physics/qua... :

  """ A module for mapping operators to their corresponding eigenstates and vice versa
  It contains a global dictionary with eigenstate-operator pairings.
  If a new state-operator pair is created,
  this dictionary should be updated as well.
  It also contains functions operators_to_state and state_to_operators for mapping between the two. These can handle both classes and instances of operators and states. 
  See the individual function descriptions for details.
  TODO List:
  - Update the dictionary with a complete list of state-operator pairs
  """
From sympy.physics.quantum.represent https://github.com/sympy/sympy/blob/master/sympy/physics/qua... :

  """Logic for representing operators in state in various bases.
  
  TODO:
  * Get represent working with continuous hilbert spaces.
  * Document default basis functionality.
  """
  # ...
  
  __all__ = [
    'represent',
    'rep_innerproduct',
    'rep_expectation',
    'integrate_result',
    'get_basis',
    'enumerate_states'
  ]
  
  # ...
  
  def represent(expr, **options):
      """Represent the quantum expression in the given basis.
"I am one with the universe"

From tequila/simulators/simulator_cirq https://github.com/tequilahub/tequila/blob/master/src/tequil... :

  from tequila.wavefunction.qubit_wavefunction import QubitWaveFunction
From tequila.circuit.qasm https://github.com/tequilahub/tequila/blob/master/src/tequil... :

> """ Export QCircuits as qasm code OPENQASM version 2.0 specification from:

> A. W. Cross, L. S. Bishop, J. A. Smolin, and J. M. Gambetta, e-print arXiv:1707.03429v2 [quant-ph] (2017). https://arxiv.org/pdf/1707.03429v2.pdf

[+]

Because there is a functional executable symbolic algebra implementation of such Hilbert spaces and their practical representations (and qubit applications) that's approachable because it's not ambiguous MathTeX without automated tests and test assertions.

Because it's easier to learn math things by preparing a notebook with MathTex and/or SymPy expressions with a MathTeX representation and then make test assertions about the symbolic expression and/or `assert np.allclose()` with real valued parameters after symbolic construction and derivation

[-]

Geothermal may beat batteries for energy storage

[+]
[+]
[+]
[+]
[+]
[+]
[+]
[+]
[+]
[+]
[+]

CAES (Compressed Air Energy Storage)

"Compressed air storage vs. lead-acid batteries" (2022) https://www.pv-magazine.com/2022/07/21/compressed-air-storag... :

> Researchers in the United Arab Emirates have compared the performance of compressed air storage and lead-acid batteries in terms of energy stored per cubic meter, costs, and payback period. They found the former has a considerably lower CAPEX and a payback time of only two years.

FWIU China has the first 100MW CAES plant; and it uses some external energy - not a trompe or geothermal (?) - to help compress air on a FWIU currently ~one-floor facility.

Couldn't CAES tanks be filled with CO2/air to fight battery fires?

A local CO2 capture unit should be able to fill the tanks with extra CO2 if that's safe?

Should there be a poured concrete/hempcrete cask to set over burning batteries? Maybe a preassembled scaffold and "grid crane"?

How much CO2 is it safe to flood a battery farm with with and without oxygen tanks after the buzzer due to detected fire/leak? There could be infrared on posts and drones surrounding the facility.

Would it be cost-advisable to have many smaller tanks and compressors; each in a forkable, stackable, individually-maintainable IDK 40ft shipping container? Due to: pump curves for many smaller pumps, resilience to node failure?

If CAES is cheaper than the cheapest existing barriers, it can probably be made better with new-gen ultralight hydrogen tanks for aviation, but for air ballast instead?

Do submarines already generate electricity from releasing ballast?

(FWIW, like all modern locomotives - which are already diesel-electric generators - do not yet have regenerative braking.)

[-]

PostgresML is 8-40x faster than Python HTTP microservices

[+]
[+]

Apache Ballista and Polars do Apache Arrow and SIMD.

The Polars homepage links to the "Database-like ops benchmark" of {Polars, data.table, DataFrames.jl, ClickHouse, cuDF*, spark, (py)datatable, dplyr, pandas, dask, Arrow, DuckDB, Modin,} but not yet PostgresML? https://h2oai.github.io/db-benchmark/

[-]

Ask HN: How to become good at Emacs/Vim?

I've tried switching from IDEs like VSCode to Emacs (with evil mode) a few times now, but I always gave up after a while because my productivity decreases. Even after 1-2 weeks it's still not close to what it was with VScode. That's frustrating. But when I watch proficient people using these editors I'm always amazed at what they can do, and they appear more productive than I am with VSCode. So with enough effort it should be a worthwhile investment.

I think my problem is the lack of a structured guide/tutorial focused on real-world project usage. I can do all basic operations, but I'm probably doing them in an inefficient way, which ends up being slower than a GUI. But I don't know what I don't know, so I don't know what commands and keybindings I should use instead or what my options are.

How did you become good at using these editors? Just using them doesn't really work because by myself I'd never discover most of the features and keybindings.

[+]

A document with notes on the software tool https://westurner.github.io/tools/#vim :

- [x] SpaceVim, SpaceMacs

- [ ] awesome-vim > Learning Vim https://github.com/akrawchyk/awesome-vim#learning-vim

- [x] https://learnxinyminutes.com/docs/vim/

- [ ]

  :help help
  :h help
  :h usr_toc.txt
  :help noautoindent
- [ ] https://en.wikibooks.org/wiki/Learning_the_vi_Editor/Vim/Mod... :

  :help Command-line-mode
  :help Ex-mode
- [ ] my dotvim with regexable comments: https://github.com/westurner/dotvim/blob/master/vimrc

[-]

The VSCode GitLab extension now supports getting code completions from FauxPilot

[+]
[+]
[+]
[+]
[+]

OpenAPI, tests, and {Ruby on Rails w/ Script.aculo.us built-in back in the day, JS, and rewrite in {Rust, Go,}}? There's dokku-scheduler-kubernetes; and Gitea, a fork of Gogs, which is a github clone in Go; but Gitea doesn't do inbound email to Issues, Service Desk Issues, or (Drone,) CI with deploy to k8s revid.staging and production DNS domains w/ Ingress.

[-]

You Can Now Google the Balances of Ethereum Addresses

Looks like the data is from Etherscan.io .

Ethereum in BigQuery: https://console.cloud.google.com/marketplace/product/ethereu... and the ETL scripts: https://github.com/blockchain-etl/ethereum-etl

cmorqs-public/cmorq-eth-data in BigQuery: https://console.cloud.google.com/marketplace/product/cmorqs-...

blockchain-etl/awesome-bigquery-views has example SQL queries for querying the BigTable copy of the Ethereum blockchain: https://github.com/blockchain-etl/awesome-bigquery-views

Jupyter Notebooks showing how to query the Ethereum BigQuery Public Dataset:

/? Ethereum Kaggle: https://www.google.com/search?q=ethereum+kaggle

[-]

Blender: Wayland Support on Linux

[+]
[+]

Do you think Apple will ever contribute XQuartz back to the X11 / X.org open source community?

[-]

Xpra: Multi-platform screen and application forwarding system for x11

[+]
[+]
[+]

IIRC WinSwitch + xpra could do seamless windows: http://winswitch.org/documentation/faq.html#protocols http://winswitch.org/about/ :

> Window Switch is a tool which allows you to display running applications on other computers than the one you start them on. Once an application has been started via a winswitch server, it can be displayed on other machines running winswitch client, as required.

> You no longer need to save and send documents to move them around, simply move the view of the application to the machine where you need to access it.

Wikipedia/Neatx links to https://en.wikipedia.org/wiki/Remmina (C) :

> It supports the Remote Desktop Protocol (RDP), VNC, NX, XDMCP, SPICE, X2Go and SSH protocols and uses FreeRDP as foundation.

But no xpra, for which Neatx has old python 2 scripts.

[-]

Retinoid restores eye-specific brain responses in mice with retinal degeneration

[+]
[+]

Null hypothesis: A Nanotransfection (vasculogenic stromal reprogramming) intervention would not result in significant retinal or corneal regrowth

... With or without: a nerve growth factor, e.g. fluoxetine to induce plasticity in the adult visual cortex, combination therapy with cultured conjunctival IPS, laser mechanical scar tissue evisceration and removal, local anesthesia, robotic support, Retinoid

Nanotransfection: https://en.wikipedia.org/wiki/Tissue_nanotransfection :

> Most reprogramming methods have a heavy reliance on viral transfection. [22][23] TNT allows for implementation of a non-viral approach which is able to overcome issues of capsid size, increase safety, and increase deterministic reprogramming

https://www.google.com/search?q=Nanotransfection

[-]

How to turn waste polyethylene into something useful

From "Argonne invents reusable sponge that soaks up oil, could revolutionize oil spill and diesel cleanup" (2017) https://www.anl.gov/article/argonne-invents-reusable-sponge-... :

> [...] The scientists started out with common polyurethane foam, used in everything from furniture cushions to home insulation. This foam has lots of nooks and crannies, like an English muffin, which could provide ample surface area to grab oil; but they needed to give the foam a new surface chemistry in order to firmly attach the oil-loving molecules.

> Previously, Darling and fellow Argonne chemist Jeff Elam had developed a technique called sequential infiltration synthesis, or SIS, which can be used to infuse hard metal oxide atoms within complicated nanostructures.

> After some trial and error, they found a way to adapt the technique to grow an extremely thin layer of metal oxide “primer” near the foam’s interior surfaces. This serves as the perfect glue for attaching the oil-loving molecules, which are deposited in a second step; they hold onto the metal oxide layer with one end and reach out to grab oil molecules with the other.

> The result is Oleo Sponge, a block of foam that easily adsorbs oil from the water. The material, which looks a bit like an outdoor seat cushion, can be wrung out to be reused—and the oil itself recovered.

> At tests at a giant seawater tank in New Jersey called Ohmsett, the National Oil Spill Response Research & Renewable Energy Test Facility, the Oleo Sponge successfully collected diesel and crude oil from both below and on the water surface.

From "Reusable Sponge for Mitigating Oil Spills" https://www.energy.gov/science/bes/articles/reusable-sponge-... :

> A new foam called the Oleo Sponge was invented that not only easily adsorbs oil from water but is also reusable and can pull dispersed oil from an entire water column, not just the surface. Many materials can grab oil, but there hasn't been a way, until now, to permanently bind them into a useful structure. The scientists developed a technique to create a thin layer of metal oxide "primer" within the interior surfaces of polyurethane foam. Scientists then bound oil-loving molecules to the primer. The resulting block of foam can be wrung out to be used, and the oil itself recovered.

[-]

EU Passes Law to Switch iPhone to USB-C by End of 2024

[+]
[+]
[+]
[+]
[-]

Vulhub: Pre-Built Vulnerable Environments Based on Docker-Compose

[+]
[+]

Reproducibility in [Infosec] Software Research requires DevOpSec, which requires: explicit data and code dependency specifications, and/or trusting hopefully-immutable software package archives, and/or securely storing and transmitting crytographically-signed archival (container) images; and then Upgrade all of the versions and run the integration tests with a git post-receive hook or a webhook to an external service dependency not encapsulated within the {Dockerfile, environment.yml/requirements.txt/postBuild; REES} dependency constraint model.

With pip-tools, you update the python software versions in a requirements.txt from a requirements.in meta-dependency-spec-file: https://github.com/jazzband/pip-tools#updating-requirements

  $ pip-compile --upgrade requirements.in
  $ cat requirements.tct
Poetry has an "Expanded dependency specification syntax" but FWIU there's not a way to specify unsigned or signed cryptographic hashes, which e.g. Pipfile.lock supports: hashes for every variant of those versions of packages on {PyPI, and third-party package repos with TUF keys, too}.

From https://pipenv.pypa.io/en/latest/basics/#pipenv-lock :

  $ pipenv lock
> pipenv lock is used to create a Pipfile.lock, which declares all dependencies (and sub-dependencies) of your project, their latest available versions, and the current hashes for the downloaded files. This ensures repeatable, and most importantly deterministic, builds

"Reproducible builds" of a DVWA Deliberately Vulnerable Web Application is a funny thing: https://en.wikipedia.org/wiki/Reproducible_builds

Replication crisis https://en.wikipedia.org/wiki/Replication_crisis :

> The replication crisis (also called the replicability crisis and the reproducibility crisis) is an ongoing methodological crisis in which it has been found that the results of many scientific studies are difficult or impossible to reproduce. Because the reproducibility of empirical results is an essential part of the scientific method,[2] such failures undermine the credibility of theories building on them and potentially call into question substantial parts of scientific knowledge.

Just rebuilding or re-pulling a container image does not upgrade the versions of software installed within the container. See also: SBOM, CycloneDx, #LinkedReproducibility, #JupyterREES.

`podman-pull` https://docs.podman.io/en/latest/markdown/podman-pull.1.html... ~:

  podman image pull busybox 
  podman pull busybox
  docker pull busybox
  podman pull busybox centos fedora ubuntu debian
"How to rebuild and update a container without downtime with docker-compose?" https://stackoverflow.com/questions/42529211/how-to-rebuild-... :

  docker-compose up -d --no-deps --build #[servicename]
"Statistics-Based OWASP Top 10 2021 Proposal" https://dzone.com/articles/statistics-based-owasp-top-10-202...

awesome-vulnerable-apps > OWASP Top 10 https://github.com/vavkamil/awesome-vulnerable-apps#owasp-to... :

> OWASP Juice Shop: Probably the most modern and sophisticated insecure web application

And there's a book, an Open Source Official Companion Guide book titled "Pwning Juice Shop": https://github.com/juice-shop/juice-shop#official-companion-...

If the versions installed in the book are outdated, you too can bump the version strings in the dependency specs in the git repo and send a PR Pull Request (which also updates the Screenshots and Menu > Sequences and Keyboard Shortcuts in the book&docs); and then manually test that everything works with the updated "deps" dependencies.

If it's an executablebooks/, a Computational Notebook (possibly in a Literate Computing style), you can "Restart & Run all" from the notebook UI button or a script, and then test that all automated test assertions pass, and then "diff" (visually compare), and then just manually read through the textual descriptions of commands to enter (because people who buy a Book presumably have a reasonable expectation that if they copy the commands from the book to a script by hand to learn them, the commands as written should run; it should work like the day you bought it for a projected term of many free word-of-mouth years.

From https://github.com/juice-shop/juice-shop#docker-container :

  docker pull bkimminich/juice-shop
  docker run --rm -p 3000:3000
With podman [desktop],

  podman pull bkimminich/juice-shop
  podman run --rm -p 3000:3000 -n juiceshop0

[+]

> Most of these compose files are pretty outdated AND they depend on non-standard builds of containers for each respective application.

>> What else would you expect for setups intentionally trying to preserve past versions of software?

So, I wrote about reproducibility in software; and Software Supply Chain Security. Specifically, how to do containers and keep the software versions up to date.

Are you challenging the topicality of my comment on HN - containing original research - to be facetious?

[-]

Bash 5.2

[+]
[+]

c2rust https://github.com/immunant/c2rust :

> C2Rust helps you migrate C99-compliant code to Rust. The translator (or transpiler), c2rust transpile, produces unsafe Rust code that closely mirrors the input C code. The primary goal of the translator is to preserve functionality; test suites should continue to pass after translation.

crust https://github.com/NishanthSpShetty/crust :

> C/C++ to Rust transpiler

"CRustS: A Transpiler from Unsafe C to Safer Rust" (2022) https://scholar.google.com/scholar?q=related:WIDYx_PvgNoJ:sc...

rust-bindgen https://github.com/rust-lang/rust-bindgen/ :

Automatically generates Rust FFI bindings to C (and some C++) libraries

nushell/nushell looks like it has cool features and is written in rust.

awesome-rust > Applications > System Tools https://github.com/rust-unofficial/awesome-rust#system-tools

awesome-rust > Libraries > Command-line https://github.com/rust-unofficial/awesome-rust#command-line

rust-shell-script/rust_cmd_lib https://github.com/rust-shell-script/rust_cmd_lib :

> Common rust command-line macros and utilities, to write shell-script like tasks in a clean, natural and rusty way

[+]
[-]

Mozilla reaffirms that Firefox will continue to support current content blockers

- [ ] ENH,SEC,UBY: indicate that DNS is locally overridden by entries in /etc/hosts

- [ ] ENH,SEC,UBY: Browser UI: indicate that a domain does not have DNSSEC record signatures

- [ ] ENH,SEC,UBT: Browser UI: indicate whether DNS is over classic UDP or DoH, DoT, DoQ (DNS-over-QUIC)

- [ ] ENH,SEC,UBY: browser: indicate that a page is modified by extensions; show a "tamper bit"

- [ ] ENH,SEC: Devtools?: indicate whether there are (matching) HTTP SRI Subresource Integrity signatures for any or some of the page assets

- [ ] ENH,SEC,UBY: a "DNS Domain(s) Information" modal_tab/panel like the Certificate Information panel

[-]

Manifest V3, webRequest, and ad blockers

[+]

eWASM opcodes each have a real cost. It's possible to compile {JS, TypeScript, C, Python} to WASM.

What are some ideas for UI Visual Affordances to solve for bad UX due to slow browser tabs and extensions?

- [ ] UBY: Browsers: Strobe the tab tab or extension button when it's beyond (configurable) resource usage thresholds

- [ ] UBY: Browsers: Vary the {color, size, fill} of the tab tabs according to their relative resource utilization

- [ ] ENH,SEC: Browsers: specify per-tab/per-domain resource quotas: CPU, RAM, Disk, [GPU, TPU, QPU] (Linux: cgroups,)

[+]
[+]
[+]
[+]

It is reasonable to expect BPF or a BPF-like filter. https://en.wikipedia.org/wiki/Berkeley_Packet_Filter

bromite/build/patches/Bromite-AdBlockUpdaterService.patch: https://github.com/bromite/bromite/blob/master/build/patches...

bromite/build/patches/disable-AdsBlockedInfoBar.patch: https://github.com/bromite/bromite/blob/master/build/patches...

bromite/build/patches/Bromite-auto-updater.patch: () https://github.com/bromite/bromite/blob/master/build/patches...

- [ ] ENH,SEC,UPD: Bromite,Chromium: is there a url syntax like /path.tar.gz#sha256=cba312 that chromium http filter downloader could use to check e.g. sha256 and maybe even GPG ASC signatures with? (See also: TUF, Sigstore, W3C Blockcerts+DIDs)

Bromite/build/patches/Re-introduce-*.patch: [...]

[-]

1Hz CPU made in Minecraft running Minecraft at 0.1fps [video]

[+]

From KiCad https://en.wikipedia.org/wiki/KiCad :

> KiCad is a free software suite for electronic design automation (EDA). It facilitates the design and simulation of electronic hardware. It features an integrated environment for schematic capture, PCB layout, manufacturing file viewing, SPICE simulation, and engineering calculation. Tools exist within the package to create bill of materials, artwork, Gerber files, and 3D models of the PCB and its components.

https://www.kicad.org/discover/spice/ :

> KiCad integrates the open source spice simulator ngspice to provide simulation capability in graphical form through integration with the Schematic Editor.

PySpice > Examples: https://pyspice.fabrice-salvaire.fr/releases/v1.6/examples/i... :

+ Diode, Rectifier (AC to DC), Filter, Capacitor, Power Supply, Transformer, [Physical Relay Switche (Open/Closed) -> Vacuum Tube Transistor -> Solid-state [MOSFET,]] Transistor,

From the Ngspice User's Manual https://ngspice.sourceforge.io/docs/ngspice-37-manual.pdf :

> Ngspice is a general-purpose circuit simulation program for nonlinear and linear analyses.*

> Circuits may contain resistors, capacitors, inductors, mutual inductors, independent or dependent voltage and current sources, loss-less and lossy transmission lines, switches, uniform distributed RC lines, and the five most common semiconductor devices: diodes, BJTs, JFETs, MESFETs, and MOSFETs.

> [...] Ngspice has built-in models for the semiconductor devices, and the user need specify only the pertinent model parameter values. [...] New devices can be added to ngspice by several means: behavioral B-, E- or G-sources, the XSPICE code-model interface for C-like device coding, and the ADMS interface based on Verilog-A and XML.

Turing completeness: https://en.wikipedia.org/wiki/Turing_completeness :

> In colloquial usage, the terms "Turing-complete" and "Turing-equivalent" are used to mean that any real-world general-purpose computer or computer language can approximately simulate the computational aspects of any other real-world general-purpose computer or computer language. In real life this leads to the practical concepts of computing virtualization and emulation. [citation needed]

> Real computers constructed so far can be functionally analyzed like a single-tape Turing machine (the "tape" corresponding to their memory); thus the associated mathematics can apply by abstracting their operation far enough. However, real computers have limited physical resources, so they are only linear bounded automaton complete. In contrast, a universal computer is defined as a device with a Turing-complete instruction set, infinite memory, and infinite available time.

Church–Turing thesis: https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis ... Lamda calculus (Church): https://en.wikipedia.org/wiki/Lambda_calculus

HDL: Hardware Description Language > Examples: https://en.wikipedia.org/wiki/Hardware_description_language#...

HVL: Hardware Verification Language: https://en.wikipedia.org/wiki/Hardware_verification_language

awesome-electronics > Free EDA Packages: https://github.com/kitspace/awesome-electronics#free-eda-pac...

https://github.com/TM90/awesome-hwd-tools

EDA: Electronic Design Automation: https://en.wikipedia.org/wiki/Electronic_design_automation

More notes for #Q12:

Quantum complexity theory https://en.wikipedia.org/wiki/Quantum_complexity_theory#Back... :

> A complexity class is a collection of computational problems that can be solved by a computational model under certain resource constraints. For instance, the complexity class P is defined as the set of problems solvable by a Turing machine in polynomial time. Similarly, quantum complexity classes may be defined using quantum models of computation, such as the quantum circuit model or the equivalent quantum Turing machine. One of the main aims of quantum complexity theory is to find out how these classes relate to classical complexity classes such as P, NP, BPP, and PSPACE.

> One of the reasons quantum complexity theory is studied are the implications of quantum computing for the modern Church-Turing thesis. In short the modern Church-Turing thesis states that any computational model can be simulated in polynomial time with a probabilistic Turing machine. [1][2] However, questions around the Church-Turing thesis arise in the context of quantum computing. It is unclear whether the Church-Turing thesis holds for the quantum computation model. There is much evidence that the thesis does not hold. It may not be possible for a probabilistic Turing machine to simulate quantum computation models in polynomial time. [1]

> Both quantum computational complexity of functions and classical computational complexity of functions are often expressed with asymptotic notation. Some common forms of asymptotic notion of functions are \Omega(T(n)) and \Theta(T(n)).

> \Theta(T(n)) expresses that something is bounded above by cT(n) where c is a constant such that c>0 and T(n) is a function of n, \Omega(T(n)) expresses that something is bounded below by cT(n) where c is a constant such that c>0 and T(n) is a function of n, and \Theta(T(n)) expresses both O(T(n)) and \Omega(T(n)). [3] These notations also their own names. O(T(n)) is called Big O notation, \Omega(T(n)) is called Big Omega notation, and \Theta(T(n)) is called Big Theta notation.

Quantum complexity theory > Simulation of quantum circuits https://en.wikipedia.org/wiki/Quantum_complexity_theory#Simu... :

> There is no known way to efficiently simulate a quantum computational model with a classical computer. This means that a classical computer cannot simulate a quantum computational model in polynomial time [P]. However, a quantum circuit of S(n) qubits with T(n) quantum gates can be simulated by a classical circuit with O(2^{S(n)}T(n)^{3}) classical gates. [3] This number of classical gates is obtained by determining how many bit operations are necessary to simulate the quantum circuit. In order to do this, first the amplitudes associated with the S(n) qubits must be accounted for. Each of the states of the S(n) qubits can be described by a two-dimensional complex vector, or a state vector. These state vectors can also be described a linear combination of its component vectors with coefficients called amplitudes. These amplitudes are complex numbers which are normalized to one, meaning the sum of the squares of the absolute values of the amplitudes must be one. [3] The entries of the state vector are these amplitudes.

Quantum Turing machine: https://en.wikipedia.org/wiki/Quantum_Turing_machine

Quantum circuit: https://en.wikipedia.org/wiki/Quantum_circuit

Church-Turing-Deutsch principle: https://en.wikipedia.org/wiki/Church%E2%80%93Turing%E2%80%93...

Computational complexity > Quantum computing, Distributed computing: https://en.wikipedia.org/wiki/Computational_complexity#Quant...

[-]

AI Seamless Texture Generator Built-In to Blender

[+]
[+]

From the Arch wiki, which has a list of GPU runtimes (but not TPU or QPU runtimes) and arch package names: OpenCL, SYCL, ROCm, HIP,: https://wiki.archlinux.org/title/GPGPU :

> GPGPU stands for General-purpose computing on graphics processing units.

- "PyTorch OpenCL Support" https://github.com/pytorch/pytorch/issues/488

- Blender re: removal of OpenCL support in 2021 :

> The combination of the limited Cycles split kernel implementation, driver bugs, and stalled OpenCL standard has made maintenance too difficult. We can only make the kinds of bigger changes we are working on now by starting from a clean slate. We are working with AMD and Intel to get the new kernels working on their GPUs, possibly using different APIs (such as CYCL, HIP, Metal, …).

- https://gitlab.com/illwieckz/i-love-compute

- https://github.com/vosen/ZLUDA

- https://github.com/RadeonOpenCompute/clang-ocl

AMD ROCm: https://en.wikipedia.org/wiki/ROCm

AMD ROcm supports Pytorch, TensorFlow, MlOpen, rocBLAS on NVIDIA and AMD GPUs: https://rocmdocs.amd.com/en/latest/Deep_learning/Deep-learni...

RadeonOpenCompute/ROCm_Documentation: https://github.com/RadeonOpenCompute/ROCm_Documentation

ROCm-Developer-Tools/HIPIFY https://github.com/ROCm-Developer-Tools/HIPIFY :

> hipify-clang is a clang-based tool for translating CUDA sources into HIP sources. It translates CUDA source into an abstract syntax tree, which is traversed by transformation matchers. After applying all the matchers, the output HIP source is produced.

ROCmSoftwarePlatform/gpufort: https://github.com/ROCmSoftwarePlatform/gpufort :

> GPUFORT: S2S translation tool for CUDA Fortran and Fortran+X in the spirit of hipify

ROCm-Developer-Tools/HIP https://github.com/ROCm-Developer-Tools/HIP:

> HIP is a C++ Runtime API and Kernel Language that allows developers to create portable applications for AMD and NVIDIA GPUs from single source code. [...] Key features include:

> - HIP is very thin and has little or no performance impact over coding directly in CUDA mode.

> - HIP allows coding in a single-source C++ programming language including features such as templates, C++11 lambdas, classes, namespaces, and more.

> - HIP allows developers to use the "best" development environment and tools on each target platform.

> - The [HIPIFY] tools automatically convert source from CUDA to HIP.

> - * Developers can specialize for the platform (CUDA or AMD) to tune for performance or handle tricky cases.*

[-]

macOS Subsystem for Linux

dzdt | 2022-09-18 21:25:15 | 253 | # | ^
[+]

  brew install vagrant packer terraform
Podman Desktop is Apache 2.0 open source; supports Win, Mac, Lin; supports Docker Desktop plugins; and has plugins for Podman, Docker, Lima, and CRC/OpenShift Local (k8s) https://github.com/containers/podman-desktop :

  brew install podman-desktop
/? vagrant Kubernetes MacOS https://www.google.com/search?q=vagrant+Kubernetes+macos

You get all that put together one time on one box and realize you could have scripted the whole thing, but you need bash 4+ or Python 3+ so it all depends on `brew` first: https://github.com/geerlingguy/ansible-for-kubernetes/blob/m...

The Ansible homebrew module can install and upgrade brew and install and upgrade packages with brew: https://docs.ansible.com/ansible/latest/collections/communit...

And then write tests for the development environment too, or only for container specs in production: https://github.com/geerlingguy/ansible-for-kubernetes/tree/m... :

  brew install kind docker 

  type -a python3; python3 -m site
  python3 -m pip install molecule ansible-test yamllint

  # molecule converge; ssh -- hostname

  molecule test

  # molecule destroy
westurner/dotfiles/scripts/upgrade_mac.sh: https://github.com/westurner/dotfiles/blob/develop/scripts/u...

Perhaps not that OT, but FWIW I just explained exactly this in a tweet:

> Mambaforge-pypy3 for Linux, OSX, Windows installs from conda-forge by default. (@condaforge builds packages with CI for you without having to install local xcode IIRC)

  conda install -c conda-forge -y nodejs
  mamba install -y nodejs
https://github.com/conda-forge/miniforge#mambaforge-pypy3

[-]

Global-Chem: A Free Dictionary from Common Chemical Names to Molecules

TIL about #cheminformatics and Linked Data (Semantic Web):

Cheminformatics: https://en.wikipedia.org/wiki/Cheminformatics

https://github.com/topics/cheminformatics :

- https://github.com/hsiaoyi0504/awesome-cheminformatics #Databases #See_also

- https://github.com/mcs07/PubChemPy :

> PubChemPy provides a way to interact with PubChem in Python. It allows chemical searches by name, substructure and similarity, chemical standardization, conversion between chemical file formats, depiction and retrieval of chemical properties.

http://chemicalsemantics.com/introduction-to-the-chemical-se... ... /? chemicalsemantics github ... https://github.com/semanticchemistry/semanticchemistry #See_also :

> The Chemical Information Ontology (CHEMINF) aims to establish a standard in representing chemical information. In particular, it aims to produce an ontology to represent chemical structure and to richly describe chemical properties, whether intrinsic or computed.

Looks like they developed the CHEMINF OWL ontology in Protege 4 (which is Open Source). /ontology/cheminf-core.owl: https://github.com/semanticchemistry/semanticchemistry/blob/...

- Does it -- the {sql/xml/json/graphql, RDFS Vocabulary, OWL Ontology} schema - have more (C)Classes and (P)Properties than other schema for modeling this domain?

- What namespaced strings and URIs does it specify for linking entities internally and externally?

LOV Linked Open Vocabularies maintains a database of many RDFS vocabularies and OWL ontologies (which are represented in RDF) https://lov.linkeddata.es/dataset/lov/terms?q=chemical

- "The Linking Open Data Cloud" (2007-) https://lod-cloud.net/

/? "cheminf" https://scholar.google.com/scholar?hl=en&as_sdt=0,43&qsp=1&q...

/? "cheminf" ontology https://scholar.google.com/scholar?hl=en&as_sdt=0,43&qsp=1&q...

"The ChEMBL database as linked open data" (2013) https://scholar.google.com/scholar?cites=1029919691588310633... ... citations:

"PubChem substance and compound databases" (2017) https://scholar.google.com/scholar?cites=7847099277060264658...

"5 Star Linked Data⬅" https://wrdrd.github.io/docs/consulting/knowledge-engineerin...

Thing > BioChemEntity https://schema.org/BioChemEntity

Thing > BioChemEntity > ChemicalSubstance https://schema.org/ChemicalSubstance

Thing > BioChemEntity > MolecularEntity https://schema.org/MolecularEntity

Thing > BioChemEntity > Protein https://schema.org/Protein

Thing > BioChemEntity > Gene https://schema.org/Gene

Some of the BioSchemas work [1] is proposed and pending inclusion in the Schema.org RDFS vocabulary [2].

[1] https://github.com/bioschemas

[2] https://github.com/schemaorg/schemaorg/issues/1028

Will newer Bioschema terms like BioSample, LabProtocol, SequenceAnnotation, and Phenotype be proposed for inclusion into the Schema.org vocabulary?: https://bioschemas.org/profiles/index#nav-draft

[-]

GCC's new fortification level: The gains and costs

[+]
[+]
[+]
[+]

What would be the impact of making _FORTIFY_SOURCE=3 a Fedora-specific Make default (which doesn't apply to CMake or Ninja because those are different defaults, which are for GCC not LLVM/Clang anyway)?

[-]

Poor writing, not specialized concepts, drives difficulty with legal language

rntn | 2022-09-18 12:50:41 | 559 | # | ^

Which attributes of a person are necessary to answer a legal question?

Python:

  def has_legal_right(person: dict, right: str): -> bool
      assert person
      assert right
      #
      return NotImplementedError

  def have_equal_rights(persons: list): -> bool
      return NotImplementedError

Javascript:

  function hasRight(person, right) {
      console.assert(person);
      console.assert(right);
      // return true || false;
  }

  function haveEqualRights(persons) {
      // return true || false;
  }
Maybe Lean Mathlib or Coq?

... Therefore you've failed at the Law of Reciprocity.

[-]

U.S. appeals court rejects big tech’s right to regulate online speech

Does this mean that newspaper Information Service Providers are now obligated to must-carry opinion pieces from political viewpoints that oppose those of the editors in the given district?

Does this mean that newspapers in Texas are now obligated to carry liberal opinion pieces? Equal time in Texas at last.

Must-carry provision of a contract for service: https://en.wikipedia.org/wiki/Must-carry

[+]

So, Comments but not Articles?

[+]

How limited is the given district court of appeals case law precedent in regards to must-carry and Equal time rules for non-licensed spectrum Information Service providers? Are they now common carrier liability, too?

Equal time rules and American media history: https://en.wikipedia.org/wiki/Equal-time_rule

Who pays for all of this?

> "Give me my free water!"

From "FCC fairness doctrine" (1949-1987) https://en.wikipedia.org/wiki/FCC_fairness_doctrine :

> The fairness doctrine had two basic elements: It required broadcasters to devote some of their airtime to discussing controversial matters of public interest, and to air contrasting views regarding those matters. Stations were given wide latitude as to how to provide contrasting views: It could be done through news segments, public affairs shows, or editorials. The doctrine did not require equal time for opposing views but required that contrasting viewpoints be presented. The demise of this FCC rule has been cited as a contributing factor in the rising level of party polarization in the United States. [5][6]

Because the free flow of information is essential to democracy, it is in the Public Interest to support a market of new and established flourishing information service providers, not a market of exploited must-carry'ers subject to district-level criteria for ejection or free water for life. Shouldn't all publications, all information services be subject to any and all such Equal Time and Must-Carry interpretations?

Your newspaper may not regulate viewpoints: in its editorial section or otherwise. Must carry. Equal time.

The wall of one's business, perhaps.

You must keep that up there on your business's wall.

**

In this instance, is there a contract for future performance? How does Statute of Frauds apply to contracts worth over $500?

[-]

Transformers seem to mimic parts of the brain

[+]
[+]
[+]

Is it necessary to simulate the quantum chemistry of a biological neural network in order to functionally approximate a BNN with an ANN?

A biological systems and fields model for cognition:

Spreading activation in a dynamic graph with cycles and magnitudes ("activation potentials",) that change as neurally-regulated heart-generated electron potentials (and,) reverberate fluidically with intersecting paths. And a partially extra-cerebral induced field which nonlinearly affects the original signal source through local feedback; Representational shift.

Representational shift: "Neurons Are Fickle. Electric Fields Are More Reliable for Information" (2022) https://neurosciencenews.com/electric-field-neuroscience-201...

Spreading activation: https://en.wikipedia.org/wiki/Spreading_activation

Re: 11D (11-Dimensional) biological network hyperparameters, ripples in (hippocampal, prefrontal,) association networks: https://news.ycombinator.com/item?id=18218504

M-theory String theory is also 11D, but IIUC they're not the same dimensions

Diffusion suggests fluids, which in physics and chaos theory suggests Bernoulli's fluid models (and other non-differentiable compact descriptions like Navier-Stokes), which are part of SQG Superfluid Quantum Gravity postulates.

Can e.g. ONNX or RDF with or without bnodes represent a complete connectome image/map?

Connectome: https://en.wikipedia.org/wiki/Connectome

Wave Field recordings are probably the most complete known descriptions of the brain and its nonlinear fields?

How such fields relate to one or more Quantum Wave functions might entail near-necessity of QFT: Quantum Fourier Transform.

When you replace the Self-attention Network part of a Transformer algorithm with classical FFT Fast Fourier Transform: ... From https://medium.com/syncedreview/google-replaces-bert-self-at... :

> > New research from a Google team proposes replacing the self-attention sublayers with simple linear transformations that “mix” input tokens to significantly speed up the transformer encoder with limited accuracy cost. Even more surprisingly, the team discovers that replacing the self-attention sublayer with a standard, unparameterized Fourier Transform achieves 92 percent of the accuracy of BERT on the GLUE benchmark, with training times that are seven times faster on GPUs and twice as fast on TPUs."

> > Would Transformers (with self-attention) make what things better? Maybe QFT? There are quantum chemical interactions in the brain. Are they necessary or relevant for what fidelity of emulation of a non-discrete brain?

> Quantum Fourier Transform: https://en.wikipedia.org/wiki/Quantum_Fourier_transform

[+]
[-]

Chaos researchers can now predict perilous points of no return

[+]

Could this detect/predict/diagnose e.g. mechanical failures in engines and/or motors, and health conditions, given sensor fusion?

Sensor fusion https://en.wikipedia.org/wiki/Sensor_fusion

Steady state https://en.wikipedia.org/wiki/Steady_state :

> In many systems, a steady state is not achieved until some time after the system is started or initiated. This initial situation is often identified as a transient state, start-up or warm-up period. [1]

https://github.com/topics/steady-state

Control systems https://en.wikipedia.org/wiki/Control_system

https://github.com/topics/control-theory

Flap (disambiguation) > Computing and networks > "Flapping" (nagios alert fatigue,) https://en.wikipedia.org/wiki/Flap

Perceptual Control Theory (PCT) > Distinctions from engineering control theory https://en.wikipedia.org/wiki/Perceptual_control_theory :

> In the artificial systems that are specified by engineering control theory, the reference signal is considered to be an external input to the 'plant'.[7] In engineering control theory, the reference signal or set point is public; in PCT, it is not, but rather must be deduced from the results of the test for controlled variables, as described above in the methodology section. This is because in living systems a reference signal is not an externally accessible input, but instead originates within the system. In the hierarchical model, error output of higher-level control loops, as described in the next section below, evokes the reference signal r from synapse-local memory, and the strength of r is proportional to the (weighted) strength of the error signal or signals from one or more higher-level systems. [26]

> In engineering control systems, in the case where there are several such reference inputs, a 'Controller' is designed to manipulate those inputs so as to obtain the effect on the output of the system that is desired by the system's designer, and the task of a control theory (so conceived) is to calculate those manipulations so as to avoid instability and oscillation. The designer of a PCT model or simulation specifies no particular desired effect on the output of the system, except that it must be whatever is required to bring the input from the environment (the perceptual signal) into conformity with the reference. In Perceptual Control Theory, the input function for the reference signal is a weighted sum of internally generated signals (in the canonical case, higher-level error signals), and loop stability is determined locally for each loop in the manner sketched in the preceding section on the mathematics of PCT (and elaborated more fully in the referenced literature). The weighted sum is understood to result from reorganization.

> Engineering control theory is computationally demanding, but as the preceding section shows, PCT is not. For example, contrast the implementation of a model of an inverted pendulum in engineering control theory [27] with the PCT implementation as a hierarchy of five simple control systems. [28]

Structural Equation Modeling: https://en.wikipedia.org/wiki/Structural_equation_modeling https://github.com/topics/structural-equation-modeling

ros2_control https://control.ros.org/master/index.html

Limit cycle https://en.wikipedia.org/wiki/Limit_cycle

Finite Element Analysis https://en.wikipedia.org/wiki/Finite_element_method

> #FEM: Finite Element Method (for ~solving coupled PDEs Partial Differential Equations)

> #FEA: Finite Element Analysis (applied FEM)

awesome-mecheng > Finite Element Analysis: https://github.com/m2n037/awesome-mecheng#fea

[-]

GraphBLAS

> When applied to sparse adjacency matrices, these algebraic operations are equivalent to computations on graphs

Sparse matrix: https://en.wikipedia.org/wiki/Sparse_matrix :

> The concept of sparsity is useful in combinatorics and application areas such as network theory and numerical analysis, which typically have a low density of significant data or connections. Large sparse matrices often appear in scientific or engineering applications when solving partial differential equations.

CuGraph has a NetworkX-like API, though only so many of the networkx algorithms are yet reimplemented with some possible CUDA-optimizations.

From https://github.com/rapidsai/cugraph :

> cuGraph operates, at the Python layer, on GPU DataFrames, thereby allowing for seamless passing of data between ETL tasks in cuDF and machine learning tasks in cuML. Data scientists familiar with Python will quickly pick up how cuGraph integrates with the Pandas-like API of cuDF. Likewise, users familiar with NetworkX will quickly recognize the NetworkX-like API provided in cuGraph, with the goal to allow existing code to be ported with minimal effort into RAPIDS.

> While the high-level cugraph python API provides an easy-to-use and familiar interface for data scientists that's consistent with other RAPIDS libraries in their workflow, some use cases require access to lower-level graph theory concepts. For these users, we provide an additional Python API called pylibcugraph, intended for applications that require a tighter integration with cuGraph at the Python layer with fewer dependencies. Users familiar with C/C++/CUDA and graph structures can access libcugraph and libcugraph_c for low level integration outside of python.

/? sparse https://github.com/rapidsai/cugraph/search?q=sparse

Pandas and scipy and IIRC NumPy have sparse methods; sparse.SparseArray, .sparse.; https://pandas.pydata.org/docs/user_guide/sparse.html#sparse...

From https://pandas.pydata.org/docs/user_guide/sparse.html#intera... :

> Series.sparse.to_coo() is implemented for transforming a Series with sparse values indexed by a MultiIndex to a scipy.sparse.coo_matrix.

NetworkX graph algorithms reference docs https://networkx.org/documentation/stable/reference/algorith...

NetworkX Compatibility > Differences in Algorithms https://docs.rapids.ai/api/cugraph/stable/basics/nx_transiti...

List of algorithms > Combinatorial algorithms > Graph algorithms: https://en.wikipedia.org/wiki/List_of_algorithms#Graph_algor...

[+]

Integer factor graphs are sparse. https://en.wikipedia.org/wiki/Factor_graph#Message_passing_o...

Compared to the Powerset graph that includes all possible operators and parameter values and parentheses in infix but not Reverse Polish Notation, a correlation graph is sparse: most conditional probabilities should be expected to tend toward the Central Limit Theorem, so if you subtract (or substitute) a constant noise scalar, a factor graph should be extra-sparse. https://en.wikipedia.org/wiki/Central_limit_theorem_for_dire...

What do you call a factor graph with probability distribution functions (PDFs) instead of float64s?

Are Path graphs and Path graphs with cycles extra sparse? An adjacency matrix for all possible paths through a graph is also mostly zeroes. https://en.wikipedia.org/wiki/Path_graph

Methods of feature reduction use and affect the sparsity of a sparse matrix (that does not have elements for confounding variables). For example, from "Exploratory factor analysis (EFA) versus principal components analysis (PCA)" https://en.wikipedia.org/wiki/Factor_analysis :

> For either objective, it can be shown that the principal components are eigenvectors of the data's covariance matrix. Thus, the principal components are often computed by eigendecomposition of the data covariance matrix or singular value decomposition of the data matrix. PCA is the simplest of the true eigenvector-based multivariate analyses and is closely related to factor analysis. Factor analysis typically incorporates more domain specific assumptions about the underlying structure and solves eigenvectors of a slightly different matrix.

[-]

Common Lisp names all sixteen binary logic gates

From File:Logical_connectives_Hasse_diagram.svg https://commons.wikimedia.org/wiki/File:Logical_connectives_...:

> Description: The sixteen logical connectives ordered in a Hasse diagram. They are represented by:

> - logical formulas

> - the 16 elements of V4 = P^4({})

> - Venn diagrams

> The nodes are connected like the vertices of a 4 dimensional cube. The light blue edges form a rhombic dodecahedron - the convex hull of the tesseract's vertex-first shadow in 3 dimensions.

Hasse diagram: https://en.wikipedia.org/wiki/Hasse_diagram

> A research question for a new school year: (2021, still TODO)

> The classical logical operators form a neat topology. Should we expect there to be such symmetry and structure amongst the quantum operators as well?

From Quantum Logic https://en.wikipedia.org/wiki/Quantum_logic :

> Quantum logic can be formulated either as a modified version of propositional logic or as a noncommutative and non-associative many-valued (MV) logic.[2][3][4][5][6]

> Quantum logic has been proposed as the correct logic for propositional inference generally, [...] group representations and symmetry.

> The more common view regarding quantum logic, however, is that it provides a formalism for relating observables, system preparation filters and states.[citation needed] In this view, the quantum logic approach resembles more closely the C*-algebraic approach to quantum mechanics. The similarities of the quantum logic formalism to a system of deductive logic may then be regarded more as a curiosity than as a fact of fundamental philosophical importance. A more modern approach to the structure of quantum logic is to assume that it is a diagram—in the sense of category theory—of classical logics

Quantum_logic#Differences_with_classical_logic: https://en.wikipedia.org/wiki/Quantum_logic#Differences_with...

Cirq > Gates and operations: https://quantumai.google/cirq/build/gates

Cirq > Operators and Observables: https://quantumai.google/cirq/build/operators

qiskit-terra/qiskit/circuit/operation.py Interface: https://github.com/Qiskit/qiskit-terra/blob/main/qiskit/circ...

tequila/src/tequila/circuit/gates.py: https://github.com/tequilahub/tequila/blob/master/src/tequil...

Pauli matrices > Quantum information: https://en.wikipedia.org/wiki/Pauli_matrices#Quantum_informa...

From Quantum_information#Quantum_information_processing https://en.wikipedia.org/wiki/Quantum_information#Quantum_in... :

> The state of a qubit contains all of its information. This state is frequently expressed as a vector on the Bloch sphere. This state can be changed by applying linear transformations or quantum gates to them. These unitary transformations are described as rotations on the Bloch Sphere. While classical gates correspond to the familiar operations of Boolean logic, quantum gates are physical unitary operators.

Are there a finite number of unitary transformations on a Bloch sphere? (If not, is topology relevant to a structured continuum?)

Unitary transformations satisfy local conservation of thermodynamic entropy. (Is Gauss's law similar?)

[-]

Google pays ‘enormous’ sums to maintain search-engine dominance, DOJ says

[+]
[+]
[+]
[+]
[+]

You haven't paid Google for search: there is no sale of product or service to you, the user using free services for free.

You haven't signed any agreement with Google for search services. Google hasn't signed any agreement for future performance with you.

Google is not obligated to count every search result of every free search query. You are not entitled to such resource-intensive queries.

How much does COUNT() on a full table scan of billions of rows - with snippets - cost you on BigQuery or a similar pay-for-query-resources service?

[+]

If you tell the bartender your life story, they don't owe you free drinks (and they might as well sell a screenplay)

While it's true that they sell the data they collect, you can choose to not share such data and still receive the free services. "Bromite" is a fork of Chromium, for example.

If you spend time in their store and cause loss and order a bunch of free waters, do the Terms of Service even apply to you? What can they even do? What can LinkedIn do about scraping and resale of every public profile page?

Give me some free privacy on my free dsl line. (Note that ISPs can sell the entirety of a customer's internet PCAPs, for example, due to Pai's FCC rescinding a Wheeler FCC privacy rule https://www.theverge.com/2017/3/31/15138526/isp-privacy-bill... "Trump signs repeal of U.S. broadband privacy rules" (2017) https://www.reuters.com/article/us-usa-internet-trump/trump-... )

[+]

You can use the Chromium source code that Google contributes to, to browse the internet with and without ads and trackers that use obvious domain names: Microsoft Edge, Opera, Vivaldi, Bromite, ungoogled-chromium, Brave, Chrome.

You choose whether to shop at Google.

Google buying the default search engine position in browsers does not prevent users from changing the - possibly OpenSearch - browser search engine to DuckDuckGo or Ecosia.

You can force an address bar entry to a.tld/search=?${query} search w/:

  Ctrl-L
  ?${query}

  ?how to change the default search engine

  ?how to block ads & trackers in {browser name}

  ?how to provide free search queries on a free search engine and have positive revenue after years of debt obligations to fairly build market share
You can choose to take their free s and search elsewhere, eh?

Why would they now get out of paying for Firefox development using a revenue model, too?

(Competitors can and do use e.g. google/bazel the open source clone of google/blaze, which is what Chromium builds were built with before gn. Here's Chromium/BUILD.bazel, for example: https://source.chromium.org/chromium/v8/v8.git/+/master:BUIL... )

Android (and /e/ and LineageOS) do allow you to install browsers other than the Chrome WebView and Chrome. Is it possible to install anything other than Safari (WebKit) on iOS devices? Maybe from another software repository like F-droid? Hopefully current downstream releases with signed manifests and SafetyNet scanning uploaded apps

[+]

Terms of Service: https://en.wikipedia.org/wiki/Terms_of_service

Statute of Frauds applies to agreements regarding amounts over $500. Is this a conscionable agreement between which identified parties? Does what satisfy chain of custody requirements for criminal or civil admissability if the data is from not a trustless system but a centralized trustful system?

"Victory! Ruling in hiQ v. Linkedin Protects Scraping of Public Data" (2019) https://www.eff.org/deeplinks/2019/09/victory-ruling-hiq-v-l...

And then the interplay between a "Right to be Forgotten" and the community legal obligation to retain for lawful investigative law enforcement purposes. They don't know what they want: easy investigations, compromisable investigations, privacy

[-]

Ask HN: Best empirical papers on software development?

There are some good empirical papers, but I only know very few. What is your best empirical paper on software development?

From https://en.wikipedia.org/wiki/Experimental_software_engineer... :

> Experimental software engineering involves running experiments on the processes and procedures involved in the creation of software systems, with the intent that the data be used as the basis of theories about the processes involved in software engineering (theory backed by data is a fundamental tenet of the scientific method). A number of research groups primarily use empirical and experimental techniques.

> The term empirical software engineering emphasizes the use of empirical studies of all kinds to accumulate knowledge. Methods used include experiments, case studies, surveys, and using whatever data is available.

(CS) Papers We Love > https://github.com/papers-we-love/papers-we-love#other-good-... :

- "Systematic Review in Software Engineering" (2005)

-- "The Developed Template for Systematic Reviews in Software Engineering"

- "Happiness and the productivity of software engineers" (2019)

DevTech Research Group (Kibo, Scratch Jr,) > Publications https://sites.bc.edu/devtech/publications/

' > Empirical Research, instruments: https://sites.bc.edu/devtech/about-devtech/empirical-researc...

"SafeScrum: Agile Development of Safety-Critical Software" (2018) > A Summary of Research https://scholar.google.com/scholar?cites=9208467786713301421... (Gscholar features: cited by, Related Articles) https://link.springer.com/chapter/10.1007/978-3-319-99334-8_...

Re: Safety-Critical systems, awesome-safety-critical, and Formal Verification as the ultimate empirical study: https://news.ycombinator.com/item?id=28709239

[-]

Why public chats are better than direct messages

[+]

Yes, but so is which is best for which situation still the question?

Presuming that information asymmetry will hold over time is a bad assumption, regardless of cost of information security controls.

Why have these new collaborative innovative services succeeded where NNTP and > > indented, text-wrapped email forwards for new onboards have not?

Instead of Chat or IM, hopefully working on Issues with checkbox Tasks and Edges; and Pull Requests composed of Commits, Comments, and Code Reviews; with conditional Branch modification rules; will produce Products: deliverables of value to the customer, per the schema:Organization's Mission.

What style of communication is appropriate for a team in which phase of development, regardless of communications channel?

[+]

Well, our societies value these communication businesses as among the most valuable corporations on Earth, so I think that there's probably some value in the tools that people suffer ads on to get for free.

"Traits of good remote leaders" (2019) https://news.ycombinator.com/item?id=24432088 :

"From Comfort Zone to Performance Management" (2009) https://scholar.google.com/scholar?hl=en&as_sdt=0%2C43&q=%E2... :

> "Table 4 – Correlation of Development Phases, Coping Stages and Comfort Zone transitions and the Performance Model" in "From Comfort Zone to Performance Management" White (2008) tabularly correlates the Tuckman group development phases (Forming, Storming, Norming, Performing, Adjourning) with the Carnall coping cycle (Denial, Defense, Discarding, Adaptation, Internalization) and Comfort Zone Theory (First Performance Level, Transition Zone, Second Performance Level), and the White-Fairhurst TPR model (Transforming, Performing, Reforming). The ScholarlyArticle also suggests management styles for each stage (Commanding, Cooperative, Motivational, Directive, Collaborative); and suggests that team performance is described by chained power curves of re-progression through these stages.

[-]

Planting trees not always an effective way of binding carbon dioxide

hhs | 2022-09-08 10:23:07 | 122 | # | ^

"Hemp twice as effective at capturing carbon as trees, UK researcher says" (2021) https://hempindustrydaily.com/hemp-twice-as-effective-at-cap... :

> “Industrial hemp absorbs between 8 to 15 tonnes of CO2 per hectare (3 to 6 tonnes per acre) of cultivation.”

> Comparatively, forests capture 2 to 6 tonnes of carbon per hectare (0.8 to 2.4 tonnes per acre), depending on the region, number of years of growth, type of trees and other factors, Shah said.

> Shah, who studies engineered wood, bamboo, natural fiber composites and hemp [at Cambridge, UK], said hemp “offers an incredible scope to grow a better future” while producing fewer emissions than conventional crops and more usable fibers per hectare than forestry.

"Cities of the future may be built with algae-grown limestone" (2022) https://www.colorado.edu/today/2022/06/23/cities-future-may-... :

> And limestone isn’t the only product microalgae can create: microalgae’s lipids, proteins, sugars and carbohydrates can be used to produce biofuels, food and cosmetics, meaning these microalgae could also be a source of other, more expensive co-products—helping to offset the costs of limestone production.

Carbon sequestration: https://en.wikipedia.org/wiki/Carbon_sequestration

[+]
[+]
[+]

Hemp is compostable, though because it's so tough, shredding and waiting for it to compost trades (vertical) space & time for far less energy use than biocharification unless it's waste heat from a different process.

Bioenergy with carbon capture and storage (BECCS) > Biomass feedstocks doesn't have a pivot table of conversion efficiencies?: https://en.wikipedia.org/wiki/Bioenergy_with_carbon_capture_... :

> Biomass sources used in BECCS include agricultural residues & waste, forestry residue & waste, industrial & municipal wastes, and energy crops specifically grown for use as fuel. Current BECCS projects capture CO2 from ethanol bio-refinery plants and municipal solid waste (MSW) recycling center.

> A variety of challenges must be faced to ensure that biomass-based carbon capture is feasible and carbon neutral. Biomass stocks require availability of water and fertilizer inputs, which themselves exist at a nexus of environmental challenges in terms of resource disruption, conflict, and fertilizer runoff.

If you keep taking hemp off a field without leaving some down, you'll probably need fertilizer (see: KNF, JADAM,) and/or soil amendments to be able to rotate something else through; though it's true that hemp grows without fertilizer.

> A second major challenge is logistical: bulky biomass products require transportation to geographical features that enable sequestration. [27]

Or more local facilities

[+]
[+]
[+]

> I thought trees were somewhat ideal because the carbon sequestered in them can be used as long-lived lumber.

This is why hempcrete is ideal. But hemp, by comparison, doesn't result in a root-bound tree farm for wind break and erosion control; hemp can be left down to return nutrients to the soil or for soil remediation as it's a very absorbent plant (that draws e.g. heavy metals out of soil and into the plant)

[+]
[-]

Caddyhttp: Enable HTTP/3 by Default

lucaslorentz/caddy-docker-proxy works like Traefik, in that Container metadata labels are added to the reverse proxy configuration which is reloaded upon container events, which you can listen to when you subscribe to a Docker/Podman_v3 socket (which is unfortunately not read only)

So, with Caddy or Traefik, a container label can enable HTTP/3 (QUIC (UDP port 1704)) for just that container.

"Labels to Caddyfile conversion" https://github.com/lucaslorentz/caddy-docker-proxy#labels-to...

From https://news.ycombinator.com/item?id=26127879 re: containersec :

> > - [docker-socket-proxy] Creates a HAproxy container that proxies limited access to the [docker] socket

[+]

That is a good point. Is there any way to disable HTTP/3 support with just config?

The (unversioned?) docs have: https://caddyserver.com/docs/modules/http#servers/experiment... :

> servers/experimental_http3: Enable experimental HTTP/3 support. Note that HTTP/3 is not a finished standard and has extremely limited client support. This field is not subject to compatibility promises

TIL caddy has Prometheus metrics support (in addition to automatic LetsEncrypt X.509 Cert renewals)

[+]
[+]

For HTTP/3 support with python clients:

- aioquic supports HTTP/3 only now https://github.com/aiortc/aioquic

- httpx is mostly requests-compatible, supports client-side caching, and HTTP/1.1 & HTTP/2, and here's the issue for HTTP/3 support: https://github.com/encode/httpx/issues/275

[-]

Make better decisions with fewer online meetings

Hi! I am the cofounder TopAgree. We have created TopAgree to help teams