Watch 1

Star 1

HTTPS

Download ZIP Download TAR.GZ Download BUNDLE Open with VS Code Open with VSCodium Open with Intellij IDEA

notes

այս պահոցում/շտեմարանում հաւաքելու եմ տարբեր յղումներ եւ նոթեր, որոնք կուտակւում են ուսումնասիրելու/սովորելու ընթացքում եւ որոնք երեւի օգտակար կարող են լինել այլոց։

---

language design

In Go, pointers (mostly) don't go with slices in practice. HN

Why C has Pointers by Andrew Hardwick

Energy efficiency of programming languages by Marian's Garden

Less is exponentially more by rob pike

Dynamic Languages are Static Languages by Robert Harper

networking

(HTTP Signatures. draft-cavage-http-signatures-12)[https://datatracker.ietf.org/doc/html/draft-cavage-http-signatures-12]

concurrency

Blocking I/O, Nonblocking I/O, And Epoll | eklitzke.org

(Re: proc fs and shared pids: There is NO reason to think that "threads" and "processes" are separate entities. Linus)[https://lkml.iu.edu/hypermail/linux/kernel/9608/0191.html]

Mutex vs. Semaphores – Part 1: Semaphores by Niall Cooling

Mutex vs. Semaphores – Part 3 (final part): Mutual Exclusion Problems by Niall Cooling

(1024cores. Dmitry Vyukov blog)[https://www.1024cores.net/home]

(Mutex vs Atomic. CoffeeBeforeArch)[https://coffeebeforearch.github.io/2020/08/04/atomic-vs-mutex.html]

(Comparing the performance of atomic, spinlock and mutex)[https://demin.ws/blog/english/2012/05/05/atomic-spinlock-mutex/]

(You Can Do Any Kind of Atomic Read-Modify-Write Operation. Jeff Preshing)[https://preshing.com/20150402/you-can-do-any-kind-of-atomic-read-modify-write-operation/]

(The Trouble With Locks. C/C++ Users Journal, 23(3), March 2005.)[http://gotw.ca/publications/mill36.htm]

(The difference between mutex and rwmutex)[http://programmer.help/blogs/difference-between-mutex-and-rwmutex.html]

The Toilet Example (c) Copyright 2005, Niclas Winquist ;)

There Are Many Ways To Safely Count. Bruno Calza

Multicores and Publication Safety by Bartosz Milewski

Dekker’s Algorithm Does not Work, as Expected by Jakob

Lock-free Programming: Dekker's Algorithm by Adrian de Mesquita

Recursive (Re-entrant) Locks by Stephen Cleary

An Illustrated Proof of the CAP Theorem by mwhittaker

Testing Distributed Systems for Linearizability by Anish Athalye

Semaphores

Locks Aren't Slow; Lock Contention Is by Jeff Preshing

The Free Lunch Is Over. A Fundamental Turn Toward Concurrency in Software by Herb Sutter

Fibers under the magnifying glass

Bell Labs and CSP Threads by Russ Cox

Composing Specifications by Martin Abadi and Leslie Lamport

books

Communicating Sequential Processes by C. A. R. Hoare

Memory of the world library

https://hackersanddesigners.nl

papers

ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency

Lockless algorithms for mere mortals by Jonathan Corbet

A Concurrent Window System by Rob Pike

A surprise with mutexes and reference counts by Jonathan Corbet

Performance evaluation of distributed mutual exclusionPerformance evaluation of distributed mutual exclusion algorithms by Kenneth B Been

THE MUTUAL EXCLUSION PROBLEM bY T. H. Bredt http://i.stanford.edu/pub/cstr/reports/cs/tr/70/173/CS-TR-70-173.pdf

The Mutual Exclusion Problem. Part I: A Theory of Interprocess Communication by L. Lamport https://www.ics.uci.edu/~cs230/reading/Lamport%20Mutual%20Exclusion%20Problem%20Part1.pdf

The Mutual Exclusion Problem Part II: Statement and Solutions by L. Lamport https://www.microsoft.com/en-us/research/uploads/prod/2016/12/The-Mutual-Exclusion-Problem-Part-II.pdf

A Permission Based Hierarchical Algorithm for Mutual Exclusion by Mohammad Ashiqur Rahman https://acyd.fiu.edu/wp-content/uploads/A-Permission-Based-Hierarchical-Algorithm-for-Mutual-Exclusion.pdf

Efficient Mutual Exclusion in Peer-to-Peer Systems by Moosa Muhammad, Adeep S. Cheema, and Indranil Gupta https://dprg.cs.uiuc.edu/data/files/2005/grid05_poster.pdf

A Fast Mutual Exclusion Algorithm. Leslie Lamport https://www.ics.uci.edu/~cs230/reading/Lamport%20Fast%20Mutual%20Exclusion%20Algorithm.pdf

Mutex mutandis: understanding mutex types and attributes https://www.2net.co.uk//tutorial/mutex_mutandis

Group Mutual Exclusion by Fetch-and-increment by Alex Aravind, Wim H. Hesselink https://dl.acm.org/doi/10.1145/3309202

Efficient Single Writer Concurrency by Naama Ben-Davi Guy E. Blelloch Yihan Sun Yuanhao Wei https://www.researchgate.net/publication/324005771_Efficient_Single_Writer_Concurrency

Understanding and Effectively Preventing the ABA Problem in Descriptor-based Lock-free Designs https://www.stroustrup.com/isorc2010.pdf

Is Parallel Programming Hard, And, If So, What Can You Do About It? by Paul E. McKenney https://mirrors.edge.kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook.2011年01月02日a.pdf

[A Fast Mutual Exclusion Algorithm by Leslie Lamport](https://lamport.azurewebsites.net/pubs/fast-mutex.pdf)
[A New Solution of Dijkstra's Concurrent Programming Problem by Leslie Lamport](https://lamport.azurewebsites.net/pubs/bakery.pdf)
[The Parallel Execution of DO Loops by Leslie Lamport](https://lamport.azurewebsites.net/pubs/do-loops.pdf)
[What is RCU, Fundamentally?](https://lwn.net/Articles/262464/)
[What is RCU? Part 2: Usage](https://lwn.net/Articles/263130/)
[RCU part 3: the RCU API](https://lwn.net/Articles/264090/)
[User-space RCU](https://lwn.net/Articles/573424/)
[READ-COPY UPDATE: USING EXECUTION HISTORY TO SOLVECONCURRENCY PROBLEMS. PAUL E. MCKENNEY JOHN D. SLINGWINE](http://www.rdrop.com/users/paulmck/RCU/rclockpdcsproof.pdf)
[User-Level Implementations of Read-Copy UpdateMathieu Desnoyers, Paul E. McKenney, Alan S. Stern, Michel R. Dagenais and Jonathan Walpole](http://www.rdrop.com/users/paulmck/RCU/urcu-main-accepted.2011年08月30日a.pdf)
[Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBTSystems](https://homepages.inf.ed.ac.uk/s1343145/USENIX2020.pdf)
[Lockless patterns: an introduction to compare-and-swap by Paolo Bonzini](https://lwn.net/Articles/847973/)
[Workspace Consistency: A Programming Model for Shared Memory Parallelism](https://www.academia.edu/3568009/Workspace_Consistency_A_Programming_Model_for_Shared_Memory_Parallelism)
[Tapir: Embedding Fork-Join Parallelism into LLVM's Intermediate Representation](https://www.researchgate.net/publication/313019806_Tapir_Embedding_Fork-Join_Parallelism_into_LLVM%27s_Intermediate_Representation)
[Testing Distributed Systems for Linearizability by Anish Athalye](https://www.anishathalye.com/2017/06/04/testing-distributed-systems-for-linearizability/)
[Linearizability: A Correctness Condition for Concurrent Objects](http://www.calebgossler.com/notes/Papers/linearizability.html)
[From Linearizability to CAP Theorem: A Brief Overview of Consistency Guarantees in Concurrent Programs by Udit kumar agarwal ](https://uditagarwal.in/from-linearizability-to-cap-theorem-a-brief-overview-of-consistency-guarantees-in-concurrent-programs/)
[Perspectives on the CAP Theorem by Seth Gilbert, Nancy A. Lynch](https://groups.csail.mit.edu/tds/papers/Gilbert/Brewer2.pdf)
[Modular Verification of Concurrency-Aware Linearizability by Nir Hemed, Noam Rinetzky, Viktor Vafeiadis](https://hal.archives-ouvertes.fr/hal-01207126/document)
[Quasi-Linearizability: Relaxed Consistency For Improved Concurrency by Yehuda Afek, Guy Korland, and Eitan Yanovsky](http://mcg.cs.tau.ac.il/papers/opodis2010-quasi.pdf)
[Monitors: An Operating System Structuring Concept](https://people.cs.uchicago.edu/~shanlu/teaching/33100_fa15/papers/hoare-monitors.pdf)
[Wait-Free Synchronization by MAURICE HERLIHY](https://cs.brown.edu/~mph/Herlihy91/p124-herlihy.pdf)
[Wait-Freedom with Advice by Carole Delporte-Gallet Hugues Fauconnier Eli Gafni Petr Kuznetsov](https://arxiv.org/pdf/1109.3056.pdf)
[Effective Concurrency: Prefer Using Futures or Callbacks to Communicate Asynchronous Results](https://herbsutter.com/2010/08/27/effective-concurrency-prefer-using-futures-or-callbacks-to-communicate-asynchronous-results/)
[Another Threading Post Index](https://cbloomrants.blogspot.com/2012/06/06-12-12-another-threading-post-index.html)
[Scalable Reader-Writer Locks by Yossi Lev, Victor Luchangco Marek Olszewski](http://people.csail.mit.edu/mareko/spaa09-scalablerwlocks.pdf)
[Fast mutual exclusion algorithms using read-modify-write and atomic read/write registers by Ting-Lu Huang](https://people.cs.nctu.edu.tw/~tlhuang/Papers/ICPADS98.pdf)

Articles by Wirth

Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO by Guy Steele

Jeremy Gibbons: Publications https://www.cs.ox.ac.uk/people/publications/date/Jeremy.Gibbons.html https://www.cs.ox.ac.uk/softeng/Jeremy.Gibbons/publications.html

Computability and Recursion by Robert I. Soare

The next 700 programming languages by P. J. Landin acm dl

Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs by John Backus other source

You and Your Research by Richard Hamming

Programming With(out) the GOTO by B .M . Leavenworth

Gerard J. Holzmann http://spinroot.com/gerard/ https://scholar.google.com/citations?user=thNT9QYAAAAJ&hl=en https://www.researchgate.net/profile/Gerard-Holzmann/3

John Reppy https://scholar.google.com/citations?user=hz1S-asAAAAJ&hl=en

Richard Bird's publications https://www.cs.ox.ac.uk/people/richard.bird/publications.html

Erik Meijer https://scholar.google.com/citations?user=odFMpOYAAAAJ&hl=en

Jeremy Gibbons' Publications https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/index.html

lambda papers https://research.scheme.org/lambda-papers/ https://web.archive.org/web/20160510140804/http://library.readscheme.org/page1.html

John McCarthy's papers http://www-formal.stanford.edu/jmc/

Philip Wadler's papers https://homepages.inf.ed.ac.uk/wadler/ http://jmc.stanford.edu/articles/index.html

Theorem for free! by Philip Wadler

lock free ds

Lock-freedom without garbage collection

Lock-Free Code: A False Sense of Security. Herb Sutter

Lock-Free Queues by Petru Marginean

The World's Simplest Lock-Free Hash Table by Jeff Preshing

Lock-Free Data Structures with Hazard Pointers by Andrei Alexandrescu, Maged Michael

Obstruction-Free Synchronization: Double-Ended Queues as an Example by Maurice Herlihy, Victor Luchangco, Mark Moir

Wait-Free Queues With Multiple Enqueuers and Dequeuers by Alex Kogan, Erez Petrank

atomic

Lockless patterns: more read-modify-write operations. Paolo Bonzini

First Things First. scalability by Dmitry Vyukov

Atomic vs. Non-Atomic Operations. Jeff Preshing

An introduction to lockless algorithms by Paolo Bonzini

An Introduction to Lock-Free Programming by Jeff Preshing

Lock-free multithreading with atomic operations by Internal Pointers

Lockless patterns: an introduction to compare-and-swap by Paolo Bonzini

Introducing Mintomic: A Small, Portable Lock-Free API, code

C++ atomics and memory ordering by Bartosz Milewski

Weak vs. Strong Memory Models by Jeff Preshing

Atomics in AArch64 by Jim Cownie

Hardware Atomicity for Reliable Software Speculation by Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan, Craig Zilles

Fine Grained Analysis of Read-Modify-Write Performance in NUMA Architectures by Naama Ben-David, Ziv Scully

Increasing the Size of Atomic Instruction Blocks using Control Flow Assertions by Sanjay J. Patel, Tony Tung, Satarupa Bose, Matthew M. Crum

Evaluating the Cost of Atomic Operations on Modern Architectures by Hermann Schweizer, Maciej Besta, and Torsten Hoefler

You Can Do Any Kind of Atomic Read-Modify-Write Operation by Jeff Preshing

Validating Memory Barriers and Atomic Instructions by Paul McKenney

Read-Modify-Write Networks by Panagiota Fatourou, Maurice Herlihy

Atomic Read-Modify-Write Operations are Unnecessary for Shared-Memory Work Stealing by Umut A. Acar, Arthur Charguéraud, Stefan Muller, Mike Rainey

functional programming

(Higher-order Functions15-150: Principles of Functional Programming. by Giselle Reis)[https://web2.qatar.cmu.edu/cs/15150/fall2018/lectures/13-higher-order-functions.pdf]

thread

https://web.mit.edu/6.005/www/fa15/classes/20-thread-safety/#strategy_1_confinement

https://github.com/tmrts/go-patterns --lexical & adhoc confinement

http://www.thinkingparallel.com/2006/10/15/a-short-guide-to-mastering-thread-safety/

self-hosting

Setup your server with ease, you already have everything at home

fediverse

Privacy research on Matrix.org. Max Dor

Run your digital services from your home

Federated, free, and/or open source software will not be chosen over proprietary software unless they overcome this hurdle by @snek_boi

ActivityPub: the present state, or why saving the 'worse is better' virus is both possible and important by Ariadne Conill https://ariadne.space/2019/01/10/activitypub-the-present-state-or-why-saving-the-worse-is-better-virus-is-both-possible-and-important/

Re-Decentralizing the Web, For Good This Time by Ruben Verborgh https://ruben.verborgh.org/articles/redecentralizing-the-web/

Challenges in Building a Decentralized Web https://educatedguesswork.org/posts/challenges-web-decentralization/

The Rise and Demise of RSS by Two-Bit History https://twobithistory.org/2018/12/18/rss.html

The AT Protocol is an open, decentralized network for building social applications. https://atproto.com/

LitePub Overview https://litepub.social/overview

trunk https://communitywiki.org/trunk

Challenges in the Decentralised Web: The Mastodon Case by Aravindh Raman Sagar Joglekar1, Emiliano De Cristofaro2,3, Nishanth Sastry1, and Gareth Tyson3 https://arxiv.org/pdf/1909.05801

json, protobuf

(Beating JSON performance with Protobuf by Bruno Krebs)[https://auth0.com/blog/beating-json-performance-with-protobuf/]

(Introduction to gRPC: A general RPC framework that puts mobile and HTTP/2 first (M.Atamel, R.Tsang)(youtube video))[https://youtu.be/hNFM2pDGwKI]

pipeline

(Pipelines in Golang by Richard Clayton)[https://rclayton.silvrback.com/pipelines-in-golang]

(Go Concurrency Patterns: Pipelines and cancellation by Sameer Ajmani)[https://go.dev/blog/pipelines]

event loop

Don't Block the Event Loop (or the Worker Pool)

The Node.js Event Loop. Nodejs.dev

The Node.js Event Loop, Timers, and process.nextTick(). Nodejs.org

Event Loop and the Big Picture — NodeJS Event Loop Part 1

Timers, Immediates and Process.nextTick— NodeJS Event Loop Part 2

Promises, Next-Ticks, and Immediates— NodeJS Event Loop Part 3

thinkpad

IBM ThinkPads in space

problems, courses, tutorials

A list of practical projects that anyone can solve in any programming language. karan

dataquest. Learn data science by (削除) watching videos (削除ここまで) coding!

dataquest. sql fundamental

studytonight. Education simplified

Javatpoint

Learn Git Branching

codesdope

programiz

dzone

MIT OpenCourseWare.Engineering - Computer Science

The Open Source Computer Science Degree

Path to a free self-taught education in Computer Science!

technology, language, etc.

A Brief, Incomplete, and Mostly Wrong History of Programming Languages by James Iry

Code is not literature by Peter Seibel

rivescript

RiveScript is a text-based scripting language meant to aid in the development of interactive chatbots. A chatbot is a software application that can communicate with humans using natural languages such as English in order to provide entertainment, services or just have a conversation.

Industrial-Strength Natural Language Processing in Python

The DOT Language

Graphviz - Graph Visualization Software

A read-it-later service for RSS purists by Tobias Alexander Franke

python-specific

django vs flask

Python cost model

articles, blogposts, opinion

Execution in the Kingdom of Nouns by Steve Yegge

What Does Haskell Have to Do with C++? by Bartosz Milewsk

An Interview with A. Stepanov by Graziano Lo Russo

Procedure vs. Function vs. Method vs. ? by Musings

The Forgotten History of OOP by Eric Elliott

How Many x86-64 Instructions Are There Anyway? by stefan heule

RSS, or why lack of developer imagination will be the end of the open web by Craig Maloney

Firmware Updates by mitxela

Basics of the Unix Philosophy by Eric Steven Raymond

3 tribes of programming by Joseph Gentle

Principles of UI, A Thread. notes.yip.pe

The Software Industry is Broken by Dmitry Kudryavtsev

What You Miss By Only Checking GitHub by Sumana Harihareswara

Sketchy Websites Save the Day by exozy

Please don't use Discord for FOSS projects by Drew DeVault

Your syntax highlighter is wrong by James Fisher

A Brief, Incomplete, and Mostly Wrong History of Programming Languages by James Iry

Fibonacci & L-grammars by David P. Medeiros

NPM & left-pad: Have We Forgotten How To Program? by David Haney

Program development by Stepwise Refinement by Niklaus Wirth

A plea for lean software by Niklaus Wirth

A clean start for the web by Tom MacWright

How to Generate Random Timings for a Poisson Process by Jeff Preshing

Mapping the whole internet with Hilbert curves by benjojo

An Interview with Brian Kernighan by Mihai Budiu

Linus Torvalds Answers Your Questions 326

Worse Is Better by Richard P. Gabriel

The 'Story of Mel' Explained by James Seibel

Donald Knuth on work habits, problem solving, and happiness

Why Pascal is Not My Favorite Programming Language by Brian W. Kernighan

Things a Computer Scientist Rarely Talks About by Knuth

(Donald Knuth on work habits, problem solving, and happiness)[https://shuvomoy.github.io/blogs/posts/Knuth-on-work-habits-and-problem-solving-and-happiness/]

An Essay on Programming by Niklaus Wirth

https://www.dreamsongs.com/index.html

The Yesterweb | Reclaiming the Internet

https://goblin-heart.net/

Rediscovering the Small Web by Parimal Satyal

Growing a Language by Guy L. Steele Jr. talk

The Rise of Worse is Better by Richard P. Gabriel

The Humble Programmer by Edsger W. Dijkstra

Worse is Better is Worse by Nickieben Bourbaki

A plea for lean software by Niklaus Wirth

Money Through Innovation Reconsidered | dreamsongs

Software and Anarchy by Gnuxie Lulamoon and Hayley Patton

tools, design, etc.

https://polyhaven.com/

https://www.maxon.net/en/

https://www.grasshopper3d.com/

https://www.rhino3d.com/

https://wattwise.games/

https://www.keyshot.com/

https://opentoonz.github.io/e/

https://www.marvelousdesigner.com/?gad_source=1

https://monogame.net/

https://stylizedstation.com/

https://www.mixamo.com/#/

Inigo Quilez https://iquilezles.org/

https://www.blenderkit.com/

https://blendswap.com/

http://mantaflow.com/

https://studio.blender.org/welcome/

https://static.makehumancommunity.org/

https://craftinginterpreters.com/

https://github.com/HackerPoet/NonEuclidean

https://develop.games/

պատմություն

https://issuu.com/armenianinternationalmagazine/docs/september1990

What Will Grow Out of a Pocket Full of Sunflower Seeds? by Slavoj Žižek

ԼԵՎՈՆ ՏԵՐ-ՊԵՏՐՈՍՅԱՆԸ ՎԵՐԱԴԱՌՆՈՒՄ Է

Լեւոն Տեր֊Պետրոսյանի այսօրը

Սա է իրականությունը

Լեւոն Տեր-Պետրոսյան. Սյունիքի նշանակությունը, 1996թ

Լեւոն Տեր-Պետրոսյանի ելույթը Համաժողովրդական շարժման 2-րդ կոնգրեսում, 02.05.2008թ.

Վահե Գրիգորյան. Հակասությունը Սահմանադրության եւ մեկ կոնկրետ քաղաքական ուժի օրակարգի միջեւ է

Վահե Գրիգորյան. Հանրապետության չորրորդ նախագահը դեռ չի ընտրվել

Լեւոն Տեր֊Պետրոսյան. Քաղաքական դիմանկար

«Հարցազրույց Հայաստանի հետ». Վահե Գրիգորյան. Իշխանությունը միշտ պատկանելու է ժողովրդին

«Հարցազրույց Հայաստանի հետ»: Վահե Գրիգորյան. Սահմանադրությունն այլեւս մեր պաշտպանության կարիքն ունի

decentralization/free software

Why does decentralization matter

architecture

Microservices and Unix Philosophy. assoc

papers

D. E. Knuth. "Big omicron and big omega and big theta

Some Papers and books of P.J. Scott

papers by Paul Hudak https://scholar.google.com/citations?user=W6Mk2KwAAAAJ

https://omelkonian.github.io/

Selected publications of Gadi Taubenfeld

https://www.jwz.org/doc/worse-is-better.html https://ewontfix.com/14/

https://users.umiacs.umd.edu/~hal/

https://lamport.azurewebsites.net/pubs/pubs.html

Anish Athalye https://anish.io/

Mark P. Jones: Selected Publications http://web.cecs.pdx.edu/~mpj/pubs.html

John Reppy's Publications https://people.cs.uchicago.edu/~jhr/

https://oatd.org/

https://philarchive.org/

Prof. Dr. Anja Volk https://webspace.science.uu.nl/~fleis102/

etc

Firefox, I love you but you’re bringing me down. Ryan Daniels

location sharing serive

[open street map](https://umap.openstreetmap.fr/en/]

science/math books

An Interview with A. Stepanov by Graziano Lo Russo

Computer history wiki

how shazam works

The Computer Language Benchmarks Game

WTFPL – Do What the Fuck You Want to Public License

Nachum Danzig's Home Page

http://info.cern.ch - home of the first website

typing is hard

Linus Torvalds on C++

Simple and privacy-friendly alternative to Google Analytics

Top arXiv papers

papers-we-love

humor, jargon

Some AI Koans. Hacker Folklore

15 new ways to catch a lion by John Barrington

talks

4 Programming Paradigms In 40 Minutes by Aja Hammerly

Why Isn't Functional Programming the Norm? by Richard Feldman

Structured Programming by Dijikstra

"The Mess We're In" by Joe Armstrong

algorithms

A Fast Mutual Exclusion Algorithm by Leslie Lamport

Algorithmics: towards programming as a mathematical activity

Binary search trees

big O cheat sheet

Optimal memory reallocation and the golden ratio by Chris Taylor

go

How are Go channels implemented?

Golang: Concurrency: Monitors and Mutexes, A (light) Survey

Head first into sync.Cond of Golang. Pinku Deb Nath

The Case For A Go Worker Pool

Concurrency in Golang And WorkerPool [Part 1]

Goroutine Leaks - The Forgotten Sender

Leaking Goroutines

Several Cases of Goroutine Leaks in Golang

Go vs Node vs Rust vs Swift

Dissecting Go Binaries

awesome go

Interfaces in Go by Uday Hiwarale

How To Use Go Interfaces by Chewxy

Interface naming convention in Golang by Lucas Do

The Laws of Reflection by Rob Pike

Errors are values by Rob Pike

Defer, Panic, and Recover by Andrew Gerrand

Error Handling in Go by Martin Kühl

Arrays, slices (and strings): The mechanics of 'append' by Rob Pike

federation, activity pub, webfinger .. standards

Webfinger

How to implement remote following for your ActivityPub project

An ActivityPub server implementation example | Python

honk

Blushy-Crushy Fediverse Idol: A Chat with Lain about Pleroma by Sean Tilley

architecture

Structuring Applications in Go. Ben Johnson

Standard Package Layout. Ben Johnson

c [but not c++ ]

Understanding lvalues and rvalues in C and C++

C++ Rvalue References: The Unnecessarily Detailed Guide by betaveros

Massacring C Pointers by Wozniak

Pointers Are Complicated, or: What's in a Byte? by ralfj.de

Pointers Are Complicated II, or: We need better language specs by ralfj.de

Alloca and Realloc – Useful Tools, Not Ancient Relics. blog.demofox.org

closure

Closure conversion: How to compile lambda by matthew might

functional programming

Subject: Re: FP, OO and relations. Does anyone trump the others? archive

folklore

Real Programmers Don’t Use Pascal by Ed Post

Real Programmers Don't Use Pascal

More About Real Programmers

The Story of Mel, a Real Programmer by Ed Nather

discussions

Using Goto in Linux Kernel Code lkml

GPL vs BSD, a matter of sustainability (matusiak.eu). HN

memory

Examining the Stack

Function Call Stack Examples by Chris Kauffman

Where the top of the stack is on x86 by Eli Bendersky

Stack frames by Paul Krzyzanowski

Understanding the Stack

Spatial and Temporal Locality by Sergey Slotin

call stack

Writing a Linux Debugger Part 8: Stack unwinding by Sy Brand

Deep Wizardry: Stack Unwinding by Josh Haberman

tail call

Tail Recursion. Lean

Tail Call Optimisation in C++ by Andy Balaam

Performance of recursive functions (and when not to use them) by Guillaume Bogard

Tail Call Optimisation and C / C++ by Tristan Penman

How Tail Call Optimization Works by Evan Klitzke discussion. HN

The Story of Tail Call Optimizations in Rust by Sean Chen

Why Object-Oriented Languages Need Tail Calls. reflection

How Tail Call Optimization Works by Evan Klitzke

How Tail Call Optimization Works (eklitzke.org). HN

Procedures and the Processes They Generate. Interactive Structure and Interpretation of Computer Programs

Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO by Guy Steele

recursion papers

Primivie Recursive Functions by Raphael M. Robinson

A THEOREM ON GENERAL RECURSIVE FUNCTIONS by SHIH-CHAO LIU

GENERAL RECURSION VIA COINDUCTIVE TYPES by VENANZIO CAPRETTA

structured programming with goto statement by Donald Knuth

assembly

Stack and Functions

pinetime

A look at Pine64: Pinetime by DarrowAtreides

PineTime: a smartwatch for open-source software by Sam Sloniker

Thoughts on my PineTime by Akseli Lahtinen

etc.

HOW TO BUILD AN ECONOMIC MODEL IN YOUR SPARE TIME

https://www.thisman.org/

https://int10h.org/oldschool-pc-fonts/fontlist/

Fonts in Use

oldschool pc fonts

https://sr.ht/

profanity. console based xmpp client

Social Coding

Drupal. ActivityPub, IndieWeb reader https://realize.be/ https://www.drupal.org/project/reader

Wobbly. Web-Based Gemini browser

fafi. gemini browser

Scuttlebutt Protocol Guide

yt-dlc. media downloader and library for various sites

yt-dlp. A feature-rich command-line audio/video downloader

HARFANG. 3D Real Time Visualization Tools

https://github.com/Swordfish90/cool-retro-term

Joplin. note-taking app

Manush. menu shell

ArchiveBox. Open source self-hosted web archiving

pine

apps for postmarketos

awesome pinetime

pt-connect

TT-time

pinetime-updater

retro computing

https://gunkies.org/wiki/PDP-8

http://chdickman.com/pdp8/

http://www.bitsavers.org/pdf/dec/pdp8/pdp8/

https://www.studiodessuantbone.com/articles/what-is-pdp-8-in-computer-architecture/

https://en.wikipedia.org/wiki/ZX_Spectrum

Soothing Sounds of the IBM PC AT

teco

Text Editor and COrector

TECO Editor Information

TECO reference manual

A new portable TECO based on TECO-32 V40

TECOC - TECO text editor

The Beginnings of TECO by Dan Murphy

audiobooks

https://typeaudiobooks.com/

https://primeaudiobook.com/

https://bookaudio.online/

art

https://stane-jagodic.com/

https://libraryofbabel.info/

Carrie Mae Weems https://www.carriemaeweems.net/

https://www.juliahetta.com/

https://americanartist.us/

Rick Owens minimalist home in Concordia https://www.vosgesparis.com/2022/05/rick-owens-minimalist-home-in-concordia.html

https://www.jeffbark.com/

https://worksofanais.com/

https://www.sara-phillips.com/

http://www.ccru.net/index.htm

Joanne Nam

(Dante and Virgil | William-Adolphe Bouguereau)[https://www.wikiart.org/en/william-adolphe-bouguereau/dante-and-virgil-1850]

The Flaying of Marsyas by Titian https://www.wikiart.org/en/titian/the-flaying-of-marsyas-1576

Anatomical Pieces | Théodore Géricault

Gallowgate Lard by Ken Currie

BLACK GOOEY UNIVERSE by american artist

https://www.bryancharnley.info/

https://thevaultoftheatomicspaceage.tumblr.com/

https://americanartist.us/

Mark Wigley: Anarchitecture 101.5--Cutting Matta-Clark (September 27, 2017) https://www.youtube.com/watch?v=zvrlCmo_Mnc

How to Develop Film with Beer by Vincent Moschetti https://petapixel.com/2017/03/15/st-patricks-photo-tip-develop-film-beer/

The House That Ludwig Built https://www.thelondonlist.com/culture/wittgenstein-house

"Mourning Sickness", February 2014 by Kia LaBeija

Kia LaBeija’s Eleven, 2015.

William Utermohlen https://www.williamutermohlen.com/

PRINCIPLES OF ANARCHITECTURE https://alienistmanifesto.wordpress.com/2019/03/01/principles-of-anarchitecture/ https://alienistmanifesto.wordpress.com/wp-content/uploads/2019/03/principles-of-anarchitecture_interior-ministry_2019-book-2.pdf

Digital Constructivism by Stane Jagodič https://stane-jagodic.com/Digital-Constructivism

https://www.juliahetta.com/

Carrie Mae Weems https://www.carriemaeweems.net/

https://pinouts.org/

https://www.nationalgalleries.org/search

Yildiz Moran https://www.yildizmoran.com.tr/

Lauren Tepfer http://www.laurentepfer.com/

https://www.nvardyerkanian.com/

https://alecsoth.com/photography/

https://www.frrr.dk/

https://www.mattstuart.com/

https://joeredski.com/

https://www.jaspervandenende.com/

https://arnoldnewman.com/index.html

http://www.asharmitage.com/

https://www.elliotterwitt.com/

https://irvingpenn.org/

https://www.yajisuke.net/

https://rinkokawauchi.com/en/

Michiko Kon https://www.pgi.ac/en/

Rashod Taylor https://www.rashodtaylor.com/

Tobia Montanari https://www.tobiamontanari.com/

https://www.secondname.agency/

http://www.daniel-arnold.org/

https://whentosaynothing.com/

https://www.michaelwriston.com/

https://www.davidlachapelle.com/

https://www.timwalkerphotography.com/

https://siegfried-hansen.de/

Faizal Westcott https://faizalwestcott.com/

https://www.maryellenmark.com/

http://www.alexeytitarenko.com/

https://www.delotbinierephotography.com/

https://mashaivashintsova.com/

Désirée Dolron https://www.desireedolron.com/

https://jaspervdj.be/photos.html

gemini, web, etc.

https://thewebisfucked.com/

The rise and fall of the Gopher protocol by Tim Gihring

web3 is a stupid idea by

web3 is not decentralization

Keep the web free, say no to Web3

The Gemini protocol seen by this HTTP client person by Daniel Stenberg https://daniel.haxx.se/blog/2023/05/28/the-gemini-protocol-seen-by-this-http-client-person/

In solidarity with Library Genesis and Sci-Hub https://custodians.online/

https://web0.small-web.org/

https://gemlog.blue/

blogs, etc.

Laboria Cuboniks | xenofeminism

ԶՕՏ | քննական հարթակ

https://esoteric.codes/

ՀԱՅԿԱԿԱՆ ԱՐԴԻՈՒԹՅՈՒՆՆԵՐԻ ՈՒՍՈՒՄՆԱՍԻՐՄԱՆ ՆԱԽԱԳԻԾ https://modernities.am/

https://jaspervdj.be/

literature, essays, philosophy

Baudrillard as Post-Marxist @PlasticPills by Pill Pod Philosophy & Critical Theory Podcast

Paulrillard: reading Paul though Baudrillard by Mike Grimshaw

Simulation and Hyperreality: Misconceptions about Baudrillard (Ft. @TheoryPhilosophy by 1Dime Radio

Baudrillard and the Forgetting of Death as a Challenge by Dr. Ahmet Dağ

Simulation, Simulacra and Solaris by Haladyn, Julian Jason and Jordan, Miriam

ICONOGRAPHY AND POSTMODERNITY by Steven Grimwood

From the Subject of Desire to the Object of Seduction: Image – Imagination – Imaginary by Christoph Wulf

The Matrix Decoded: Le Nouvel Observateur Interview With Jean Baudrillard

Տրամաբանա-փիլիսոփայական տրակտակ (Tractatus logico-philosophicus) (հատվածներ). Լյուդվիգ Վիտգենշտայն

ՈՒԽՏԻ ՄԻԱԲԱՆՈՒԹՅՈՒՆԸ, կամ կոլեկտիվ ներկայության պարադոքսները. Աշոտ Ոսկանյան

Four puzzling paragraphs: Frege on ‘≡’ and ‘=. María de Ponte, Kepa Korta and John Perry

Did Frege Believe Frege’s Principle? by FRANCIS JEFFRY PELLETIER

On sense and reference by Gottlob Frege

Homo Trickster կամ էսթետիզմի ծուղակները. Աշոտ Ոսկանյան

Պասկալ. Մաքս Պիկարդ | Արա Գուրզադյան

Գաղափարների մասին ընդհանրապես. Իմմանուել Կանտ

Mark Fisher: The Slow Cancellation Of The Future | lecture

Ջոն Դրայդեն. Հատվածներ «Օվիդիուսի նամակների նախաբանից»

Debate | Noam Chomsky & Michel Foucault - On human nature

Սա ծխամորճ չէ. Միշել Ֆուկո

Եղիշե Չարենց

Why Baudrillard Hated the Matrix | And why he was wrong

https://www.lacan.com/

Slavoj Zizek: NO SEX, PLEASE, WE'RE POST-HUMAN!

Հայոց արդիականացման պարադոքսներն ու սովորականությունը. տուն-տիեզերքի եւ օջախի մարտահրավերները. Վարդան Ազատյան | նախաբան

Տեսողության սխրանքը. Սուզան Զոնթագ | photobio

Virginia Woolf’s voice, 1937 – "Craftsmanship" (with the closing lines), BBC broadcast / subtitled

անկախ գրադարանների ցանց

Billy-Ray Belcourt

https://arar.sci.am/dlibra

https://playaudiobooks.com/

https://cdaudiobook.com/

https://bookaudiobooks.com/

https://www.bbc.co.uk/sounds/category/audiobooks

https://www.graphicaudiointernational.net/

https://primeaudiobook.com/

https://typeaudiobooks.com/

http://honedieliebende.blogspot.com/

https://cdaudiobook.com/

https://stephenkingaudiobooks.club/

Being -- Thinking -- Writing Jean Baudrillard by Rachel K. Ward and Jeremy Fernando

Star Trek into Socialism: Or Who Deserves the Future | Literate Machine

podcasts

https://www.philosophizethis.org/podcasts

https://ladiscussion.wordpress.com/

graphics

Rome in 3D

music

A computational lens into how music characterizes genre in film by Benjamin MaID1, Timothy Greer1, Dillon Knox, Shrikanth Narayanan

Mauceri, Frank X. 1997. From Experimental Music to Musical Experiment

Functionally Generating Music Structures with Prefix Trees by Erlend Kilvik Hoff https://ntnuopen.ntnu.no/ntnu-xmlui/bitstream/handle/11250/2787894/no.ntnu:inspera:76427839:20996928.pdf?sequence=1

Casey Reas: Form + Code in Design, Art, and Architecture: A guide to Computational Aesthetics

Designing Sound by Andy Farnell (Author)

Rhyme and Reason: An Introduction to Minimalist Syntax by Juan Uriagereka, Massimo Piatelli-Palmarini

Formalized Music: Thought and Mathematics in Composition by Iannis Xenakis

Language-Based Music: Cognition and Computation by Jordan Alexander Ackerman https://escholarship.org/uc/item/8w69z3bt

Jacob, Bruce L. (1996), Algorithmic composition as a model of creativity http://www.ee.umd.edu/~blj/algorithmic_composition/algorithmicmodel.html

Alpern, Adam (1995), Techniques for algorithmic composition of music. http://alum.hampshire.edu/~adaF92/algocomp/algocomp95.html. Hampshire College

Berger, Jonathan (2004), Who cares if it listens? An essay on creativity, expectations, and computational modeling of listening to music. In Virtual Music: Computer Synthesis of Musical Style. David Cope. MIT Press. 584 pp.

Burns, Kristine, H. (1997), Algorithmic composition, a definition. http://music.dartmouth.edu/~wowem/hardware/algorithmdefinition.html. Florida International University.

music & programming languages

Alda. text-based programming language for music composition code

Oz programming language A History of the Oz Multiparadigm Language

Csound. audio programming language code

ChucK

Making music with text[ure] | Alex McLean

https://github.com/truj/midica

music papers

Evolutionary Computation for Computer Music by Sjaak J ̈obses http://sonology.org/wp-content/uploads/2019/10/ECforCM-SJob-FINAL.pdf

A functional model of jazz improvisation by Donya Quick, Kelland Thomas

GGA-MG: Generative Genetic Algorithm for Music Generation by Majid Farzaneh. Rahil Mahdian Toroghi

books

Shultis, Christopher | Silencing the Sounded Self: John Cage and the American Experimental Tradition

resources

https://www.rosegardenmusic.com/

https://puredata.info/

https://en.wikipedia.org/wiki/MUSIC-N

http://www.algorithmiccomposer.com/

https://algocomp.blogspot.com/

Real Time Interactive Music in Haskell https://www.youtube.com/watch?v=9xfOslqAz7U

Composing (Music) in Haskell - Stuart Popejoy https://youtu.be/Jmw6LLNQQfs

Making Algorithmic Music https://youtu.be/9Fg54XAr044

midi

Understanding MIDI: A Painless Tutorial on Midi Format by H.M. de Oliveira, R.C. de Oliveira

euterpea

Euterpea code | hsom code | euterpea

The Haskell School of Music by Paul Hudak

Making Music with Haskell From Scratch. Tsoding | video code

Music, Haskell... and Westeros

euterpea sandbox

Real-time interactive music in Haskell by Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort

Live music programming in Haskell by Henning Thielemann

Drew Krause: Introduction to Algorithmic Composition

Making Algorithmic Music with Euterpea (Keynote) by Donya Quick

A sensitivity analysis of the MUSIC algorithm by B. Friedlander

tools, resources

https://handy.computer/

https://www.donyaquick.com/

https://hackage.haskell.org/package/hmt

https://github.com/donya/Kulitta/

The Yale Haskell Group

http://super-fluid.github.io/heqet/

https://github.com/tkuriyama/hsom

Timidity

https://github.com/abstractmachines/algorithm-music-transposition

Tidal Tidal Practice by Left Adjoint

https://wiki.haskell.org/Haskore

https://hackage.haskell.org/packages/tag/sound

https://music-suite.github.io/docs/ref/#music-suite

https://patchstorage.com/

https://github.com/music-suite/music-suite

https://lilypond.org/

http://mozart2.org/

https://github.com/mozart

https://csound.com/

https://tidalcycles.org/

https://supercollider.github.io/

https://faust.grame.fr/

http://overtone.github.io/

books, papers, etc.

Generative Jazz by Donya Quick

Programming for Musicians and Digital Artists: Creating music with ChucK by Ajay Kapur, Perry R. Cook), Spencer Salazar, Ge Wang

photography

Automatic exposure algorithms for digital photography by Jarosław Bernacki

lisp

Lisp: Good News, Bad News, How to Win Big by Richard P. Gabriel abstract

projects

https://github.com/robert-strandh/SICL

people

Robert Strandh’s research

The Feynman Lectures

oberon

The Programming Language Oberon-2 by H. Mössenböck, N. Wirth

Oberon-2, a hi-performance alternative to C++ by Günter Dotzel

ActiveOberon based operating system (a2 aka aos aka Bluebottle OS)

The LLVM-based Modula-2 compiler

Wirth, N. (1977). Modula: A language for modular multiprogramming. Software: Practice and Experience

Oberon – The Overlooked Jewel by Michael Franz

Project Oberon. The Design of an Operating System, a Compiler, and a Computer by Niklaus Wirth, Jürg Gutknecht

The Oberon+ Programming Language

https://oberon.org/en

Oberon RTS. Embedded Oberon for Real-time Systems

The ModulaTor. Oberon-2 and Modula-2 Technical Publication

Adding Concurrency to the Oberon System

Mostly Oberon by R. S. Doiel

https://modula3.github.io/

Object Oberon. An object-oriented extension of Oberon by Mössenböck, Hanspeter; Templ, Josef; Griesemer, Robert

Modular Programming Versus Object Oriented Programming (The Good, The Bad and the Ugly) by Stéphane Richard (Mystikshadows)

Less is more. Why Oberon beats mainstream in complex applications by F V Tkachov

Why Not Oberon? | StackSmith

Do the Fish Really Need Remote Control? A Proposal for Self-Active Objects in Oberon by Jürg Gutknecht

The Circumstances in which Modular Programming becomes the Favor Choice by Novice Programmers by Ilana Lavy, Rashkovits Rami

Oberon System Implemented on a Low-Cost FPGA Board - Papers We Love #011

Interview with Niklaus Wirth | Michael Holzheu

Niklaus Wirth — a Pioneer of Computer Science by Gustav Pomberger, Hanspeter Mössenböck, Peter Rechenberg

Emulator for the Oberon RISC machine

rochus-keller /Oberon

Oberon parser, code model & browser, compiler and IDE with debugger, and an implementation of the Oberon+ programming language

Oberon/Bibliography

Catalog of resources related with Oberon programming language

(https://people.inf.ethz.ch/wirth/Oberon/Oberon.ARM.Compiler.pdf)

projects

Miniflux | minimalist and opinionated feed reader

https://sr.ht/~lioploum/

openring | A webring for static site generators

Collection of microcontroller projects https://github.com/aykevl/things

https://github.com/io-core/qemu-risc6

System building tools for the Project Oberon 2013 and Extended Oberon operating systems https://github.com/andreaspirklbauer/Oberon-building-tools

https://swtch.com/

https://0.30000000000000004.com/

https://512kb.club/

https://www.abduct.com/

https://github.com/dspinellis

https://github.com/dspinellis/unix-history-repo

https://bellard.org/

https://karthikkaranth.me/art/

https://everynoise.com/engenremap.html

https://10kb.neocities.org/

https://caffeine.wiki/

https://niconiconi.neocities.org/

https://github.com/josStorer/selfhostedAI

https://github.com/KoboldAI/KoboldAI-Client

Carpalx - keyboard layout optimizer https://mk.bcgsc.ca/carpalx/

Ronin | Experimental Graphics Terminal code

Light Pattern

system

https://diveintosystems.org/

https://programmingdesignsystems.com/introduction/

podcasts

ANTIC The Atari 8-bit Podcast by Randy Kindig, Kay Savetz, Brad Arnold

Language Therapy with Dr. K

Better Fuji Photos by John Peltier

https://anarchitecture.podbean.com/

https://whyarecomputers.com/

https://notrelated.xyz/ | Not Related! A Big-Braned Podcast

Codepunk - Programming, Technology, and the Digital Lifestyle

https://www.artistsandhackers.org/Community-Memory

https://99percentinvisible.org/

https://overthinkpodcast.com/

programming books & blogs

https://en.algorithmica.org/

https://bartoszmilewski.com/

https://existentialtype.wordpress.com/

Daniel Winograd‐Cort https://www.danwc.com/

https://www.dreamsongs.com/index.html

xmpp

https://libervia.org/

Libervia Components: XMPP

esoteric languages

TMG

Rabbit: A compiler for Scheme

Newsqueak: A Language for Communicating with Mice by Rob Pike

Chialisp | based on Lisp that is used on the Chia blockchain to dictate how and when coins can be spent

The Limbo Programming Language by Dennis M. Ritchie

Alef User’s Guide by Bob Flandrena

Alef Language Reference Manual Phil Winterbottom

Vale

Ale | Lisp Environment

Cyclone | safe dialect of C

type theory, language design

Linear types can change the world. Philip Wadler

Homotopy Type Theory: Vladimir Voevodsky - Computerphile

Benjamin C. Pierce

Luca Cardelli

papers, videos

Spin | Verifying Multi-threaded Software

Computer Science ∩ Mathematics (Type Theory) - Computerphile

Assigning meanings to programs by Robert W. Floyd

On the Expressive Power of Programming Languages by Matthias Felleisen

math

Fixed-point theorems and economic analysis by Herbert E. Scarf

Frege’s Theorem and Foundations for Arithmetic

Compositionality: its historic context by Theo M.V. Janssen

On the anti-mechanist arguments based on Godel's theorem by Stanislaw Krajewski

category theory

Monads in Category Theory for Laymen by Andy Shiue

Monadic Parsing in Haskell by Graham Hutton, Erik Meijer

Category Theory in Life by Eugenia Cheng

A Categorical View of Computational Effects by Emily Riehl

Monads in Haskell and Category Theory by Samuel Grahn

Applied Category Theory Monads and Haskell by Duarte Maia

Category Theory for the Working Hacker by Philip Wadler

Category Theory by Tom LaGatta

lambda calculus

Intro to hacking with the lambda calculus by L Rudolf L

esoteric.codes

Null Programs and the Uninscribed

Unnecessary and Kallisti: Purely Conceptual Languages

What Programming Language Would Yoko Ono Create? by 21F05

Checkout by 15D06

Suicide Linux | 18C08

c0d3.Attorney | 18N12

Make Your Hard Drive Infinite With These Three File Systems | 20L02

On tokens & vocabulary: AAAAAAAAAAAAAA!!!! vs Ook! | 14S13

Esoprogramming and Computational Idealism | 20M00

Open and Shut | 20G13 code

projects

Oou: The Insane Language | 16D00

in:verse | 20N00 editor

Gottlob: Write Code in Frege's Concept Notation | 20G03

Chef and the Aesthetics of Multicoding | 20E00

Interview with 100 Rabbits | 21C07

ai papers

Concepts of logical AI by John McCarthy

Notes on Self-Awareness by John McCarthy

Towards a Mathematical Science of Computation by J. McCarthy

Programs with Common Sense by John McCarthy

SIMPLE DETERMINISTIC FREE WILL by John McCarthy

SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTIFICIAL INTELLIGENCE by John McCarthy and Patrick J. Hayes

FREE WILL—EVEN FOR ROBOTS by John McCarthy

esoteric languages, formal languages, etc.

Zonnon Language

Nial Nial | APL wiki

io

Address programming language syntax example talk

Communicating Sequential Processes by C. A. R. Hoare

AMPL (A Mathematical Programming Language)

Programming Computable Functions

Elephant 2000: A Programming Language Based on Speech Acts | John McCarthy

Almost Perfect Artifacts Improve only in Small Ways: APL is more French than English by Alan J. Perlis

The Implementation of Newsqueak by Rob Pike

Kitten

The Hare programming language

Piet

Forth

esoteric.codes

verification of programs, proving

TLA+

LSTS

FStar

Lean Prover tutorial

Verifying Haskell Programs Using Constructive Type Theory by Andreas Abel Marcin Benke Ana Bove John Hughes Ulf Norell

(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler

Comparison of Two Theorem Provers: Isabelle/HOL and Coq by Artem Yushkovskiy

category theory

Category Theory: an abstract setting for analogy and comparison by R. Brown and T.Porter

resources, books

Category Theory by Julia Goedecke

The interaction between category theory and set theory by Andreas Blass

parser

Which Parsing Approach? by Laurence Tratt

Parsing With Haskell (Part 1): Lexing With Alex by Heitor Toledo Lassarote de Paula

Parsing With Haskell (Part 2): Parsing With Happy by Heitor Toledo Lassarote de Paula

megaparsec. tutorial

Attention Is All You Need by Ashish Vaswani

Faster and Smaller N -Gram Language Models by Adam Pauls Dan Klein

drawing

Chommang_drawing

AKIHITO YOSHITOMI

https://www.interstice.cloud/

https://github.com/Acly/krita-ai-diffusion

https://docs.krita.org/en/resources_page.html#id2

firmware

From Zero to main(): How to Write a Bootloader from Scratch by François Baldassari

Learning GCC Linker Scripts Part 4

Blinky To Bootloader: Bare Metal Programming Series

Everything You Never Wanted To Know About Linker Script

fashion

https://www.enfantsrichesdeprimes.com/archive

other

https://literatemachine.com/

animation tools

https://www.mixamo.com/#/

https://www.blenderkit.com/

https://www.deepmotion.com/doc/animate-3d

https://free3d.com/

animation movies

https://www.taeetimee.com/

sewing

https://www.evelynwood.com.au/

visit

new york

marina abramovic museum/workshop

paris

https://fondationazzedinealaia.org/en/

entertainment

https://consumed.today/

https://www.timeout.com/