jekude

7 ms·

31.
by jekude 2y ago
Rye looks great (i've also really enjoyed using Poetry as well). But man, do I have respect for Go's quality of out-of-the-box tooling. Feels like every time I start a Python project I need to re-learn the state-of-the-art wrt dep
32.
by jekude 2y ago
Demo on mobile [0], pretty incredible to play with. [0] https://dgerrells.com/sabby
33.
by jekude 2y ago
While it is an interesting quirk of history that we mainly think about computability hand-in-hand with the "halting" problem instead of Turing's symbol-printing, there are so many more interesting nuggets in the 1936 paper (l
34.
by jekude 2y ago
Combinatory Chemistry [0] is a great paper that is referenced. Using Combinatory Logic feels a lot cleaner than brainfuck IMO. [0] https://arxiv.org/abs/2003.07916
35.
An RNA-Based Theory of Natural Universal Computation(arxiv.org)
2 points by jekude 3y ago|0 comments
36.
by jekude 3y ago
Would anyone happen to have a recommendation for someone hoping to make Gödel's incompleteness theorem "click"? It feels like every time I reapproach it, I have to start the intuition building all over again.
37.
by jekude 3y ago
I recently attempted to make a reference implementation and walkthrough of Schönfinkel's original paper [1]. I found the English translation (by Stefan Bauer-Mengelberg) to be quite readable, highly recommend! [1] https://gi
38.
Show HN: A reference implementation of Schönfinkel's Combinatory Logic paper(github.com)
2 points by jekude 3y ago|0 comments
39.
by jekude 3y ago
If this is interesting at all to you, I would highly recommend Permutation City by Greg Egan
40.
by jekude 3y ago
It does make intuitive sense that solving the human/AI alignment problem will probably eventually mean merging our respective neural nets somehow.
41.
by jekude 3y ago
No mention of Frege’s Begriffsschrift? https://en.wikipedia.org/wiki/Begriffsschrift
42.
by jekude 3y ago
The Road to Wigan Pier - Orwell Antifragile - Taleb What is Life? - Schrodinger Structure and Interpretations of Computer Programs - Abelson
43.
by jekude 3y ago
Step 1: Put message on blockchain beforehand with exact date/time and characteristics of DDoS Step 2: Execute DDoS Step 3: Prove to others you are responsible by using private key
44.
by jekude 3y ago
Recommend watching the video[1], there are some classic moments where the crowd can’t hear rms because of how he is holding the microphone and we get a classic stallman rant about microphones. [1] https://m.youtube.com/watch
45.
by jekude 3y ago
Would I be able to use this to run untrusted code from my users? I have had an idea for a game I'd like to eventually build where users write code to control their character. If I send the code to my server running Tork, what are the s
46.
by jekude 3y ago
I have a secret goal to simulate a Turing Machine in the Lambda Calculus, and vice versa, so I was hoping to implement both in the same language so that interoperability would be easier. I chose Go for the Turing Machines because I enjoy wr
47.
by jekude 3y ago
I embarrassingly don't actually know too much about Busy Beaver functions. If I have a free night this week I will play around and implement them!
48.
by jekude 3y ago
Hey John, huge fan, and thank you for the link! I've been struggling with which paper to use to implement the Lambda Calculus (I prefer original source material, because I feel that I learn a little more that way). I started with &quot
49.
Show HN: A reference implementation of Turing's paper “On Computable Numbers”(github.com)
63 points by jekude 3y ago|14 comments
50.
by jekude 3y ago
I am attempting to write a faithful implementation of Turing’s original paper where Turing machines were introduced, such that it could be used as a companion when reading the paper (my first time reading it would have been greatly aided by
51.
by jekude 3y ago
Came here to recommend that the author check out Combinatory Logic (SKI, Iota, Jot, etc). Although not practical, it is pretty incredible how simple/minimal systems can serve as the axiomatic foundation for essentially all of math&#x2F
52.
by jekude 3y ago
Never thought I’d see these three things together. The library looks extremely well done, although I’d expect some interesting reaction as Go is as imperative as it gets.
53.
by jekude 3y ago
Amazing interview clip by Patrick Collison on his reading strategy (as well as John's) - https://www.youtube.com/watch?v=zkh3BHP6KJ0 Very much echoes some of the sentiment from this article.
54.
by jekude 3y ago
This feels far too short and rushed. Maybe with some longer form podcasts we have (fortunately) become used to full-length conversations. I would have loved 4 hours of this with more back and forth.
55.
by jekude 3y ago
When did P.F. Changs become a FAANG?
56.
by jekude 3y ago
Computers and Automata by Claude Shannon - https://fermatslibrary.com/s/computers-and-automata . Absolutely fantastic paper summarizing the field of automata in the 1950s. Amazing how amazing of a surveyor Shannon was.
57.
by jekude 3y ago
Yeah absolutely - if one were to do a startup in this space you would want: - The platform to have a history of developer-friendliness (although so true the inherent risk of building on APIs today is quite high) - The users of the platform
58.
by jekude 3y ago
Providing a natural language interface (NLI) to <insert-popular-platform> could be extremely valuable for platforms that satisfy the following criteria: - The platform has a well documented open API - The platform has a shitty or comp
59.
by jekude 3y ago
Can't +1 enough Jason Cohen's talk, it changed the way I think about business ventures as an engineer with aspirations to become an entrepreneur.
60.
by jekude 3y ago
Congrats on the launch! I am curious how you see apps evolving to provide natural language interfaces on top of existing APIs. Also, do you plan on strictly remaining the data layer (between a startup and its API integrations) or do you pla

More ›