crux

10 ms·

31.
Pantagruel: An Unambiguous, Undefined Program Specification Language(hexdocs.pm)
40 points by crux 8y ago|9 comments
32.
PyGotham '17 – Nim: A New Option for Optimizing Inner Loops(pyvideo.org)
4 points by crux 9y ago|0 comments
33.
by crux 9y ago
My company has several Nim services in production. Here's an open-source component I wrote that we use: https://github.com/makingspace/syphus-nim
34.
Compile-Time Sort in Nim(blog.zdsmith.com)
3 points by crux 9y ago|0 comments
35.
Nim for Python Programmers(blog.zdsmith.com)
5 points by crux 10y ago|1 comments
36.
by crux 10y ago
You, with the rest of us, have been treated to more than enough coverage of the issues at Uber to know that this isn't a series of isolated incidents. If you really wouldn't stand for this sort of thing, then quit your job.
37.
by crux 10y ago
I use Fossil whenever I can. Unfortunately, this means I have only ever used it for projects where I'm the only contributor.
38.
by crux 10y ago
I haven't encountered any compiler bugs, no. I know that they're still really pushing on some of the further reaches—what comes to mind is statically verifying that a value is never `nil`, as well as some of the more industrial-st
39.
by crux 10y ago
I have! And I will... I just haven't gotten around to it yet. The main takeaway is specific to my use-case: writing a dynamic library that can be called from within Python code. The main positive and negative are two sides of the same
40.
by crux 10y ago
I'm very bullish on Nim. We're crossing the finish line of putting our first Nim code into production at work and overall it's been a pretty positive experience.
41.
The Dark Path, Or, What If I Don't Want to Quit My Job?(blog.zdsmith.com)
3 points by crux 10y ago|1 comments
42.
by crux 10y ago
I've been doing as much Nim as I can recently and really enjoying it. I just took a week to put together a proof of concept Python module wrapper around Nim code and I'm really looking forward to implementing some optimized inner
43.
Thoughts on “Death of a Language Dilettante”(blog.zdsmith.com)
2 points by crux 10y ago|0 comments
44.
The Maude System(maude.cs.illinois.edu)
2 points by crux 10y ago|0 comments
45.
8th: secure, cross-platform, efficient programming language(8th-dev.com)
2 points by crux 10y ago|1 comments
46.
by crux 10y ago
A few years ago I wrote my own toy ACH framework! I would love to come help out.
47.
by crux 10y ago
I worked at Tekserve for 2 years. It's quite interesting to hear the strong emotional responses that many people express about its closing.
48.
by crux 10y ago
Generative linguistics is largely discredited these days. It has been out of fashion for a little while, but the last few years have seen studies that more concretely disprove it.
49.
Es – Successor to Plan 9's RC – with first release in four years(github.com)
3 points by crux 10y ago|0 comments
50.
by crux 10y ago
Remarkable how Wolfram can turn any occasion to a celebration of his own achievements and preoccupations.
51.
Jaunt – A friendly Clojure fork(arrdem.com)
89 points by crux 10y ago|29 comments
52.
by crux 10y ago
What's Novice? It's extremely difficult to google.
53.
by crux 11y ago
I feel it's appropriate to link to a Python module I wrote some time ago exploring this book and the systems behind it: https://github.com/subsetpark/necktie (The link in the read me is unfortunately expired)
54.
How to Pay the Help(washingtonpost.com)
1 points by crux 11y ago|0 comments
55.
by crux 12y ago
I made a custom one that I like: -.5 | 1.5 | -.5 1.5 | -3 | 1.5 -.5 | 1.5 | -.5 It produces a cool digital edge blurring effect. What's that called?
56.
Bond – a robot that writes letters with a fountain pen(hellobond.com)
1 points by crux 12y ago|0 comments
57.
by crux 12y ago
This sort of tone is toxic and anachronistic in the extreme. Please consider the sort of environment you contribute to when you relate to strangers in a public community in this way.
58.
Makespace goes national(makespace.com)
1 points by crux 12y ago|0 comments
59.
by crux 12y ago
He gives the lie to himself by (almost compulsively!) categorizing his 'marks' as impolite when he feels that they've failed to realize or follow the same rules that he understands so well. It's well and good that he&#x2
60.
by crux 12y ago
Are there languages that include the strong type checking, inference, and typeclass functionality of Haskell while also being a little more forgiving in terms of purity, so that writing ordinary programs is not quite so troublesome as in Ha

More ›