Rust: A unique perspective
"However, there is another way to explain Rust. This alternate story focuses on unique versus shared access to values in memory. I believe this version is useful for understanding why various checks exist and how they provide memory safety."
rust  programming  internals 
13 days ago
On Rocks and Sand | Optimizing Postgres Column Order
When working with database capacity planning, there are a lot of variables to consider, and Postgres is no different in this regard. One of the elements which requires management is storage. However, there’s an aspect of storage that escapes inspection almost without exception, and it’s hiding in the shadows between the columns themselves.
database  optimization  performance  postgres  internals  tips 
23 days ago
Linux Performance Analysis in 60,000 Milliseconds – Netflix TechBlog – Medium
You log in to a Linux server with a performance issue: what do you check in the first minute?
debug  devops  linux  performance  netflix 
25 days ago
Exploring Query Locks in Postgres - Big elephants
Understanding query locking is key to using postgres concurrently. So let’s look at an example to learn more about how locking works and how to see what’s going on within your database.
postgres  internals  locks  performance  concurrency 
25 days ago
Neural Networks, Manifolds, and Topology -- colah's blog
However, there remain a number of concerns about them. One is that it can be quite challenging to understand what a neural network is really doing. If one trains it well, it achieves high quality results, but it is challenging to understand how it is doing so. If the network fails, it is hard to understand what went wrong.
machinelearning  math  topology  visualization  deep.learning  theory 
25 days ago
Adrian Sampson: LLVM for Grad Students
This is an introduction to doing research with the LLVM compiler infrastructure. It should be enough for a grad student to go from mostly uninterested in compilers to excited to use LLVM to do great work.
llvm  intro  programming  languages  lowlevel  compiler 
25 days ago
Introduction · Linux Inside
A book-in-progress about the linux kernel and its insides.
book  kernel  linux  internals 
25 days ago
Moonforth — Tinker with an interactive DCPU-16 Forth
This is a detailed interactive guide to building a Forth for an unusual architecture, the DCPU-16.
compiler  forth  language  tutorial  code  moonforth  dcpu-16  github 
25 days ago
Understanding Rust Lifetimes – NEAR Protocol – Medium
"in case of Rust it is more safety and better optimizations — you feel encouraged to master it but fail because it is not exactly intuitive and the formal rules are hard to find."
rust  programming  internals 
6 weeks ago
aiortc — aiortc documentation
aiortc is a library for Web Real-Time Communication (WebRTC) and Object Real-Time Communication (ORTC) in Python. It is built on top of asyncio, Python’s standard asynchronous I/O framework.
webrtc  python  opensource  networking  webdev 
october 2018
A New Way to look at Networking (2006) - YouTube
"Van Jacobson is a Research Fellow at PARC. Prior to that he was Chief Scientist and co-founder of Packet Design. Prior to that he was Chief Scientist at Cisco. Prior to that he was head of the Network Research group at Lawrence Berkeley National Laboratory. He's been studying networking since 1969. He still hopes that someday something will start to make sense."
networking  youtube  video  google.talk  2006  talk 
august 2018
Earley Parsing Explained
"Earley parsers are among the most general parsers out there. They can parse any context free language without restriction, and can even be extended towards context sensitivity. They are reasonably fast on most practical grammars, and are easy to implement (the core algorithms take less than 200 lines of code)."

"nce you have a successful parse, extracting the tree from it is a little bit like pulling teeth. You have to perform searches on the Early set data, and deal with ambiguities at that point."
algorithms  parsers  parsing  programming  intro 
july 2018
275A, Notes 0: Foundations of probability theory | What's new
"Starting this week, I will be teaching an introductory graduate course (Math 275A) on probability theory here at UCLA. While I find myself using probabilistic methods routinely nowadays in my research (for instance, the probabilistic concept of Shannon entropy played a crucial role in my recent paper on the Chowla and Elliott conjectures, and random multiplicative functions similarly played a central role in the paper on the Erdos discrepancy problem), this will actually be the first time I will be teaching a course on probability itself (although I did give a course on random matrix theory some years ago that presumed familiarity with graduate-level probability theory)."
math  probability  statistics  intro  terrytao  blog  post 
july 2018
RFC 7719 - DNS Terminology
The DNS is defined in literally dozens of different RFCs.
The terminology used by implementers and developers of DNS protocols, and by operators of DNS systems, has sometimes changed in the decades since the DNS was first defined. This document gives current definitions for many of the terms used in the DNS in a single document.
dns  rfc  networking 
june 2018
Geometric Algebra / Observable
Nice big-picture intro (exterior algebra, differential forms, exterior derivative, cohomology, dirac matrices)
math  intro  geometric.algebra  observable  interactive 
june 2018
lfittl/libpg_query: C library for accessing the PostgreSQL parser outside of the server environment
C library for accessing the PostgreSQL parser outside of the server.

