Note: these "daily" bookmarks would sit well on twitter. Todo: Automation to Post them at the end of the day.

[2024-06-13 Thu] Started with Vitalik's article on Palladium Mag, found a few more articles.

  • šŸ”„ Why I Built Zuzalu. Vitalik

    But perhaps this is not a failure: diversity done well is not about equally representing all of society or humanity, itā€™s about strategically bringing together groups that would otherwise not care for each other and building bridges. .. Many cultural movementsā€”digital nomadism, cryptoanarchy, and others come to mindā€”excitedly grow at first, but then settle down into becoming part of the global political and cultural landscape. They are stable and even significant, but ultimately not world-changing once they saturate their natural base of enthusiasts. Would ā€œZuzaluismā€ meet the same fate? And might it in fact be good to decrease ambitions somewhat and let that happen?

  • My Last Five Years of Work

    We also have to consider what effects unemployment will have when it encompasses entire civilizations. The Culture, the people of Iain Banksā€™ eponymously named science-fiction series, face exactly this conundrum. They are a completely post-scarcity society.

  • Quit Your Job

[2024-05-28 Tue]

[2024-04-08 Mon]

[2024-04-07 Sun]

[2024-04-02 Tue]

[2023-12-26 Tue]

[2023-12-12 Tue]

Looks like the "good screen" part of today went towards a "conference at home" mood. Seen some really good stuff. I need to get that RAG going.

[2023-12-11 Mon]

[2023-12-09 Sat]

[2023-11-28 Tue]

  • Tudor Vianu, Cum se scrie o carte, 1963 - YouTube

    Această primă și esențială condiție este existența unei concepții Ć®n oricare dintre domeniile activității umane vrednice de a fi comunicată. Cred că cea dintĆ¢i Ć®ntrebare pe care trebuie să și-o pună cineva hotărĆ¢t să compună o carte este dacă are sau nu ceva de spus. Adică față de ceea ce cultura a produs Ć®n trecut, socotește că poate adăuga ceva nou, fie chiar și Ć®n forma unei sistematizări mai limpezi a cunoștințelor existente la un moment dat.

[2023-11-16 Thu]

Lāˆƒāˆ€N

And some LEAN4 codebases:

A good starting point:

[2023-11-02 Thu]

[2023-10-31 Tue]

PS: I think it's Strange Loop binge time! šŸæšŸ„¤

Oh, and finally, spent plenty of time today reading through Transaction Fee Mechanism Design for the Ethereum Blockchain: An Economic Analysis of EIP-1559; Tim Roughgarden. A really good read - a game theoretic analysis of a web3 mechanism, a very useful example. I'm wondering if there's a chance I could use Lean4 to reproduce the formal proof in the paper (s.6). tbd..

[2023-10-30 Mon]

[2023-10-25 Wed]

  • Obtaining Statistical Properties by Simulating Specs with TLC - Jack Vanlightly and Markus A. Kuppe. Extract stats from TLC model simulations. Timestamped at a point where they show how changing the model structurally gives you different stats. TLA+ seems well suited to this kind of architectural switches. Still to try it out, but I sense a more succint expression of models in TLA+ vs. Python (or other modeling language/frameworks like rust, julia, etc..). Sidenote: Still looking fwd to using Clojure in modsim. Don't miss the rest of the demo cases (rabbitmq, kafka protocol sim). The rabbitmq sim: they use TLA+ to express, simulate and propose protocol changes that ultimately went upstream in the client library šŸ”„. Plus, should try out R and ggplot2 (pity i missed this SHARE #2: Beautiful Data Visualisation in R). Conclusions interesting to hear about TLA+ in simulation: allows you to define workloads, perturbations, etc.. as the initial state predicate.

[2023-10-19 Thu]

  • Common value representationā€”a neuroeconomic perspective | Handbook of Value

    How do humans make choices between different types of rewards? Economists have long argued on theoretical grounds that humans typically make these choices ā€œas ifā€ the values of the options they consider have been mapped to a single common scale for comparison. Neuroimaging studies in humans have recently begun to suggest the existence of a small group of specific brain sites that appear to encode the subjective values of different types of rewards on a neural common scale

[2023-10-18 Wed]

[2023-10-16 Mon]

