Human folly for 02024-06-16

older newer index

• (youtube.com):

  #video #electronics #hardware #history on the Zilog #Z80 which apparently just got canceled (but is still in stock at Digi-Key) #toread

• (youtube.com):

  #video #toread on a “haversack” for camping gear

• Races (doc.rust-lang.org):

  #toread on #Rust data races and race conditions #concurrency

• Chinese manufacturers Mexico tread thin ICE amid threat more US barriers (scmp.com):

  “Washington fears that Chinese cars may be able to come over the southern border with zero tariffs under the United States-Mexico-Canada Agreement” #USA #China #politics #USMCA

• Maxeon expands Mexico factory making tariff free solar panels for US market (solarpowerworldonline.com):

  “Maxeon expands Mexico factory making tariff-free solar panels for US market” #solar #photovoltaic #energy #USA #politics news

• US tariffs loom on Chinese EVs and maybe solar panels (asiafinancial.com):

  potential new #USA #tariffs on #EVs and #solar #photovoltaic panels from #China #toread #energy #politics

• Analysis bidens China tariff wall (finance.yahoo.com):

  actual new #USA tariffs on EVs and #solar #photovoltaic panels from #China #toread

• Solar panels for large scale PV selling for e0 10 W in Spain (pv-magazine.com):

  Last month: “Spanish developer Solaria says it bought 435 MW of #solar modules from an undisclosed supplier for €0.091 ([US]$0.09)/W. Kiwa PI Berlin confirms that average solar module prices for large-scale PV projects in Spain are now around €0.10/W.” #pricing #photovoltaic #energy

• US solar tariffs and the shadow of larger trade measures (pv-magazine.com):

  #solar #photovoltaic panel #pricing in the #USA is closer to 20¢/W than 10¢/W. Also batteries: “Last summer, battery cell prices in China ranged from $120/kWh to $130/kWh but are expected to drop to $40/kWh or less this summer.” #energy

• Solar panel import tariffs increase US module prices by up to (pv-magazine.com):

  #history of #USA #solar #photovoltaic #energy trade barriers

• (youtube.com):

  #video another “haversack” #scouting video. Mostly he’s showing off his camping equipment: oilskin tarp, folding saw, ferrocerium rod, cigarette lighter, space blanket, tent stakes, etc. Seems like an 18-minute very boring ad by “A Way in the Wilderness”. Plonk.

• Gwqjsidctko (youtu.be):

  #video about Steam Deck touchpad keyboard input methods. Just a screencast, though, no handcam. There are dual touchpads, and they’re clickable, so you can move your thumbs around and see their positions on the screen before clicking. No words-per-minute figures.

• Halt forever Zilog announces to stop Z80 production in June (msx.org):

  More about the end of #Z80 #hardware production. “While the Z80 was manufactured under license by many different companies at the time. SGS Thompson, Siemens, many of the Japanese semiconductor companies, etc. But I'm not aware of any still manufacturing it. Zilog may have been the last.” #retrocomputing

• Long live 16 bit Z80 (theregister.com):

  #Z80 successors #retrocomputing

• A Z80 (opencores.org):

  Goran Devic’s cycle-accurate LGPL-licensed #Z80 core simulator the "A-Z80" #retrocomputing #gateware

• (digikey.com):

  Zilog still sells the #Z80 compatible EZ80L92AZ050SG #hardware for #pricing of US$16.76 in quantity 1, and Digi-Key has 2124 of them in stock. ROMless, 50 MHz, 24 I/O lines, 3.3 volts, 100-LQFP.

• (digikey.com):

  Zilog also still sells the #Z80 compatible EZ80F93AZ020EG #hardware for #pricing of only US$6.30 in quantity 10. Digi-Key has 159 of them in stock. This is only 20 MHz but has 64K of Flash built in, plus 4K of RAM.

• Council to greenlight chat control take action now (patrick-breyer.de):

  #EU #Chat-Control #censorship regime to go into effect on Wednesday. #politics #human-rights

• Index (sealedabstract.com):

  #human-rights #comic rebutting the XKCD against freedom of speech with quotes from liberal thinkers

• (mastodon.world):

  #Signal will leave the #EU if the #Chat-Control #censorship regime does go into effect. #politics #human-rights

• Biden to announce protections Tuesday for undocumented spouses of U s citizens and dreamers (pbs.org):

  #USA #politics on #illegal-immigrants: spouses of US citizens will have three years to apply for permanent residency

• Agon (thebyteattic.com):

  #Z80 single-board computer #hardware "Agon" (really eZ80) #retrocomputing