This library uses the actual PostgreSQL server source to parse SQL queries and return the internal PostgreSQL parse tree.
postgres  internals  library  github  c  programming  sql 
june 2018
The Mathematical Surprises of Triangles, Squares and Pentagons - Scientific American Blog Network
On his 101st birthday, Martin Gardner's legacy continues to inspire new breakthroughs
2015  martin.gardner  tiles  math 
may 2018
Git from the bottom up
In my pursuit to understand Git, it’s been helpful for me to understand it from the bottom up — rather than look at it only in terms of its high-level commands. And since Git is so beautifully simple when viewed this way, I thought others might be interested to
read what I’ve found, and perhaps avoid the pain I went through finding it.
2009  git  book  pdf  intro 
may 2018
Anatomy of a system call, part 1 [LWN.net]
"System calls are the primary mechanism by which user-space programs interact with the Linux kernel. Given their importance, it's not surprising to discover that the kernel includes a wide variety of mechanisms to ensure that system calls can be implemented generically across architectures, and can be made available to user space in an efficient and consistent way."
c  development  linux  kernel  lowlevel  programming 
may 2018
Meta-X86: CPU Cache Essentials
"This post came to my mind after watching the excellent presentation of Scott Meyers called "CPU Caches and Why You care". This post will try to summarize the ideas of the presentation so if you have some spare time you can just watch the presentation on video."
cpu  lowlevel  intro  programming 
may 2018
Decades-Old Graph Problem Yields to Amateur Mathematician | Quanta Magazine
"By making the first progress on the “chromatic number of the plane” problem in over 60 years, an anti-aging pundit has achieved mathematical immortality." hn: https://news.ycombinator.com/item?id=16860074
math  graph.theory  biology  aubrey.de.grey  quanta  intro  inspiration 
april 2018
>> Compare this to number theory, where every interesting extant problem appears... | Hacker News
I don't often come here to comment but as someone in progress on an original research masters in number theory I can say this is utter bullshit. I assume your 'interesting' qualification (somehow) excludes obvious candidates like Landau's problems [0]. Some examples. I was taught about the ABC conjecture as an undergrad. You can easily teach the Brun sieve [1] method of working out that the sum of the reciprocal of the twin primes converges...
numbertheory  math  hn  discussion  intro  overview  interesting  inspiration 
april 2018
Companion webpage to the book "Mathematics for Machine Learning"
We are in the process of writing a book on Mathematics for Machine Learning that motivates people to learn mathematical concepts. The book is not intended to cover advanced machine learning techniques because there are already plenty of books doing this. Instead, we aim to provide the necessary mathematical skills to read those other books.
ml  book  overview  math 
april 2018
How we upgraded 1500 Postgres clusters to PG 10
Upgrade approximately 1500 Postgres database clusters from version 9.3 to 10, in 6 data centres, with sizes ranging from ~1GB to 500+GB within a downtime window of 15 minutes (with a 30 minute outside maximum).
example  guide  postgres  db 
april 2018
« earlier      
2009 2010 2012 3d academia advice ai algebra algorithm algorithms amazon analysis animation api architecture art article assembly beginner biology blog book books browser c c++ cache career cheatsheet classic clojure code collaboration college color comic comics comment competition compiler complexity computer computerscience concurrency connectportal course creativity cs css data database datastructure db design development devops discussion django documentary documentation ebook education electronics engineering english essay example examples experience explanation feynman filetype:pdf flickr fp framework free functional funny future game gamedev games garfield github google graphics guide hardware haskell history hn hr hs html http humor ibm illustration inspiration interactive interesting internals internet interview intro introduction java javascript kernel language languages latex learning lecture lectures lego library linguistics linux lisp list literature lowlevel machinelearning math mathematics media:document memory mit ml motivation music network networking notes ocaml ocw online open opensource optimization os overview own paper patterns pdf performance pg phd philosophy photo photography physics plt poem poetry post postgres presentation probability programming pseudoscience psychology python quantum reading reddit reference research resources rest review richhickey rust scheme science scott.aaronson security sicp slides social software sql stackexchange stackoverflow standards stanford statistics sysadmin talk tcs teaching technology ted theory tips tool tools topcoder toread tutorial type.theory typography ui university unix usability video videos vim vimeo visualization web webdesign webdev wiki wikipedia writing xhtml youtube

Copy this bookmark: