nuclx

12 ms·

91.
by nuclx 8y ago
This reminds me of type-driven programming as in Idris using the Type-Define-Refine workflow as described by Brady.
92.
by nuclx 8y ago
How big of a thing is ReasonML really? I feel like the transpilation steps are a bit of a turnoff and it feels risky to kind of going the route of inventing yet another language - or dialect - for the problem at hand, though I like ML as a
93.
by nuclx 8y ago
No it's not, defining it as: If it's possible for a player to force a win or draw, do it. Just because it's computationally unfeasible to determine, doesn't mean it isn't theoretically possible to decide.
94.
by nuclx 8y ago
My words were harsh and I probably deserve the downvotes. It just appears like it is getting ever more evident, that chess results in a draw assuming perfect play. That doesn't diminish the accomplishments of world class chess players
95.
by nuclx 8y ago
Being able to provide for a debuggable release build feels like an art to me. The more advanced the optimizations, the harder the task gets. Bugs that only appear only in release builds are some of the worst, so we probably can't give
96.
by nuclx 8y ago
Just redesign it so that there is always a winner. The draws really bore the sh*t out of me.
97.
by nuclx 8y ago
That capital C in the title weirds me out.
98.
History of “Structured Programming”(vanemden.wordpress.com)
1 points by nuclx 8y ago|0 comments
99.
by nuclx 8y ago
Are you serious about the font choice on the website?
100.
by nuclx 8y ago
Or perform frequency analysis on the simple substitution chiffre. Seriously though, we need a document format with easier to extract payloads. Like Office documents with stronger structure, an underlying schema, along the lines of react-jso
101.
by nuclx 8y ago
Click is like really smooth. It just clicked for me.
102.
by nuclx 8y ago
Yes he is. Got no street cred.
103.
by nuclx 8y ago
The other direction is more interesting: Generating/templating Word or Excel documents using the COM interface using the comtypes/win32com python packages. That's what I currently use to generate release documentation as part
104.
by nuclx 8y ago
I don't have many applications for constraint solving in my day-to-day work, but I genuinely think there is a need for a well-designed common language to express constraints on data sets - non-turing-complete, easy-to-use quantifiers e
105.
by nuclx 8y ago
Good old Fravia - I didn't know he is already no longer with us. May he rest in peace. His writings were inspiring in the late 90's. He sparked curiosity for a deeper understanding of how computers work, from the bottom up. His re
106.
by nuclx 8y ago
Or just send the payload exported as JSON/CSV. We keep all kinds of project-relevant information in Word-/Excel-documents even checked into source control - plus these documents are used as a means to poll data from the customer.
107.
by nuclx 8y ago
I wouldn't trust the windows calculator anyways for anything beyond trivial arithmetic. Use an environment where you have actual control over how the calculations are performed.
108.
by nuclx 8y ago
For me it's The Idiot, due to Myshkin being such a distinct character. But all of Doestoevsky's work was eye-opening for me.
109.
by nuclx 8y ago
The keyboard itself won't be able to send anything over the network. A malicious keyboard driver could, but it doesn't have anything to do with the hardware component. Well, technically the keyboard could broadcast the recorded ke
110.
by nuclx 8y ago
Somewhat related recommended read: Hunger (Knut Hamsun) [1] https://www.goodreads.com/book/show/32585.Hunger
111.
by nuclx 8y ago
I would argue, that YAML (which actually is a superset of JSON) comes closer to JSON in being friendly for humans.
112.
Former ClearSlide GC Olga Mack Joins Quantstamp as VP of Strategy(law.com)
1 points by nuclx 8y ago|0 comments
113.
by nuclx 9y ago
I would love to see Chrome/Firefox embrace the unhosted approach a bit more, but security concerns are certainly a hindrance when it comes to empowering web apps.
114.
by nuclx 9y ago
Thanks for the pointers! Great to see someone actually understands my requirements. I'm already using the <input type="file"> method to load a file into the app. For the saving/download part I tried dynamically gen
115.
Ask HN: GUI approach for client-side CRUD to edit data model used by devs
1 points by nuclx 9y ago|4 comments
116.
by nuclx 9y ago
They're dissatisfied with their performance measured by the time they put in. In turn team mates are blamed for hindering their progress in the ranking system.
117.
by nuclx 9y ago
[6] https://www.qemu.org/
118.
by nuclx 9y ago
Quantstamp is in the process of building a decentralized solution for smart contract verification.
119.
Evan Henshaw-Plath (of Twitter’s Founding Team) Joins Quantstamp as VP of Eng(medium.com)
1 points by nuclx 9y ago|0 comments
120.
by nuclx 9y ago
The Quantstamp whitepaper.

More ›