[2023-10-05 Thu]

  • It's okay to Make Something Nobody Wants. This article off HN ringed a bell. I've been thinking about this "heuristic" of just "follow your own taste" when being creative - since you like a certain thing, it probably has some quality that others might enjoy too. Your own taste can be a good guide.

  • Why do cells die from a lack of oxygen? (and related Oxygen deprivation induced cell death šŸ”„). Why don't they just power down, hibernate, dehydrate or something while waiting for better conditions?

    The most common causes of death in an aging population include myocardial infarction, stroke and cancer. These diseases share a common feature that limitation of oxygen availability contributes to the development of the pathology. (link)

[2023-06-27 Tue]

[2023-06-21 Wed]

  • Ego and Math | 2023 Stanford Math Department Commencement Speech. How to choose what to work on. How much of the choice depends on your perceived success, how much from what others find valuable in the solution? 3b1b's Problem/Domain Worthiness Evaluation Function = low_weight_factors(hardness, originality for it's own sake is hollow, math has intrinsic beauty which is more potent if there's something useful in it too). Will matter more if it depends less on yourself and it depends a bit more on others and what you're doing for them.

[2023-06-14 Wed]

[2023-03-20 Mon]

[2023-03-07 Tue]

[2023-02-24 Fri]

[2023-02-06 Mon]

  • https://martinfowler.com/bliki/ProjectionalEditing.html

    Projectional editing thus usually displays a wider range of editing environments - including graphical and tabular structures - rather than just a textual form.

    Sophisticated source based IDEs also show multiple projections - for instance a side pane showing a list of methods for a class with graphical annotations to indicate their AccessModifiers. However these projections are usually very much secondary to a source editor, and often the projections can't be edited directly - you have to change the source and see the projection update.

  • Projectional Editing: The Future of Programming

    In parser-based approaches, users use text editors to enter character sequences that represent programs. A parser then checks the program for syntactic correctness and constructs an abstract syntax tree (AST) from the character sequence. The AST contains all the semantic information expressed by the program, i.e. keywords, and the purely syntactic aspects are then committed.

    In projectional editors, the process happens the other way around: as a user edits the program, the AST is modified directly. This is similar to the Model-view-controller (MVC) pattern where every editing action triggers a change in the AST.

  • http://blog.jenkster.com/2015/12/what-is-functional-programming.html (and sequel)

    Say it long, say it loud, functional programming is about side-effects. (And side-causes, of course).

[2023-02-03 Fri]

  • https://unhosted.org/

    client-first webapps, good refs to ideas, problem areas and solutions

  • https://thi.ng/

    "Open source building blocks for computationalĀ design. Est.2006." Some crazy visualizations, packed with tons of software/libs.

[2023-02-02 Thu]

  • Alan Kay 2003 ACM A.M. Turing Award Lecture šŸ”„

    I have to watch this lecture again. In fact, adding the whole list of lectures ACM A.M. Turing Award Lectures.

  • The Hiring Post

    "[ā€¦] on that first-call, weā€™d gingerly ask the candidate some technical questions to find out how acquainted they were with our field. Many werenā€™t, at all. Those candidates got a study guide, a couple of free books, and an open invitation to proceed with the process whenever they were ready. Those $80 in books candidates received had one of the best ROIs of any investment we made anywhere in the business." & more; from @tqbf.

[2023-01-31 Tue]

[2023-01-27 Fri]

  • Tokenomics Fundamentals

    An excellent series on tokenomics by Charles Shen. It follows a mind-map style rooted in 6 key aspects that spans broadly in economics, governance, product, community, ā€¦ . I enjoyed his talks and am really glad he published the content in written form!

[2023-01-26 Thu]

[2023-01-25 Wed]

[2023-01-24 Tue]

[2023-01-22 Sun]

  • http://trevorjim.com/c-and-cplusplus-are-not-context-free/

    "Law: You canā€™t check code you canā€™t parse. Checking code deeply requires understanding the codeā€™s semantics. The most basic requirement is that you parse it. Parsing is considered a solved problem. Unfortunately, this view is naĆÆve, rooted in the widely believed myth that programming languages exist."

[2023-01-17 Tue]

[2023-01-12 Thu]

[2023-01-11 Wed]