[2024-11-08 Fri]

[2024-11-08 Fri]

[2024-10-24 Thu]

  • Self-organized criticality control - Wikipedia

    The objective of the control is to reduce the probability of occurrence of and size of energy dissipation bursts, often called avalanches, of self-organized systems. Dissipation of energy in a self-organized critical system into a lower energy state can be costly for society, since it depends on avalanches of all sizes usually following a kind of power law distribution and large avalanches can be damaging and disruptive

[2024-10-22 Tue]

  • I was looking into how the mesa3d project started. It's quite a large, successful project so it's good to know how it came to be, what were the aims, the motivations.

    Paul was a graphics hobbyist. He thought it would be fun to implement a simple 3D graphics library using the OpenGL API. He spent eighteen months of part-time development before he released the software on the Internet. – Brian Paul - Wikipedia

  • Profesioniştii cu Delia Budeanu (@TVR1). Watched it last night. Such an inspiring, strong character.

[2024-10-06 Sun]

  • Grammaticalization. "Semantic Bleaching", a flattening of meaning. Think of the words "discipline", "study", or in Romanian - "materie". The original words contain a nuance that feels absent in current usage.

[2024-10-03 Thu]

[2024-09-20 Fri]

  • How To Exit Emacs? nice & funny explainer. "But remember: you don't really want to exit Emacs."

[2024-09-20 Fri]

  • Best Practices for Working with Vertex Data. This is a comprehensive article on how to manage memory (buffers) in OpenGL for performance. Keeping it here for reference. Some common sense stuff like "keep data aligned" and "batch draws", but also some more Graph Whiz stuff like "don't reconfigure the graphics pipeline on every frame, but use VAOs" and "map buffers to host (client) memory when updating frequently". While this is for iOS, and also deprecated in favor of Metal, I believe it's generally applicable.

    When you are designing your vertex structure, align the beginning of each attribute to an offset that is either a multiple of its component size or 4 bytes, whichever is larger. When an attribute is misaligned, iOS must perform additional processing before passing the data to the graphics hardware.

[2024-08-20 Tue]

[2024-08-19 Mon]

[2024-08-17 Sat]

[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-30 Thu]

[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]