Using Twitch to livestream computer science lectures is a really neat approach: https://composition.al/blog/2020/03/31/twitch-plays-cse138/
Gaming tools are pretty mature and work well!
miniblog.
Clojure moving to EDN for structured data in command line arguments: https://insideclojure.org/2020/07/28/clj-exec/
Seems like a nice example of dogfooding.
Another Aphyr coding interview post, blending amazing programming with superb prose.
(And this time, she is recommended to hire!)
https://aphyr.com/posts/353-rewriting-the-technical-interview
I really like the one-module-per-file model of JavaScript or Python.
If you're storing code in files, you might as well leverage file boundaries. If modules are a separate abstraction (e.g Rust, OCaml), it's harder to learn and choose how to organise code.
When Nvidia discusses choosing Ada for security critical software, they mention the cost of fuzzing (slide 17). It's an interesting argument: if the language gives you more assurances, you don't need so much compute to fuzz test!
https://www.slideshare.net/AdaCore/securing-the-future-of-safety-and-security-of-embedded-software
TypeScript has a really neat way of changing the required-ness of fields in objects.
Partial<Foo> is the same shape as Foo, but all the fields are optional. Required<Foo> is the same shape as foo but all the fields are required.
https://stackoverflow.com/a/40076355/509706
The effect of digital-first design on board games and their communities: https://a16z.com/2020/09/01/tabletop-games-go-digital/
Apparently burger flipping robots now exist: https://invest.misorobotics.com/
It's an interesting case of building a robot to fit an existing environment, rather than building a machine to do a job with its own equipment.
On-demand developer environments are a really powerful idea: https://github.com/features/codespaces
I've seen projects attempt to ship a developer toolchain inside a Docker container, but this feels much more ergonomic.
Finding security vulnerabilities, trying to report issues to the former prime minister, and the most entertaining blog post I've read a very long time: https://mango.pdf.zone/finding-former-australian-prime-minister-tony-abbotts-passport-number-on-instagram
Listened to this podcast today, and it was interesting to hear how WebAssembly allows more 'isomorphic' projects! E.g. you can run Rust on both the server and the client.
https://softwareengineeringdaily.com/2020/09/01/webassembly-migration-with-nicolo-davis/
Amazing project looking at text search based on similarity of content, not keyword match.
https://jacobjackson.com/searching-for-style/
On transitioning between dev and manager repeatedly: https://charity.wtf/2017/05/11/the-engineer-manager-pendulum/
Designing tensors so dimensions are indexed by name rather than number, even adding a concept of privacy! https://nlp.seas.harvard.edu/NamedTensor
A discussion of interning inside rustc, and its relationship with 'library-ifying' the codebase: https://rust-lang.github.io/compiler-team/minutes/design-meeting/2020-03-12-shared-library-for-types/
Factoring libraries out of rustc, so rust-analyzer can share logic! Includes a discussion of batch versus interactive code analysis: https://rust-lang.github.io/rfcs/2912-rust-analyzer.html
My toy programming language has a pluggable frontend, so you can change syntax easily.
The first syntax I built was lispy. I've gradually been adding statement oriented C-ish syntax.
I think it would awkward to write a statement oriented lispy syntax. Do any such PLs exist?
It's amazing that merging work at all.
It's a dumb textual transform that provides no guarantees that the code is even syntactically valid, let alone correct. The problem feels AI-complete.
I've seen bad resolutions of merge conflicts way more than bad automatic merges though.
Rust RFCs have this interesting approach where you can register blocking concerns with their rfcbot!
Seems like a great way of tracking outstanding issues. E.g. https://github.com/rust-lang/rust/pull/74430#issuecomment-664693080
Apparently mounting a 51% attack on a blockchain can sometimes net more money than the compute cost! https://blog.bitquery.io/attacker-stole-807k-etc-in-ethereum-classic-51-attack
Showing 1,301-1,320 of 7,508 posts