Skip to content

Instantly share code, notes, and snippets.

View thor314's full-sized avatar

Thor 🪁 thor314

View GitHub Profile
{
"0000000000000000": {
"additionalData": "1703030234",
"ciphertext": "f621b45f772bbc54bc673284e4c2c2fcc74f43f2e3a7f08a040d151b4be13884c02d453b652e272991d3699f30441a3dcebd81420ed47a5fd38de1e00c0369d88ec4ec7a96331c2ffa04d859a845427b4747669770b2192be58a7c2f09d3feb52c5d10ccf480fc393119b777c6632ce8135a74cfc8c8536a658b8931d69639c2607766c5e86a63b41936644153fbde09295395a4e663344bd5c37ab05ef5bd8b8d2cd5003989fb7a80209577cee07a9da42e7901d1e8110d1582e1adee02bd162a32890a69ea90faa3a3abcd0879a8a92228798eb33b9a8cdb1f6174d2cb1403b0ab367d42806e273f7031c813ccecfbffda3a6cef5590d167bac7f3558cf59d66f18e9a31334b6ae888bbf25d39ac448beadd460b207b647fd8bede10d579d21d52f283f2acc85daec0b1ce5d6901c00b61bb42bcacd8b16d7909a182cce31d87ca1e1e9acda2599b04905d0a09e628cc7797dc4bbe92d2d9fe567db0113d478a0489a33f23d266c6fd5771fa678641e109d1962011c2b7a2993ccfd7d320ba59f78def708dcee8b6dd38b60785a1078a7ec0b316a94a0cd343055591ab86b5e0873d7a5258b8c007b04d4f189ea74dcee537f479d97d1ebf747cdd035e087a528090c3c7b2ebf9ddca556af4854a174d01baad4b56adffe1bd

notes on witness extraction values:

An example of the witness file we want to generate.

what we're trying to find today

these 9 values are saved in the JJ golang establishHandshakeKeys method, in handshake_client_tls13.go, which is called by handshake:

  • DHE sharedKey - hs.ecdheKey is the client key. is this just the PreMasterSecret?
  • ES earlySecret - derived from the psk
  • dES derived EarlySecret
  • HS handshakeSecret
  • CHTS clientSecret
@thor314
thor314 / object-embryo selection.md
Created July 20, 2024 15:25
object-embryo selection.md

object-embryo selection

summarizing my take aways from reading Gwern's post on embryo selection for intelligence on 2024-07-20

Possible today:

  • IVF Simple Embryo selection - around 5 eggs are extracted from a woman and fertilized. Each resulting embryo is biopsied for a a few cells, which are sequenced, to determine a polygenic score (some scoring for genetic desireability) for each. The best embryo is implanted. Note that there are common complications; embryos may die in storage, the embryo may fail to implant, etc. The process costs on the order of $5k.

Possible in the future, Gwern describes a range of possible future developments. I will highlight four:

  • Massive Multiple Embryo Selection - eggs are extracted as before (or if we figure out pluripotent stem cells well enough to make eggs from skin cells, do that). The extracted egg cells are "replicated hundreds of times" to original eggs. The resulting eggs are fertilized to create a few hundred candidates, of which the best is implanted. Since bi

notes on witness extraction values:

An example of the witness file we want to generate.

what we're trying to find today

these 9 values are saved in the JJ golang establishHandshakeKeys method, in handshake_client_tls13.go, which is called by handshake:

  • DHE sharedKey - hs.ecdheKey is the client key. is this just the PreMasterSecret?
  • ES earlySecret - derived from the psk
  • dES derived EarlySecret
  • HS handshakeSecret
  • CHTS clientSecret
@thor314
thor314 / book-A philosophy of software design.md
Last active July 17, 2024 17:31
book-A philosophy of software design.md

book-A philosophy of software design

takeaways

  • two general approaches to fight complexity
    • make code simpler and more obvious
    • encapsulate the complexity with modular design
  • goals
    • how recognize complexity
  • techniques to minimize complexity
@thor314
thor314 / note-lowering my cholesterol.md
Last active July 15, 2024 19:41
note-lowering my cholesterol.md

note-lowering my cholesterol

action items

Do the following for 3 months, then take another panel:

  • Fasting Mimicking Diet (calorie/protein reduction for 5 consecutive days in the month)
  • Dietary adjustments - see below. Eliminate red meat, sugary wheat, ice cream, alcohol. Double down on salads, nuts, seeds, salmon. Figure out how to incorporate more legumes.
  • Keep exercising regularly, running, stretching, etc.
  • track my apolipoprotein B levels

other take aways from this exercise

  • The fasting mimicking diet seems really promising, at least as much as other calorie restriction techniques
  • eggs are maybe good or at least not obviously bad - eating cholesterol != high cholesterol, saturated fat is not my enemy
@thor314
thor314 / writing-Active listening how to.md
Last active July 9, 2024 19:05
writing-Active listening how to.md

Active Listening

borrowed from All Kings mens group by Bill Wich.

Active listening is doing one of the following 3 actions in the course of conversation:

  1. BE SILENT. Curiously, SILENT and LISTEN have the same letters.
  2. ECHO. Repeat their words verbatim or do a short summary with “So what I’m hearing you say is…”
  3. ASK CLARIFYING QUESTIONS. Examples include:
    • What does that look like? 
    • What do you mean by ___?
  • How does that make you feel?
@thor314
thor314 / writing-mens group agenda 2024-07-06.md
Last active July 9, 2024 19:05
writing-mens group agenda 2024-07-06.md

Mens group 2024-07-06 agenda

  • prep (start at least 30m before open):
    • Remind in advance that group will close 15 minutes after start, and to bring your own food if anyone has eating restrictions
    • Print about 10 [[writing-Active listening how to|active listening]] handouts and any notes for the session
    • Form seats in a circle, adjust lighting (not too bright)
    • decide on a restaurant for uber eats
    • ground self - set my own energy
  • 1700 trickle in
    • welcome the dudes. hand dudes group uber eats order
  • hang out, suggest bathroom/water
@thor314
thor314 / opinion-best portable standing desk laptop stand.md
Last active July 14, 2024 19:31
opinion-best portable standing desk laptop stand.md

opinion-best portable standing desk laptop stand

Research on best options for laptop stands over 20 inches of rise. Most laptop stands top out at 11 inches, and it's actually difficult to find taller laptop stands that allow for standing.

  • 1 ‎3.3 pounds range: 12in - 29in 50 bucks cannot angle cupholder and phone holder, mouse pad 4 tall legs
creation-date tags origin date-origin
2024-07-02
graph/object,

object-cupping

Generally, the arguments suggest cupping:

  • reduces muscle tightness <- best studied and supported
  • increases blood circulation <- well supported