421
SMT Solving on an iPhone
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 808 posts.
422
Nerd Sniped by BINFMT_MISC
How to script in any language thanks to rootless containers and BINFMT_MISC.
423
Time to look beyond Oracle's JDK
From Java 11 its time to think beyond Oracle's JDK. Time to appreciate the depth of the ecosystem built on OpenJDK. Here is a list of some ...
424
425
Running JRuby on the Graal JIT
Hello, friends! Long time no blog!I'm still here hacking away on JRuby for the benefit of Rubyists everywhere, usually slogging through compatibility fixes and new Ruby features. However with the release of JRuby 9.2, we've caught up to Ruby 2.5 (the current release) and I'm spending a little time on performance.I…
426
427
428
Problems with CSVs (2016)
Much of my professional work for the last 10+ years has revolved around handling, 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.
429
430
431
What If Linus Torvalds Gets Hit by a Bus? (2000)
The question on the lips of everyone in the Linux community is, "What if Linus Torvalds (affectionately known to the trade press as 'Linux Torvalds') gets hit by a bus?" Reams of virtual paper have been wasted on idle speculation about the results of what is a fairly simple experiment. We decided it was high time…
432
433
Making a low level Linux debugger, part 3: our first program
This continues a series where we make a debugger and live editor for (re)creating assembly and C programs.
434
435
Modern CMake short tutorial and best practice
The end of semester is here and, as I grade our students semestral works, I get to use CMakeLists of dubious quality. After seeing the same errors repeat over and over again, I decided to write a short tutorial towards writing simple CMakeLists.
436
What’s the difference between an integer and a pointer?
The Standard does not require that implementations define intptr_t nor uintptr_t. It also does not require that implementations define integer-to-pointer conversions in any meaningful fashion unless they define those types. Conforming implementations are certainly allowed to document some integer-to-pointer…
437
Teach Programming to become a better programmer
Are you bored with programming? Why not teach it. It’s not enough to speak in mumbo jumbo such as polymorphism, multithreading, typescript, blah blah these words mean nothing to people who don’t know programming.
438
Setting Emacs theme based on ambient light
I sit next to a window at work. On sunny days it’s easier to see a light editor theme, and when the sky is dark, a dark theme is easier on my eyes. So I decided to try to have my MacBook automatically switch the Emacs theme based on readings from the ambient light sensor.
439
Making a cross-platform mobile game in Reason/OCaml
Targets web, native android, ios, and desktop!
440
441
Building bots to mend badges, or how to get your GitHub account suspended
TL;DR: Many badges were broken since they were using the shuttered pypip.in site. I wrote a bot that could fix these and automatically submit pull requests with the changes. And then I had my GitHub account suspended. Do not make automatic unsolicited pull requests. Disclaimer This post discusses the design...
442
Two Objects Not Namespaced by the Linux Kernel (2017)
Covers two Linux primitives that are not namespaced by the current set of Linux kernel namespaces.
443
The State of Vacuum in Postgres
In a recent blog post , I talked about why every system that implements MVCC needs some scheme for removing old row versions, and how VACUUM...
444
Linux Raw Sockets
Recently I did a userspace implementation of the Host Identity Protokoll (HIPv2, RFC 7401) with the upcoming Diet Exchange (HIP DEX, IETF draft 6) . Doing so, I've learnt a lot about raw socktet programing under Linux and here I want to share a few things with you.
445
Creating a bash completion script
Lazarus Lazaridis’ personal blog with posts mostly related to programming and opensource. And cats.
446
447
448
449
A look at the J language: the fine line between genius and insanity (2012)
I’ve been looking for a decent TSDB for years now. Took a shot at writing one in Lush using HDF5 (as others have done), but the experiments I did raised more questions than I got answers. I&#…
450