• Crystalline silicon photovoltaic cells whether or not assembled into modules from the peoples (federalregister.gov):

  “Crystalline Silicon #Photovoltaic Cells, Whether or Not Assembled Into Modules, From the People’s Republic of #China: Final Results and Partial Rescission of Countervailing Duty Administrative Review; 2020” #USA #solar #politics #tariffs #subsidies

• (hedweb.com):

  David Pearce’s #transhumanism answers from Quora

• Results (smt-comp.github.io):

  #SMT and #SAT competition "SMT-COMP" has many divisions now. #formal-methods

• OpenSMT (github.com):

  The "OpenSMT" #SMT (#SAT plus theories) solver, one of the 02023 #SMT-COMP winners, under basically an MIT license #formal-methods

• OpenSMT (smt-comp.github.io):

  #PDF #paper about the #OpenSMT T-DPLL #SMT solver, which is based on MiniSAT. #SAT #toread #formal-methods

• Z3%2B%2B (smt-comp.github.io):

  #PDF #paper about the #Z3++ #SMT solver, which is based on #Z3. #SAT #toread #formal-methods

• Z3Pp (github.com):

  The "Z3++" #SMT solver, based on #Z3, one of the 02023 #SMT-COMP winners, under basically an MIT license #formal-methods

• Bitwuzla (smt-comp.github.io):

  #PDF #paper about the #Bitwuzla #SMT solver at #SMT-COMP, a C++ rewrite of a fork of Boolector. #SAT #toread #formal-methods

• (bitwuzla.github.io):

  The "Bitwuzla" #SMT solver, one of the 02023 #SMT-COMP winners, is also under an MIT license. #formal-methods

• Yices2 (smt-comp.github.io):

  #PDF #SMT-COMP paper about the #Yices2 CDCL(T) #SMT solver, which supports three different #SAT solver backends: CaDiCaL, CryptoMiniSat, and Kissat. #formal-methods

• (yices.csl.sri.com):

  #SMT-COMP winner "Yices2" #SMT #SAT #formal-methods

• Vampire (smt-comp.github.io):

  #SMT-COMP #PDF #paper about #Vampire, a first-order theorem prover. #toread #formal-methods #SMT #SAT

• (vprover.github.io):

  #SMT-COMP winner "Vampire" is under a 3-clause BSD license. #SMT #SAT #formal-methods

• iProver (gitlab.com):

  #SMT-COMP winner "iProver" is a first-order theorem prover written in OCaml licensed under GPL2+. It wraps #Z3 and #Minisat #SAT solvers. #formal-methods #SMT

• iProver (smt-comp.github.io):

  #SMT-COMP #PDF #paper about #iProver. #toread #formal-methods #SMT #SAT

• CVC5 (smt-comp.github.io):

  #SMT-COMP #PDF #paper about the #CVC5 CDCL(T) #SMT solver, the top winner in many categories, licensed under a BSD license. #SAT #formal-methods #toread

• (cvc5.github.io):

  "CVC5" (Cooperating Validity Checker 5), based on #Minisat, written in C++, and licensed under a 3-clause BSD license, is kind of the top #SMT solver according to the #SMT-COMP results. You can hook it up to #ABC, #CryptoMiniSat, #libpoly, #GMP, #CaDiCal, #symfpu, #CLN (the Class Library for Numbers), and #GLPK. #toread #formal-methods #SAT

• SMTInterpol (smt-comp.github.io):

  #SMT-COMP #PDF #paper about #SMTInterpol, a DPLL(T)/CDCL #SMT solver in Java licensed under LGPLv3. #toread #formal-methods #SAT

• SMTInterpol (ultimate.informatik.uni-freiburg.de):

  "SMTInterpol" #SMT solver. #formal-methods #SAT

• Go iterator design (gingerbill.org):

  apparently #Golang added #iterators, with a Ruby-like or CLU-like “push” design

• Perspective interpolation (andrewkchan.dev):

  #Perspective corrected #texture-mapping interpolation in #graphics, and the alternative affine-mapping approximation used by the PS1 hardware

• Fast24 Qian (usenix.org):

  #PDF #paper #toread about direct vs. buffered I/O

• Supreme court abortion Pill access (theguardian.com):

  #Mifepristone remains available all over the #USA thanks to a unanimous Supreme Court decision rejecting some people suing the FDA, I think for lack of standing. #politics #abortion

• Group chats rule the world (sriramk.com):

  Sriram Krishnan says group chats rule the world

• 20240612 bibkeys (blog.cr.yp.to):

  Bernstein says [Kah67] is a worse citation format than [27]

• (forum.godotengine.org):

  to implement #mouselook in #Godot 4 you set Input.mouse_mode instead of calling Input.set_mouse_mode