jpt4

8 ms·

31.
by jpt4 3y ago
Not using that same subset, however (unless working with a Self-Verifying Theory [0]). [0] https://en.wikipedia.org/wiki/Self-verifying_theories
32.
by jpt4 6y ago
And then we can have Clojure on bare metal, and we're almost back to LISP machines!
33.
by jpt4 6y ago
Can a programming language based on Willard's Self-Verifying Theories [0] self-interpret in the limited sense established by Brown and Palsberg [1]? Which is to say, what is the relation between a sub-Peano logical system that can prov
34.
by jpt4 6y ago
The Immortal Grand Prix flash game from 2003 [0] was the single best turn based tactics game I've yet encountered online. Does anyone know whether it is still hosted somewhere, how one might self host Flash games (assuming one had the
35.
by jpt4 6y ago
You may also be interested in Willard's Self-Verifying Theories: https://en.wikipedia.org/wiki/Self-verifying_theories
36.
by jpt4 6y ago
It does however apply to more properties than merely halting: https://en.wikipedia.org/wiki/Rice's_theorem
37.
by jpt4 6y ago
Amanuensis.
38.
by jpt4 7y ago
Intermittently 404.
39.
by jpt4 10y ago
In the second season of the series (2nd Gig), the Major's cyberization since childhood becomes a plot point because she slips from her insouciant, super class-A wizard hacker/super soldier default. The Major exudes, at least in th
40.
by jpt4 10y ago
The aesthetics of rhetoric is crucial to the ability (and, being an articulation of values instead of a specific programme of behavior, validity) of a manifesto to generate an animating, co-ordinating spirit. If your creedal banner is not k
41.
by jpt4 10y ago
It strikes me as counterproductive for the Post-Futurist cause to immediately beneath its statement of values reproduce for comparison the infinitely aesthetically superior Futurist Manifesto: "1. We want to sing of the danger of love,
42.
by jpt4 10y ago
Atmospheric nuclear detonations have contaminated all un-so-shielded metals: https://en.m.wikipedia.org/wiki/Low-background_steel
43.
by jpt4 10y ago
Article appears to be in flux; definition of lazy evaluation changed.
44.
by jpt4 10y ago
Might you please be able to refer some sources on their differing origins? I would be most interested to read them.
45.
by jpt4 10y ago
Yablo's Paradox [0], possibly [1]. Regarding [1], "circularity" in an uncountably infinite context seems different than "self-referential", though the latter is usually geometrically analogized as the former. I tent
46.
by jpt4 10y ago
A trivial diamond of computation would be a custom purpose machine, e.g. [0]. Inter-operation between decoupled "small abstractions" and their composed descendants requires either a pre-existing mutual interchange form, or a set o
47.
by jpt4 10y ago
I would observe such a live session.
48.
Smaller Code, Better Code(sacrideo.us)
137 points by jpt4 10y ago|157 comments
49.
by jpt4 10y ago
Are you familiar with Ted Nelson's hyperorthogonal data structures [0]? [0] https://en.m.wikipedia.org/wiki/ZigZag_(software)
50.
by jpt4 10y ago
Having attended five Summers worth of residential CTY programs, I attest and affirm that nothing - university, private organizations, or autodidactism - has yet exceeded the intensity of immersion in an environment of pure learning that I e
51.
by jpt4 10y ago
Interested in mathematics and geology, so you say? Behold, I am the polypontian, and spin links 'twixt diverse nodes not my own: http://www.aleph.se/andart/archives/2014/02/torusearth.html Perhaps t
52.
by jpt4 10y ago
Examples, if you please? I am very interested, as computer science (broadly speaking) seems to be a field in which, with higher incidence than might be expected, the ancients knew certain things better (or knew fewer worse things) than the
53.
by jpt4 10y ago
Are you familiar with Urbit [0]? [0] urbit.org
54.
by jpt4 10y ago
In the particular case of Socrates, one might speculate that he had the privilege of affirming or denying his faith before Christ himself: http://biblehub.com/1_peter/3-19.htm
55.
by jpt4 10y ago
Of the first point I shall plead Wittgenstein and not speak, but as regards the second: In what way are photons, the medium of wireless telecommunication, not physical particles? In what way are, indirect connections not decomposable into m
56.
by jpt4 10y ago
> Haskell's purity (there are simpler languages with similar type systems) For my own curiosity, to which languages do you allude in this statement?
57.
by jpt4 10y ago
Then I am glad to see Scheme still circulates amongst the younglings. Carry bravely forward the spirit of (the chip [0] of) '79 - we shall have our year of the Lisp-1 desktop yet! [0] https://dspace.mit.edu/handle/
58.
by jpt4 10y ago
Then, retina_sam, I will simply have to show you [0] that God is not so contingent on human achievement. [0] Not immediately, but ultimately.
59.
by jpt4 10y ago
Thank you for recommending Kaze Ni Naru, which I had not heard (of) before. Also, if your Hacker News activity is any representative proxy, you seem like a pretty cool person [0] in general [1]; I would hope to talk with you some thread, sh
60.
by jpt4 10y ago
(symbol-access) reminds me of the property list feature [0] of Chez Scheme and other implementations (presumably R7RS as well), which allow arbitrary data to be associated with any symbol "in the background" (as I visualize it). I

More ›