Viewing profile — ohpauleez

I also have had this thought - start people with very simple (C89) C and Scheme. When they learn data structures have them use C and scheme and show additional examples in class in…

Kevel is hiring Clojure devs as well! https://www.kevel.co/careers/

In case you haven't seen the applications of nanopass compilers to do similar things, specifically harlan, here you go: https://github.com/eholk/harlan

This largely sums up my experience with Alloy and TLA+, as well as when I favor using one tool over the other. My formal education included classes in Z, so the spirit of Alloy alw…

In addition to what alex posted, the new package system along with the build system means that you can build a custom OS based on Genode in under under an hour (my fastest build ta…

Adding to what tel said: Alloy will tell you where things are over or under-specified. You can ask the system to generate you scenarios in the "world" so you can see a graphical re…

Genode now has its own package management system with the 17.05 and 17.08 releases, informed/inspired by the work from Genode/Nix (linked in the other comment). This means you can …

I'd also add that support in Vim and Neovim are also very good.

You can go and use Genode right now. There's no installer (to my knowledge) -- you'll have to build the OS by hand. If the area of secure OSes or capability-based OSes are interest…

The Zenbook line has dual and quad core machines, high-resolution screens, up to 16Gb of RAM, aluminum bodies, the ports you want, a great touchpad (and often touch screen), and an…

Important to note, that as data, they can be consumed by other systems for other purposes. For example, it's feasible to consume a spec within Alloy and use a SAT solver (which is …

It's a finding from a Capers Jones report (I believe on the analysis of agile vs waterfall projects of varying sizes and durations). I'll see if I can dig up the exact report for y…

I appreciate more attention being given to software estimates, but it seems like there's a lack of looking at the research in this area of software engineering. Most people have a …

While I like the foundation of this idea, I'd love to see it taken to the next logical conclusion: Drop HTTP for a better suited protocol (like 9P), and correctly handle the intera…

While I appreciate the dialog, your comment is rather condescending. I've worked extensively in Common Lisp and am well aware how the condition system works. My claims had little t…

While there are no first-class reader macros in Clojure, reader literals cover many common use cases. For the small set of use cases where you REALLY need reader macros, it's possi…

Capability-based OSes have been around for some time, largely developed by the team that produced DRoPS, Fiasco, and other L4 based systems (as tonyhb pointed out). Those advances …

It's also worth mentioning Pedestal[1] - in place of Ring and Compojure. Pedestal is set of libraries for building web services that is fast and secure by default. It fully embrace…

Maybe I can answer the why a little better: The short answer is: This opportunity is everything that matters most to me - a great startup with a real vision and a team that believe…

I'm glad to hear it! Good things are coming.