j-pb

83 ms·

901.
by j-pb 6y ago
The author miss-understands the paper for some call to formalise everything and then continues to ramble on how complex the world is and how futile formalisation is. This is not what "Out of the Tarpit" is about. Out of the tarpit
902.
by j-pb 6y ago
Ahh the good old "conversation is a state machine" pitfall. Even linguists I work with do that sometimes, I guess it's how the simple models that we're taught with work. Wanna have the simplest parser? Finite State Autom
903.
by j-pb 6y ago
After some digging I found several blogs that make the same distinction as you do. However, basically all of literature calls the undecidability of the halting problem a proof by contradiction. So I guess that there are some intuitionists t
904.
by j-pb 6y ago
A bit tangential, but turings proof only works with some very strict assumptions. - Clasical logic as the foundation for math. - Proofs by contradiction work. - That the church turing thesis holds. I guess these are kinda two sides of the s
905.
by j-pb 6y ago
Well it's not like we have an army of amateur waiters out there waiting to serve you for free.
906.
by j-pb 6y ago
Currently on day 4 of reading it all day and just finished chapter 12. Thanks for writing it!
907.
by j-pb 6y ago
I wish all things eclipse would stay where they are, far far far away from me.
908.
by j-pb 6y ago
Lots of robotics startups are using prolog for planning.
909.
by j-pb 6y ago
> separate object in code I hope you don't mean object in the OOP sense, but in a more general way, because that would be the slowest thing ever, no matter how smart your compiler/framework. You'd probably be better off to
910.
by j-pb 6y ago
My hunch would be to have a RDF-like (not RDF cause that sucks, but flexible self describing triples) graph database, that is append only (similar to a persistent datastructure). With systems subscribing to query streams and appending new f
911.
by j-pb 6y ago
Man I love entity component systems. They're elegant, yet super hardware friendly. Extremely simple and easy to understand. I have a background in Databases and it's always interesting how ECS face some of the same problems the DB
912.
by j-pb 6y ago
Except that this doesn't work for 90% of software. Nor for transferring associated application data. Setting up os x; and packagable apps is really not the bottleneck. And even if it was, these methods and tools are unreliable as heck.
913.
by j-pb 6y ago
How can there be so much TCP bashing, without a mention of SCTP. I mean at least that's implemented in some BSDs with ports available for other OSes.
914.
by j-pb 6y ago
This has nothing to do with our "exotic use case" which is "being an advertisement company that uses mac and photoshop, with the occasional accountant and management machine." This is EXACTLY the use case Apple advertise
915.
by j-pb 6y ago
Now you need to explain, how is that not a viable backup strategy? And with the utmost respect, if you seriously recommend time machine, for anything besides a quick "oops didn't mean to delete that", then you can't have
916.
by j-pb 6y ago
Yeah, it's on their clock if they have to fix it. Also as a company you have a much narrower margin of time to return, than as a private person. And we didn't want to be stuck with a mac that kinda sorta works, but might break at
917.
by j-pb 6y ago
I had a lengthy talk with apple support about this. They've advised against that, since the specific version of the T2 that specific iMac Pro shipped with, had a failure case where resetting the firmware would also brick it. At least t
918.
by j-pb 6y ago
With a T2 chip you can no longer use Disk Cloning as a viable means to make backups, because there are ID's stored in the new APFS that have to match the ID of the T2 chip. It sometimes somewhat works, but it's an invitation to ge
919.
by j-pb 6y ago
There's no way you're gonna get these devices unlocked if they're from a company that has gone under, I guarantee there will be either no time to reset the devices properly, or the people who could have done this have been le
920.
by j-pb 7y ago
Also for admins. I had to send back an iMac Pro because we installed it from a backup. This skipped the T2 setup during install, and left it in a completely broken/uninitialized state that only apple could fix (presumably by throwing t
921.
by j-pb 7y ago
I'm not a mathematician, but I would guess that the Surreal numbers developed by John Conway, do contain values that start with an infinite sequence of 0.9_ but "end" with something that makes them != 1. https://en
922.
by j-pb 7y ago
Did you even read the piece by McCarty? He talks about how it was meant as an alternative to the computational models based on turing machines in addition to a symbolic computation tool for AI and therefore used side effects for convenience
923.
by j-pb 7y ago
Nice to hear, not CL tho ;P The (equal '(1 2) '(1 2.0)) is really a tricky one. Clojure also fails the (= 1 1.0) test. But I'm really not sure if that's a bad thing. I mean (= [1] #{1}) (an ordered vector and an unordere
924.
by j-pb 7y ago
Said the "armchair clojure specialist" ;)
925.
by j-pb 7y ago
Sure! Most things in common lisp don't work with 'equal', which "poisons" the well so to speak. For example hash tables. (defparameter my-hash (make-hash-table)) (defparameter thy-hash (make-hash-table)) (setf (
926.
by j-pb 7y ago
Turns out we're both right. > Anyway, I decided to write a paper describing LISP both as a programming language and as a formalism for doing recursive function theory. > One mathematical consideration that influenced LISP was to
927.
by j-pb 7y ago
Again, with that reasoning every programming language is procedural, because they all run on procedural operating sytems. Clojure uses JS and JVM as targets to gain reach and to reuse existing code, having good interop with them makes it a
928.
by j-pb 7y ago
No attack meant, just an observation, I had actually written the post with you in mind. Although in all fairness despite your zealotry you are the most objective of them. Also what's my "cause" even supposed to be? Convince o
929.
by j-pb 7y ago
But like I said, according to that reasoning Rust isn't safe either. Which it clearly is. But sure you could program clojure in an extremely OO way, with multimethods and protocols. In my experience you never use the former, and you pi
930.
by j-pb 7y ago
Clojure has it's own std-lib. You can even share a significant part of your code between clojure and clojurescript.

More ›