Note: these "daily" bookmarks would sit well on twitter. Todo: Automation to Post them at the end of the day.
[2024-04-08 Mon]
-
Yoshi Sato's work! Love the GPU, 3d-rendered simulations. I first saw this stuff with FlameGPU. Just stumbled into his work via a Uniswap simulation. The UI + unique graphs clicked instantly. Really love this kind of (i guess it's) indie research. More work from him:
[2024-04-07 Sun]
-
I started reading "Interpretable Machine Learning". Really loved the chapter on "Human Friendly Explanations". It outlines some properties of explanations that people consider satisfying.
- See 3.6 Human-friendly Explanations | Interpretable Machine Learning
- The other titles from Christoph Molnar sound interesting, esp "Modeling Mindsets".
- Saved some substack post for read later too, good stuff. Mindful Modeler | Christoph Molnar | Substack
[2024-04-02 Tue]
-
Explainable Machine Learning. XAI Review : Model Agnostic Tools
Therefore, the prediction function f(x) is the surface that best approximates all the points in the geometric space, while at the same time, it represents the best guess about the causal relationship existing between Y and the Xs.
[2023-12-26 Tue]
-
#bucketlist2024 Challenging projects every programmer should try - Austin Z. Henley
Other ideas:
- Fluid Simulation (some top google links)
-
Papers with code style
- GPT (Karpathy sessions: Let's build GPT: from scratch, in code, spelled out. - YouTube )
- Mixtral (I never get to watch N hours of geohot's vlogs, it's too long, but George Hotz | Programming | Mistral mixtral on a tinybox | AMD P2P multi-GPU …)
[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.
-
Vector Search Isn’t Enough | BRKFP301H - YouTube 🔥 "Hierarchical Navigable Small Worlds" (reminds me of a google maps talk many years ago where the speaker mentioned they did a hierarchical search somewhere, iirc the directions)
- eDiscovery & Legal Search Software Solutions <- application of the above, presented in the 2nd half. This is very cool! Esp. after being primed by the Elastic presentation (acting as a "context store" for LLMs, a hub for many datasources, incl. traditional stuff you'd have in ES like Observability/Logs/… plus all the NLP as seen in the image above)
- Supabase Vector: The Postgres Vector database: Paul Copplestone - YouTube "How the sausage is made in an open source company" 🔥.
- Spoiler alert, the sausage made by -> ClippyGPT - How I Built Supabase’s OpenAI Doc Search (Embeddings)
[2023-12-11 Mon]
- The Mathematician's Mind, Jacques Hadamard #todo 📖 (pdf, also nice to stumble on worrydream.com yet again, randomly via this book. Last time I ran into Bret's writing on the preface of The Art of Doing Science and Engineering)
[2023-12-09 Sat]
- The Strategy of Conflict, by Thomas Schelling (1981) Atm on Part I/Ch3, Tacit & Explicit coordination sections.
[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
- Abstract Formalities: a talk on using Lean4 in the "Liquid tensor experiment". Inspiring.
- Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond. This is the first Lean4 talk I watched, and it's really good!
And some LEAN4 codebases:
- GitHub - leanprover-community/mathlib4: The math library of Lean 4
- GitHub - leanprover-community/lean-liquid: 💧 Liquid Tensor Experiment
A good starting point:
[2023-11-02 Thu]
- https://constituteproject.org/topics compare constituions accross the world.
[2023-10-31 Tue]
- Is Our Economy's Financial Sector Worth What It Costs Us? | Benjamin Friedman (scihub) finally pinning here
- "Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023) 🔥🔥 this is lovely! An awesome language, and also 🌲 tree-sitter. Reminds me that I should finish The Language Instinct. First thought, it's like voice-operated paredit on steroids (or generally, "structural editing").
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]
- Managing a research workflow (bibliographies, notes, arxiv) emacsconf 2021
[2023-10-16 Mon]
- Retrospectives: Friedrich Hayek and the Market Algorithm
- JEL classification codes - Wikipedia
- American Economic Association search results for
D82
(D82: Asymmetric and Private Information • Mechanism Design)
[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]
- How to Write a Proof - Leslie Lamport I finally stumbled over this article once more, it's been on my mind for a while. Thanks Trent!
[2023-03-20 Mon]
- https://robert.kra.hn/posts/2023-02-22-copilot-emacs-setup/ thank you! I have been assimilated, got a copilot subscription, want to try it out for a while.
[2023-03-07 Tue]
[2023-02-24 Fri]
- https://martinfowler.com/bliki/DslExceptionalism.html 🔥
- https://martinfowler.com/bliki/ModelDrivenSoftwareDevelopment.html
- https://martinfowler.com/bliki/PolyglotPersistence.html 🤔
[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]
-
client-first webapps, good refs to ideas, problem areas and solutions
-
"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.
-
"[…] 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]
-
Let's build GPT: from scratch, in code, spelled out.
Wonderful walkthrough of GPT from Andrej Karpathy. Plus the whole Neural Networks: Zero to Hero series.
[2023-01-27 Fri]
-
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]
-
Rascal: Code is Data, Analyzing Code
Rascal is super interesting. It's got a REPL. It can slurp source code and you can CLI your way to analyze and manipulate programs, make DSLs. Must try! (I must try it I mean)
[2023-01-25 Wed]
-
Got @antirez' book on kindle, long queue, but will probably start reading soon.
[2023-01-24 Tue]
-
looks like an awesome tool! Intearctive Graph Knowledge.
- team page
- architecture diagram (see the CLJS things like Garden CSS)
- a clojure tutorial and docs for orgpad's animation library 🔥
[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]
-
http://www.structuredprocrastination.com/.
John Perry's essay on procrastinating. Got here via:
-
https://pmarchive.com/guide_to_personal_productivity.html
- https://stopa.io/post/275 (yes, stopa is linked earlier, he's got some good posts there)
-
[2023-01-12 Thu]
-
Dataviz, VEGA, IDL and more
-
Systems Modeling Languages (MIT OpenCourseware) video, history & rationale.
[2023-01-11 Wed]
- An Intuition for Lisp Syntax
- The One About Blogging. Mapping the Process After Three Years of Learning
- Metaphor in Diagrams. Alan Blackwell
-
Actor model: Unbounded nondeterminism controversy
Few paragraphs on history of concurrency. Got me at "the first concurrent programs were interrupt handlers".