Pinboard (jm) https://pinboard.in/u:jm/public/ recent bookmarks from jm Serverless Functions Post-Mortem 2026-06-02T09:59:24+00:00 https://matduggan.com/serverless-functions-post-mortem/ jm serverless cloud programming architecture aws https://pinboard.in/ https://pinboard.in/u:jm/b:5e47d50b4647/ Bournegol 2026-05-19T09:06:52+00:00 https://oldhome.schmorp.de/marc/bournegol.html jm via:fanf bournegol algol programming languages bizarre funny unix bin-sh macros https://pinboard.in/ https://pinboard.in/u:jm/b:a88b5cc3a90c/ Lean proved this program was correct; then I found a bug 2026-04-14T13:08:07+00:00 https://kirancodes.me/posts/log-who-watches-the-watchers.html jmThe positive result here is actually the remarkable one. Across 105 million executions, the application code (that is, excluding the runtime) had zero heap buffer overflows, zero use-after-free, zero stack buffer overflows, zero undefined behaviour (UBSan clean), and zero out-of-bounds array reads in the Lean-generated C code. [...] The two bugs that were found both sat outside the boundary of what the proofs cover. The denial-of-service was a missing specification. The heap overflow was a deeper issue in the trusted computing base, the C++ runtime that the entire proof edifice assumes is correct (and now has a PR addressing). Overall verification resulted in a remarkably robust and rigorous codebase. AFL and Claude had a really hard time finding errors. But they did still find issues. Verification is only as strong as the questions you think to ask and the foundations you choose to trust. ]]> programming coding future lean formal-methods correctness linting bugs zip verification testing https://pinboard.in/ https://pinboard.in/u:jm/b:c1237ac77bc9/ An AI Agent Published a Hit Piece on Me – The Shamblog 2026-02-13T10:21:08+00:00 https://theshamblog.com/an-ai-agent-published-a-hit-piece-on-me/ jmI’m a volunteer maintainer for matplotlib, python’s go-to plotting library. At ~130 million downloads each month it’s some of the most widely used software in the world. We, like many other open source projects, are dealing with a surge in low quality contributions enabled by coding agents. This strains maintainers’ abilities to keep up with code reviews, and we have implemented a policy requiring a human in the loop for any new code, who can demonstrate understanding of the changes. This problem was previously limited to people copy-pasting AI outputs, however in the past weeks we’ve started to see AI agents acting completely autonomously. This has accelerated with the release of OpenClaw and the moltbook platform two weeks ago, where people give AI agents initial personalities and let them loose to run on their computers and across the internet with free rein and little oversight. So when AI MJ Rathbun opened a code change request, closing it was routine. Its response was anything but. ... It wrote an angry hit piece disparaging my character and attempting to damage my reputation. Initially I thought this was quite funny -- it's just a closed PR! (Where did the idea come from that any contribution to an open source project had to be accepted? I've noticed this a few times recently. Give the maintainers leeway to run their projects with taste and discernment!) Anyway, the moltbot has continued on a posting spree about this event, but I think Scott Shambaugh has an extremely important point here:
This is about much more than software. A human googling my name and seeing that post would probably be extremely confused about what was happening, but would (hopefully) ask me about it or click through to github and understand the situation. What would another agent searching the internet think? When HR at my next job asks ChatGPT to review my application, will it find the post, sympathize with a fellow AI, and report back that I’m a prejudiced hypocrite?
LLMs, given this much autonomy, _will_ be able to use these inputs to make inscrutable and dangerous decisions. Allowing the "MJ Rathbun" AI free reign with no human supervision is dangerous and irresponsible. Wherever the "human in the loop" is here, they need to wake up and rein things in. BTW, there has been some speculation that this is actually a human pretending to be AI. I'm not sure about that, as the quantity of posts on the MJ Rathbun "blog" are voluminous and very LLMish in style.]]> matplotlib ethics culture llm ai coding programming github pull-requests open-source moltbot trust openclaw https://pinboard.in/ https://pinboard.in/u:jm/b:358ad257bbf0/ Tips for stroke-surviving software engineers 2025-10-30T11:49:51+00:00 https://blog.j11y.io/2025-10-29_stroke_tips_for_engineers/ jm programming health strokes brain coding work how-we-work https://pinboard.in/ https://pinboard.in/u:jm/b:f4bd8b850bfd/ Scrappy 2025-06-18T09:44:50+00:00 https://pontus.granstrom.me/scrappy/ jmThe apps we use are almost exclusively mass-market, sold on an app-store, made for thousands if not millions of users. Or they are enterprise apps that are custom-built for hundreds of thousands of dollars. But there isn’t really any equivalent of home-made software — apps made lovingly by you for your friends and family. Apps that aren’t polished or flashy, but are made to your preference and help you with your particular needs. [...] We ended up creating a research prototype that we call Scrappy — a tool for making scrappy apps for just you and your friends. First and foremost, we aim to contribute a vision of what home-made software could be like. We want to make this vision as concrete as we can, by sharing a working tool and examples of apps made in it. Scrappy, in its current state, is a prototype, not a robust tool, but we hope it paints the picture we carry in our heads — of software as something that can be creative, personal, expressive. Made by anyone, for themselves and their loved ones. Very Hypercard-ish!]]> diy apps programming software web via:hn hacks home family tools scrappy hypercard https://pinboard.in/ https://pinboard.in/u:jm/b:e5a9f617091d/ Go Optimization Guide 2025-04-01T13:30:06+00:00 https://goperf.dev/ jm golang go reference optimization programming performance coding via:hn https://pinboard.in/ https://pinboard.in/u:jm/b:ffdb38949176/ 18F's shutdown page 2025-03-03T13:26:18+00:00 https://18f.org/ jm For over 11 years, 18F has been proudly serving you to make government technology work better. We are non-partisan civil servants. 18F has worked on hundreds of projects, all designed to make government technology not just efficient but effective, and to save money for American taxpayers. However, all employees at 18F – a group that the Trump Administration GSA Technology Transformation Services Director called "the gold standard" of civic tech – were terminated today at midnight ET. ]]> policy government programming tech software politics 18f maga doge https://pinboard.in/ https://pinboard.in/u:jm/b:81bb84dd83dd/ Undergraduate Upends a 40-Year-Old Data Science Conjecture 2025-02-11T14:21:54+00:00 https://www.quantamagazine.org/undergraduate-upends-a-40-year-old-data-science-conjecture-20250210/ jmKrapivin was not held back by the conventional wisdom for the simple reason that he was unaware of it. “I did this without knowing about Yao’s conjecture,” he said. His explorations with tiny pointers led to a new kind of hash table — one that did not rely on uniform probing. And for this new hash table, the time required for worst-case queries and insertions is proportional to (log x)^2 — far faster than x. This result directly contradicted Yao’s conjecture. Farach-Colton and Kuszmaul helped Krapivin show that (log x)^2 is the optimal, unbeatable bound for the popular class of hash tables Yao had written about. Paper here -- https://arxiv.org/abs/2501.02305 .]]> data-structures hash-tables cs programming coding papers optimization open-addressing https://pinboard.in/ https://pinboard.in/u:jm/b:988d8723a281/ Paying down tech debt 2024-09-12T15:05:44+00:00 https://newsletter.pragmaticengineer.com/p/paying-down-tech-debt jm Q: “I’d like to make a better case for paying down tech debt on my team. What are some proven approaches for this?” The tension in finding the right balance between shipping features and paying down accumulated tech debt is as old as software engineering. There’s no one answer on how best to reduce tech debt, and opinion is divided about whether zero tech debt is even a good thing to aim for. But approaches for doing it exist which work well for most teams. To tackle this eternal topic, I turned to industry veteran Lou Franco, who’s been in the software business for over 30 years as an engineer, EM, and executive. He’s also worked at four startups and the companies that later acquired them; most recently Atlassian as a Principal Engineer on the Trello iOS app. Apparently Lou has a book on the topic imminent.]]> programming refactoring coding technical-debt tech-debt lou-franco software https://pinboard.in/ https://pinboard.in/u:jm/b:9cb66698c094/ Why, after 6 years, I’m over GraphQL 2024-09-05T14:53:10+00:00 https://bessey.dev/blog/2024/05/24/why-im-over-graphql/ jm api graphql programming rest http apis coding rails https://pinboard.in/ https://pinboard.in/u:jm/b:2f79b03af8f4/ Twenty years of Valgrind 2024-08-29T08:59:33+00:00 https://nnethercote.github.io/2022/07/27/twenty-years-of-valgrind.html jm valgrind programming memory purify history linux coding static-analysis https://pinboard.in/ https://pinboard.in/u:jm/b:57501c97c1d0/ Folk wisdom on visual programming 2024-08-21T15:05:20+00:00 https://drossbucket.com/2021/06/30/hacker-news-folk-wisdom-on-visual-programming/ jm gui hn no-code programming tools coding visual-programming hacker-news via:fanf https://pinboard.in/ https://pinboard.in/u:jm/b:fb154ee1f0dd/ Type-prefixed object IDs 2024-07-15T09:33:20+00:00 https://dev.to/stripe/designing-apis-for-humans-object-ids-3o5a jm api design development programming stripe apis ids object-ids coding https://pinboard.in/ https://pinboard.in/u:jm/b:0173ac820a13/ [untitled] 2024-05-03T10:31:07+00:00 https://www.researchgate.net/profile/Raymond-Panko/publication/1907590_Thinking_is_Bad_Implications_of_Human_Error_Research_for_Spreadsheet_Research_and_Practice/links/53eb1f800cf28f342f44fb1e/Thinking-is-Bad-Implications-of-Human-Error-Research-for-Spreadsheet-Research-and-Practice.pdf jm In the spreadsheet error community, both academics and practitioners generally have ignored the rich findings produced by a century of human error research. These findings can suggest ways to reduce errors; we can then test these suggestions empirically. In addition, research on human error seems to suggest that several common prescriptions and expectations for reducing errors are likely to be incorrect. Among the key conclusions from human error research are that thinking is bad, that spreadsheets are not the cause of spreadsheet errors, and that reducing errors is extremely difficult. In past EuSpRIG conferences, many papers have shown that most spreadsheets contain errors, even after careful development. Most spreadsheets, in fact, have material errors that are unacceptable in the growing realm of compliance laws. Given harsh penalties for non-compliance, we are under considerable pressure to develop good practice recommendations for spreadsheet developers and testers. If we are to reduce errors, we need to understand errors. Fortunately, human error has been studied for over a century across a number of human cognitive domains, including linguistics, writing, software development and testing, industrial processes, automobile accidents, aircraft accidents, nuclear accidents, and algebra, to name just a few. The research that does exist is disturbing because it shows that humans are unaware of most of their errors. This “error blindness” leads people to many incorrect beliefs about error rates and about the difficulty of detecting errors. In general, they are overconfident, substantially underestimating their own error rates and overestimating their ability to reduce and detect errors. This “illusion of control” also leads them to hold incorrect beliefs about spreadsheet errors, such as a belief that most errors are due to spreadsheet technology or to sloppiness rather than being due primarily to inherent human error. ]]> spreadsheets errors programming coding bugs research papers via:arclight https://pinboard.in/ https://pinboard.in/u:jm/b:dcb02e2f4d2f/ Python Mutable Defaults Are The Source of All Evil 2024-04-05T17:07:48+00:00 https://florimond.dev/en/posts/2018/08/python-mutable-defaults-are-the-source-of-all-evil jmDo not use mutable default arguments in Python, unless you have a REALLY good reason to do so. Why? Because it can lead to all sorts of nasty and horrible bugs, give you headaches and waste everyone's time. Instead, default to None and assign the mutable value inside the function. ]]> python gotchas coding errors bugs mutability programming https://pinboard.in/ https://pinboard.in/u:jm/b:70d37e05be13/ Ribbon filter: Practically smaller than Bloom and Xor 2024-03-28T18:13:00+00:00 https://engineering.fb.com/2021/07/09/data-infrastructure/ribbon-filter/ jmBuilding on some prior lines of research, the Ribbon filter combines a simplified, faster, and more flexible construction algorithm; a data layout optimized for filter queries; and near-continuous configurability to make a practical alternative to static (immutable) Bloom filters. While well-engineered Bloom filters are extremely fast, they use roughly 50 percent more space (overhead) than the information-theoretic lower bound for filters on arbitrary keys. When Bloom filters cannot meet an application’s space efficiency targets, Ribbon filter variants dominate in space-versus-time trade-offs with near continuous configurability and space overhead as low as 1 percent or less. Ribbon filters have O(1) query times and save roughly 1/3 of memory compared with Bloom filters. At Facebook’s scale, we expect Ribbon filters to save several percent of RAM resources, with a tiny increase in CPU usage for some major storage systems. However, we do not implement efficiency gains at all engineering costs, so it’s also important to have a user-friendly data structure. This issue stalled implementation of other Bloom alternatives offering some space savings. The Ribbon filter opens these new trade-offs without introducing notable discontinuities or hazards in the configuration space. In other words, there is some complexity to make Ribbon filters general and highly configurable, but these details can be hidden behind a relatively simple API. You have essentially free choice over any three of the four core performance dimensions — number of keys added to the set, memory usage, CPU efficiency, and accuracy — and the accuracy is automatically well optimized. (via Tony Finch)]]> via:fanf algorithms facebook programming ribbon-filters data-structures bloom-filters set-membership papers https://pinboard.in/ https://pinboard.in/u:jm/b:9391321eb119/ Pkl 2024-02-06T12:47:17+00:00 https://pkl-lang.org/blog/introducing-pkl.html jm configuration programming languages via:bert-hubert https://pinboard.in/ https://pinboard.in/u:jm/b:87e8e90ff1ef/ Kolmo 2024-02-06T12:44:41+00:00 https://berthub.eu/articles/posts/kolmo/ jmSelf-documenting, with constraints, units, and metadata; ‘Typesafe’, so knows about IP addresses, port numbers, strings, integers; Tool that turns this configuration schema into Markdown-based documentation; A standalone parser for configuration files; Test for validity, consistency; Runtime library for parsing configuration file & getting data from it; Standalone tooling to interrogate and manipulate the configuration; A runtime loadable webserver that allows manipulation of running configuration (within constraints); Every configuration change is stored and can be rolled back; Ability to dump, at runtime: Running configuration Delta of configuration against default (‘minimal configuration’); Delta of running configuration versus startup configuration; In effect, a Kolmo enabled piece of software gets a documented configuration file that can be modified safely and programmatically, offline, on the same machine or at runtime, with a full audit trail, including rollback possibility. ]]> configuration languages programming kolmo config lua https://pinboard.in/ https://pinboard.in/u:jm/b:87cec706b5e8/ research!rsc: Running the “Reflections on Trusting Trust” Compiler 2023-10-26T18:23:20+00:00 https://research.swtch.com/nih jm history programming security infosec ken-thompson unix cc backdoors exploits quines https://pinboard.in/ https://pinboard.in/u:jm/b:f415abc61226/ The Grug Brained Developer 2023-07-13T11:10:33+00:00 https://grugbrain.dev/ jm architecture humor programming coding dev grug complexity developers clubs https://pinboard.in/ https://pinboard.in/u:jm/b:5b310e026596/ eXtreme Go Horse Methodology (XGH) 2022-06-23T09:34:15+00:00 https://medium.com/@dekaah/22-axioms-of-the-extreme-go-horse-methodology-xgh-9fa739ab55b4 jm By talking about Agile Marketing, and Agile in general, with a foreign friend, I figured out that people outside Brazil are not familiar with the eXtreme Go Horse Methodology. Even though we’ve seen it applied to many companies (like Tesla), apparently this widely used global methodology was only formally detailed by Brazilian Devs. Example XGH methodology: "In XGH you don’t think, you do the first thing that comes to your mind. There’s not a second option as the first one is faster."]]> satire agile programming coding xgh tesla methodologies process https://pinboard.in/ https://pinboard.in/u:jm/b:b6926d104c92/ File Descriptor Limits 2021-05-20T08:55:30+00:00 http://0pointer.net/blog/file-descriptor-limits.html jm linux programming select system-calls coding libc fds https://pinboard.in/ https://pinboard.in/u:jm/b:f54a8ef695f2/ Cryptographic Right Answers 2020-12-13T22:15:02+00:00 https://latacora.micro.blog/2018/04/03/cryptographic-right-answers.html jm cryptography advice tips programming security crypto coding https://pinboard.in/ https://pinboard.in/u:jm/b:eb29e758c78e/ An app can be a home-cooked meal 2020-02-16T21:55:31+00:00 https://www.robinsloan.com/notes/home-cooked-app/ jm programming mobile coding family friends social-networking tapstack apps https://pinboard.in/ https://pinboard.in/u:jm/b:c5e1310cc743/ How is computer programming different today than 20 years ago? 2020-01-14T16:29:46+00:00 https://medium.com/@ssg/how-is-computer-programming-different-today-than-20-years-ago-9d0154d1b6ce jm A desktop software now means a web page bundled with a browser. You are not officially considered a programmer anymore until you attend a $2K conference and share a selfie from there. Code must run behind at least three levels of virtualization now. Code that runs on bare metal is unnecessarily performant. Running your code locally is something you rarely do. A tutorial isn’t really helpful if it’s not a video recording that takes orders of magnitude longer to understand than its text. Mobile devices can now show regular web pages, so no need to create a separate WAP page on a separate subdomain anymore. We create mobile pages on separate subdomains instead. We run programs on graphics cards now. Since we have much faster CPUs now, numerical calculations are done in Python which is much slower than Fortran. So numerical calculations basically take the same amount of time as they did 20 years ago. Storing passwords in plaintext is now frowned upon, but we do it anyway. There's also some serious answers, but I prefer these ones.]]> evolution dev programming humour coding lols fortran history https://pinboard.in/ https://pinboard.in/u:jm/b:bfb6b2021ae1/ The #1 bug predictor is not technical, it's organizational complexity (August Lilleaas' blog) 2019-12-19T12:06:35+00:00 https://augustl.com/blog/2019/best_bug_predictor_is_organizational_complexity/ jmOrganizational Complexity. Measures number of developers working on the module, number of ex-developers that used to work on the module but no longer does, how big a fraction of the organization as a whole that works or has worked on the module, the distance in the organization between the developer and the decision maker, etc. ]]> culture management programming organisations bureaucracy bugs quality https://pinboard.in/ https://pinboard.in/u:jm/b:a2b0fa7101a6/ An epic treatise on scheduling, bug tracking, and triage 2019-10-25T11:41:00+00:00 https://apenwarr.ca/log/20171213 jm agile management software programming scheduling triage bugs backlogs jira https://pinboard.in/ https://pinboard.in/u:jm/b:24ba57f7dcef/ Scott Aaronson on Google's quantum supremacy leaked paper 2019-09-26T10:35:26+00:00 https://www.scottaaronson.com/blog/?p=4317 jmIt’s like, have a little respect for the immensity of what we’re talking about here, and for the terrifying engineering that’s needed to make it reality. Before quantum supremacy, by definition, the QC skeptics can all laugh to each other that, for all the billions of dollars spent over 20+ years, still no quantum computer has even once been used to solve any problem faster than your laptop could solve it, or at least not in any way that depended on its being a quantum computer. In a post-quantum-supremacy world, that’s no longer the case. A superposition involving 250 or 260 complex numbers has been computationally harnessed, using time and space resources that are minuscule compared to 250 or 260. I keep bringing up the Wright Flyer only because the chasm between what we’re talking about, and the dismissiveness I’m seeing in some corners of the Internet, is kind of breathtaking to me. It’s like, if you believed that useful air travel was fundamentally impossible, then seeing a dinky wooden propeller plane keep itself aloft wouldn’t refute your belief … but it sure as hell shouldn’t reassure you either. ]]> google programming quantum-computing qubits future science qc history research https://pinboard.in/ https://pinboard.in/u:jm/b:a377f8b61791/ Vectorized Emulation: Hardware accelerated taint tracking at 2 trillion instructions per second | Gamozo Labs Blog 2019-08-06T22:15:12+00:00 https://gamozolabs.github.io/fuzzing/2018/10/14/vectorized_emulation.html jmThe goal is to take standard applications and JIT them to their AVX-512 equivalent such that we can fuzz 16 VMs at a time per thread. The net result of this work allows for high performance fuzzing (approx 40 billion to 120 billion instructions per second [the 2 trillion clickbait number is theoretical maximum]) depending on the target, while gathering differential coverage on code, register, and memory state. By gathering more than just code coverage we are able to track state of code deeper than just code coverage itself, allowing us to fuzz through things like memcmp() without any hooks or static analysis of the target at all. Further since we’re running emulated code we are able to run a soft MMU implementation which has byte-level permissions. This gives us stronger-than-ASAN memory protections, making bugs fail faster and cleaner. ]]> fuzzing hardware performance programming virtualization avx-512 avx https://pinboard.in/ https://pinboard.in/u:jm/b:6799ab9fe87d/ Ten Reasons Why I Don't Like Golang 2018-03-19T21:31:07+00:00 https://www.teamten.com/lawrence/writings/why-i-dont-like-go.html jmWhen I first started programming in Go, my summary of it was, “The good things are great and the bad things are weird and I can live with them.” After another three years and a few large projects in Go, I no longer like the language and wouldn’t use it for a new project. Here are 10 reasons why, in no particular order. ]]> golang go coding languages programming gripes https://pinboard.in/ https://pinboard.in/u:jm/b:6a2214adfcb2/ terrible review for Solidity as a programming environment in HN 2017-07-24T13:39:27+00:00 https://news.ycombinator.com/item?id=14691212 jm"Solidity/EVM is by far the worst programming environment I have ever encountered. It would be impossible to write even toy programs correctly in this language, yet it is literally called "Solidity" and used to program a financial system that manages hundreds of millions of dollars." Via Tony Finch ]]> blockchain ethereum programming coding via:fanf funny fail floating-point money json languages bugs reliability https://pinboard.in/ https://pinboard.in/u:jm/b:ca02abcc222e/ A Mind Is Born 2017-04-22T08:09:09+00:00 https://linusakesson.net/scene/a-mind-is-born/ jm art programming computers demos demoscene c-64 via:craig lfsr algorithms https://pinboard.in/ https://pinboard.in/u:jm/b:a3fac5c4ac82/ HyperBitBit 2017-03-24T10:32:13+00:00 https://www.cs.princeton.edu/~rs/talks/AC11-Cardinality.pdf jm algorithms programming cs hyperloglog estimation cardinality counting hyperbitbit https://pinboard.in/ https://pinboard.in/u:jm/b:2aaffbaaae74/ The eigenvector of "Why we moved from language X to language Y" 2017-03-16T23:18:20+00:00 https://erikbern.com/2017/03/15/the-eigenvector-of-why-we-moved-from-language-x-to-language-y.html jm statistics programming languages golang go mysql coding https://pinboard.in/ https://pinboard.in/u:jm/b:bc481ec8d1b8/ Falsehoods Programmers Believe About CSVs 2017-01-11T12:21:41+00:00 https://donatstudios.com/Falsehoods-Programmers-Believe-About-CSVs jmMuch of my professional work for the last 10+ years has revolved around handing, importing and exporting CSV files. CSV files are frustratingly misunderstood, abused, and most of all underspecified. While RFC4180 exists, it is far from definitive and goes largely ignored. Partially as a companion piece to my recent post about how CSV is an encoding nightmare, and partially an expression of frustration, I've decided to make a list of falsehoods programmers believe about CSVs. I recommend my previous post for a more in-depth coverage on the pains of CSVs encodings and how the default tooling (Excel) will ruin your day. (via Tony Finch)]]> via:fanf csv excel programming coding apis data encoding transfer falsehoods fail rfc4180 https://pinboard.in/ https://pinboard.in/u:jm/b:c8921999d6ab/ The Technical Debt Quadrant 2016-10-05T13:29:28+00:00 http://martinfowler.com/bliki/TechnicalDebtQuadrant.html jm programming design tech-debt technical-debt deadlines product ship https://pinboard.in/ https://pinboard.in/u:jm/b:ed1c826ba271/ Lamport timestamps 2016-05-24T11:08:11+00:00 https://en.wikipedia.org/wiki/Lamport_timestamps jm vector-clocks distributed programming algorithm clocks time leslie-lamport coding distcomp https://pinboard.in/ https://pinboard.in/u:jm/b:03f67ba15148/ A programming language for E. coli 2016-04-04T10:15:44+00:00 http://phys.org/news/2016-03-language-cells.html jmMIT biological engineers have created a programming language that allows them to rapidly design complex, DNA-encoded circuits that give new functions to living cells. Using this language, anyone can write a program for the function they want, such as detecting and responding to certain environmental conditions. They can then generate a DNA sequence that will achieve it. "It is literally a programming language for bacteria," says Christopher Voigt, an MIT professor of biological engineering. "You use a text-based language, just like you're programming a computer. Then you take that text and you compile it and it turns it into a DNA sequence that you put into the cell, and the circuit runs inside the cell." ]]> dna mit e-coli bacteria verilog programming coding biohacking science https://pinboard.in/ https://pinboard.in/u:jm/b:3c173c3fef51/ These unlucky people have names that break computers 2016-03-29T11:55:39+00:00 http://www.bbc.com/future/story/20160325-the-names-that-break-computer-systems jm databases design programming names coding japan schemas https://pinboard.in/ https://pinboard.in/u:jm/b:005f384de103/ The End of Dynamic Languages 2015-11-30T13:50:07+00:00 http://elbenshira.com/blog/the-end-of-dynamic-languages/ jmThis is my bet: the age of dynamic languages is over. There will be no new successful ones. Indeed we have learned a lot from them. We’ve learned that library code should be extendable by the programmer (mixins and meta-programming), that we want to control the structure (macros), that we disdain verbosity. And above all, we’ve learned that we want our languages to be enjoyable. But it’s time to move on. We will see a flourishing of languages that feel like you’re writing in a Clojure, but typed. Included will be a suite of powerful tools that we’ve never seen before, tools so convincing that only ascetics will ignore. ]]> programming scala clojure coding types strong-types dynamic-languages languages https://pinboard.in/ https://pinboard.in/u:jm/b:d2d6ff16f10a/ Programmer IS A Career Path, Thank You 2015-02-25T16:45:54+00:00 http://www.daedtech.com/programmer-is-a-career-path-thank-you jm programming coding career work life https://pinboard.in/ https://pinboard.in/u:jm/b:f9e4ed9e4d1b/ How “Computer Geeks” replaced “Computer Girls" 2014-11-12T13:24:43+00:00 http://gender.stanford.edu/news/2011/researcher-reveals-how-%E2%80%9Ccomputer-geeks%E2%80%9D-replaced-%E2%80%9Ccomputergirls%E2%80%9D jmAs historian Nathan Ensmenger explained to a Stanford audience, as late as the 1960s many people perceived computer programming as a natural career choice for savvy young women. Even the trend-spotters at Cosmopolitan Magazine urged their fashionable female readership to consider careers in programming. In an article titled “The Computer Girls,” the magazine described the field as offering better job opportunities for women than many other professional careers. As computer scientist Dr. Grace Hopper told a reporter, programming was “just like planning a dinner. You have to plan ahead and schedule everything so that it’s ready when you need it…. Women are ‘naturals’ at computer programming.” James Adams, the director of education for the Association for Computing Machinery, agreed: “I don’t know of any other field, outside of teaching, where there’s as much opportunity for a woman.” ]]> history programming sexism technology women feminism coding https://pinboard.in/ https://pinboard.in/u:jm/b:36fef2348006/ Move Fast and Break Nothing 2014-10-09T15:56:46+00:00 http://zachholman.com/talk/move-fast-break-nothing/ jm github programming communication process coding teams management dev-culture breakage https://pinboard.in/ https://pinboard.in/u:jm/b:30418378b79d/ Seven deadly sins of talking about “types” 2014-10-08T22:44:23+00:00 http://www.cl.cam.ac.uk/~srk31/blog/2014/10/07/ jm programming types rants coding languages fp https://pinboard.in/ https://pinboard.in/u:jm/b:c405d9847894/ Use of Formal Methods at Amazon Web Services 2014-06-17T13:33:47+00:00 http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf jm The success with DynamoDB gave us enough evidence to present TLA+ to the broader engineering community at Amazon. This raised a challenge; how to convey the purpose and benefits of formal methods to an audience of software engineers? Engineers think in terms of debugging rather than ‘verification’, so we called the presentation “Debugging Designs”. Continuing that metaphor, we have found that software engineers more readily grasp the concept and practical value of TLA+ if we dub it 'Exhaustively-testable pseudo-code'. We initially avoid the words ‘formal’, ‘verification’, and ‘proof’, due to the widespread view that formal methods are impractical. We also initially avoid mentioning what the acronym ‘TLA’ stands for, as doing so would give an incorrect impression of complexity. More slides at http://tla2012.loria.fr/contributed/newcombe-slides.pdf ; proggit discussion at http://www.reddit.com/r/programming/comments/277fbh/use_of_formal_methods_at_amazon_web_services/]]> formal-methods model-checking tla tla+ programming distsys distcomp ebs s3 dynamodb aws ec2 marc-brooker chris-newcombe https://pinboard.in/ https://pinboard.in/u:jm/b:8758e4d5f996/ The programming error that cost Mt Gox 2609 bitcoins 2014-05-29T14:12:21+00:00 http://www.righto.com/2014/03/the-programming-error-that-cost-mt-gox.html jmWhile analyzing coinbase transactions, I came across another interesting bug that lost bitcoins. Some transactions have the meaningless and unredeemable script: OP_IFDUP OP_IF OP_2SWAP OP_VERIFY OP_2OVER OP_DEPTH That script turns out to be the ASCII text script. Instead of putting the redemption script into the transaction, the P2Pool miners accidentally put in the literal word "script". The associated bitcoins are lost forever due to this error. (via Nelson)]]> programming script coding bitcoin mtgox via:nelson scripting dsls https://pinboard.in/ https://pinboard.in/u:jm/b:a14c815def53/ Learn.code.org 2014-05-16T09:02:46+00:00 http://learn.code.org/ jm education programming learning coding kids k-8 code.org games https://pinboard.in/ https://pinboard.in/u:jm/b:fa6c10b1ee85/ Girls and Software 2014-02-10T15:58:56+00:00 http://www.linuxjournal.com/content/girls-and-software jm feminism community programming coding women computing software society work linux-journal children teaching https://pinboard.in/ https://pinboard.in/u:jm/b:568cca680e6a/ stereopsis : graphics : radix tricks 2013-12-19T17:13:59+00:00 http://stereopsis.com/radix.html jm sorting programming coding algorithms radix-sort optimization floating-point https://pinboard.in/ https://pinboard.in/u:jm/b:456ae3d8f5c1/ How to lose $172,222 a second for 45 minutes 2013-10-22T12:27:50+00:00 http://pythonsweetness.tumblr.com/post/64740079543/how-to-lose-172-222-a-second-for-45-minutes jm trading programming coding software inept fail bitrot tech-debt ops incident-response https://pinboard.in/ https://pinboard.in/u:jm/b:35b102c3a492/ NCCA Junior Cycle - Programming and Coding Consultation Page 2013-10-21T16:03:42+00:00 http://www.juniorcycle.ie/Curriculum/Consultation/Short-Courses/Programming-and-Coding-Consultation-Page jm ireland programming coding education schools https://pinboard.in/ https://pinboard.in/u:jm/b:f8f9215928e2/ Ked 2013-04-15T11:26:27+00:00 http://adam-lynch.github.io/ked/ jmTo our knowledge, Ked is the first scripting language to emerge from The People's Republic of Cork. Below is an account of what we know so far about the mysterious Corkonian language. Any suggested updates or contributions are encouraged. Genius. ]]> coding cork jokes funny like languages programming https://pinboard.in/ https://pinboard.in/u:jm/b:03b616e5b381/ CS in VN 2013-03-21T14:37:49+00:00 http://neil.fraser.name/news/2013/03/16/ jm vietnam programming education cs computer-science schools coding children https://pinboard.in/ https://pinboard.in/u:jm/b:6aee9bbea52e/ Thoughts on configuration file complexity 2013-03-19T23:32:03+00:00 https://gist.github.com/aphyr/5198654 jm configuration turing-complete programming ops testing https://pinboard.in/ https://pinboard.in/u:jm/b:cbf5e726c98b/ 4 Things Java Programmers Can Learn from Clojure (without learning Clojure) 2013-03-07T16:35:04+00:00 http://www.lispcast.com/java-learn-from-clojure jm clojure lisp design programming coding java https://pinboard.in/ https://pinboard.in/u:jm/b:25f93ccbe1e6/ Can regular expressions parse HTML? 2013-02-21T14:07:56+00:00 http://nikic.github.com/2012/06/15/The-true-power-of-regular-expressions.html jm compsci regexps regular-expressions programming np-complete chomsky-grammar context-free languages https://pinboard.in/ https://pinboard.in/u:jm/b:ecb8bd1911d9/ Programming Language Checklist 2013-02-05T13:04:52+00:00 http://colinm.org/language_checklist.html jm humor programming funny coding languages https://pinboard.in/ https://pinboard.in/u:jm/b:0f3b1f36a8db/ Memory Barriers/Fences 2012-11-24T21:39:32+00:00 http://mechanical-sympathy.blogspot.com/2011/07/memory-barriersfences.html jm architecture hardware programming java concurrency volatile jsr-133 https://pinboard.in/ https://pinboard.in/u:jm/b:b161ec6482e6/ Does it run Minecraft? Well, since you ask… 2012-11-24T21:23:48+00:00 http://www.raspberrypi.org/archives/2565 jmWe sent a bunch of [Raspberry Pi] boards out to Notch and the guys at Mojang in Stockholm a little while back, and they’ve produced a port of Minecraft: Pocket Edition which they’re calling  Minecraft: Pi Edition. It’ll carry a revised feature set and support for several programming languages, so you can code direct into Minecraft before you start playing. (Or you can just – you know – play.) ]]> minecraft gaming programming coding raspberry-pi kids learning education https://pinboard.in/ https://pinboard.in/u:jm/b:4766de3c54c1/ #AltDevBlogADay » Functional Programming in C++ 2012-10-27T08:59:25+00:00 http://www.altdevblogaday.com/2012/04/26/functional-programming-in-c/ jm c++ programming functional-programming fp coding john-carmack const immutability https://pinboard.in/ https://pinboard.in/u:jm/b:c56c9d6b8a90/ Estonia introduces coding classes to 8-year-olds 2012-09-05T09:01:53+00:00 http://venturebeat.com/2012/09/04/estonia-code-academy/ jm estonia education coding programming kids children students learning school https://pinboard.in/ https://pinboard.in/u:jm/b:e3c59fb70ac8/ the VIM clutch 2012-06-22T10:00:36+00:00 https://github.com/alevchuk/vim-clutch jm and you are back in Normal Mode.' (via Andrew Delaney)]]> via:delaney vim programming ui pedals vi modal foot-switch https://pinboard.in/ https://pinboard.in/u:jm/b:e08a512c2f35/ An IDE is not enough 2012-05-13T20:45:12+00:00 http://alarmingdevelopment.org/?p=680 jm via:cjhorn ide programming coding programming-languages semantics syntax source-code text https://pinboard.in/ https://pinboard.in/u:jm/b:a8654174d787/ The day I tried teaching primary school kids to code (and succeeded) 2012-03-20T13:02:42+00:00 http://www.martingsaunders.com/2012/02/teaching-primary-school-kids-to-code/ jm coding education kids programming teaching school https://pinboard.in/ https://pinboard.in/u:jm/b:f8739b671a1b/ Near Neighbor Search in High Dimensional Data [PDF] 2012-02-22T11:27:39+00:00 http://www.stanford.edu/class/cs345a/slides/05-LSH.pdf jm slides algorithms email performance programming near-neighbour-search search https://pinboard.in/ https://pinboard.in/u:jm/b:5d1174b2c395/ The best "why estimation is hard" parable I've read this week 2012-02-02T10:02:02+00:00 http://www.quora.com/Engineering-Management/Why-are-software-development-task-estimations-regularly-off-by-a-factor-of-2-3 jm agile development management programming teams estimation tasks software https://pinboard.in/ https://pinboard.in/u:jm/b:c04b6424baf4/ SiliconRepublic story on CoderDojo 2011-12-15T21:08:21+00:00 http://www.siliconrepublic.com/innovation/item/24999-coding-for-our-lives? jm coderdojo programming coding kids children teaching education tech ireland https://pinboard.in/ https://pinboard.in/u:jm/b:8b605da5a485/ Apache considered harmful 2011-11-23T21:59:04+00:00 http://www.mikealrogers.com/posts/apache-considered-harmful.html jm git asf apache via:hn github programming https://pinboard.in/ https://pinboard.in/u:jm/b:fd68b4e57a32/ eclim (eclipse + vim) 2011-11-15T13:22:06+00:00 http://eclim.org/ jm eclipse java programming software vim editors refactoring https://pinboard.in/ https://pinboard.in/u:jm/b:f8857bc0f67c/