631
Re-writing the site of Norway's largest transport provider in Elm
Vy, the largest transport provider in Norway, has been using Elm for the last couple of years. These are their experiences so far.
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 1,357 posts.
632
Perils of Constructors
One of my favorite blog posts about Rust is Things Rust Shipped Without by Graydon Hoare. To me, footguns that don't exist in a language are usually more important than expressiveness. In this slightly philosophical essay, I want to tell about a missing Rust feature I especially like: constructors.
633
TLA+ model checking made symbolic
TLA+ model checking made symbolic Konnov et al., OOPSLA’19 TLA+ is a formal specification language (Temporal Logic of Actions) particularly well suited to reasoning about distributed algorith…
634
It is perfectly OK to only code at work, you can have a life too
There is often pressure inside Software development for Software developers to code outside of work hours. Whether you are a Python, Ruby, Java, or any other developer... There is absolutely no need to code outside of work if you don't want too. Coding is considered a passion for some, but others they don't think this…
635
636
Taking ML to production with Rust
Hands-on technical leader, Rust expert.
637
638
GitHub Trip Report
I, the founder of Fossil, was invited and attended the first meeting of the GitHub Open Source Advisory Board in San Francisco on 2019-11-12. This post is a report of my adventures.
639
A Go implementation of Poly1305 that makes sense
Cryptography code could be understandable if only we commented it. This Poly1305 implementation is an attempt to prove it. It should be readable with just an idea of what MACs are for, a beginner level of Go, and high school math.
640
The Death of External Storage: Where's Google?
Android app development books
641
Choosing Ruby on Rails for web development project in 2019
Everything you need to know about adding Ruby on Rails to your technology stack. An all-in-one guide by Ideamotive - team of Ruby on Rails development experts!
642
Go makes it easier to write correct, clear and efficient code
The main reasons Go makes it easier (than Java or Python) to write correct, clear and efficient code are discussed in this comprehensive report by an expert Go and Java developer.
643
Open-Sourcing Windows Calculator
Today, we’re excited to announce that we are open sourcing Windows Calculator on GitHub under the MIT License. This includes the source code, build system, unit tests, and product roadmap. Our goal is to build an even better user experience in partnership with the community. We are encouraging your fresh perspectives…
644
Evaluating Bazel for building Firefox
After the Whistler All-Hands this past summer, I started seriously looking at whether Firefox should switch to using Bazel for its build system.
645
C++ Ecosystem: Compilers, IDEs, Tools, Testing
To write a professional C++ application, you not only need a basic text editor and a compiler. You require some more tooling. In this blog post, you’ll see a broad list of tools that make C++ programming possible: compilers, IDEs, debuggers and other. Last Update: 14th October 2019. Note: This is a blog post based on…
646
A World Run with Code
What the world will be like when computational intelligence and computational contracts are ubiquitous. Transcript of a talk by Stephen Wolfram from a 2019 blockchain conference.
647
Ballista: Distributed Compute with Rust, Apache Arrow, and Kubernetes
Software engineer specializing in query engines and distributed systems
648
A walk through the Magit interface
Blog of Jonas Bernoulli
649
How to write fast code in Ruby on Rails
Part of Shopify’s success with Ruby on Rails is an emphasis on writing fast code. But, how do you really write fast code? Let’s talk about a few ways to start writing faster code in Active Record, Rails, and Ruby.
650
F() vs. F(void) in C vs. C++
Prefer f(void) in C to potentially save a 2B instruction per function call when targeting x86_64 as a micro-optimization. -Wstrict-prototypes can help. Doesn’t matter for C++.
651
652
653
How I ended up writing a new real-time kernel (2015)
You're reading the original article in English. You can as well read the translation in Russian .
654
Event Modeling
Event Modeling is a way to design a blueprint for an Information System of any size or scale. It is done in a way that allows the clearest communication of the system's workings to the largest possible cross-section of roles in an organization. The system can be checked for completeness by following the single thread…
655
Open-Sourcing Inform 7
This is a talk and slides from Narrascope 2019 , held at MIT, Boston, on 14-16 June 2019. It's a sequel to a talk given in London a year earlier , when I went into "literate programming" at greater depth, but when the design of Inter was more embryonic. I'd like to thank the Narrascope organisers for fitting me in to…
656
657
Application Layering – A Pattern for Extensible Elixir Application Design
This paper covers building large, maintainable Elixir codebases using Hexagonal Architecture and the Layers pattern.
658
659
Meli email client, pre-alpha release
meli.delivery is a short 4-character .delivery domain available for buy. Listed at $100 — secure it before someone else does.
660
Some Lisp books (2012)
caveat: tthis is not a best-of nor a comprehensive list of Lisp books; it is merely a selection of Lisp books you may not have heard of or that special to me in some way. If you find this post interesting then you might like my yearly best-of posts .