ohpauleez

10 ms·

1.
by ohpauleez 5y ago
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 Python/Java/JavaScript. When they take an AI cl
2.
by ohpauleez 6y ago
Kevel is hiring Clojure devs as well! https://www.kevel.co/careers/
3.
by ohpauleez 7y ago
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
4.
by ohpauleez 7y ago
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 always made sense to me and it's usually the tool I start
5.
by ohpauleez 9y ago
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 takes 5ish minutes). The core/base kernels are also pack
6.
by ohpauleez 9y ago
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 representation of states. You can test/check
7.
by ohpauleez 9y ago
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 run Genode on NOVA with VirtualBox 5 fully integra
8.
by ohpauleez 9y ago
I'd also add that support in Vim and Neovim are also very good.
9.
by ohpauleez 10y ago
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 interesting to you, Genode is the best playground for
10.
by ohpauleez 10y ago
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 NVMe SSD. It's wonderfully supported by recent Linux
11.
by ohpauleez 10y ago
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 made even easier given the split on keyset). This pus
12.
by ohpauleez 11y ago
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 you...
13.
by ohpauleez 11y ago
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 single hocus-pocus equation that generates numbers the
14.
by ohpauleez 11y ago
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 interaction of union'd (namespaced) filesystems.
15.
by ohpauleez 11y ago
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 to do with conditions, and more about the benefits and
16.
by ohpauleez 11y ago
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 possible to hack them into the language. One such implemen
17.
by ohpauleez 12y ago
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 are mostly from the Dresden OS folks, and the NICTA group (w
18.
by ohpauleez 12y ago
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 embraces async capabilities (unlike Ring which is inherently
19.
by ohpauleez 15y ago
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 believes in execution, the ability to have a real impact in the com
20.
by ohpauleez 15y ago
I'm glad to hear it! Good things are coming.