openfuture

The terminal is still the most efficient control center for the machine. We have less control than before so we get dragged into the cloud, onto centrally coordinated networks.

There are converging factors that will give back some control but I think people should be treating that convergence with more urgency than we do now.

Of course the terminal should also evolve, new standards need to be set.

You could see forth as just netstrings recursively. You evaluate the outermost netstring by unquoting and then doing a forth over the netstrings it contains.

Well you aren't fully packed unless you also pack an income source to refill the card, travelling (at least for a lot of "true" travellers) is about finding a sustainable means of "going infinite" (to borrow MTG terminology).

Because, as you no doubt already know, the only useful advice is "just do it" - the whole point is that you are more capable than you think (or I guess not you since you've already put yourself to the test I suspect).

Maybe I am starting to spam the thread a bit here but I think the answer is canonical S-expressions, but proving that to be the case is more tricky than it looks although it is also kinda obvious from the surface level; vectors in s-expressions.

But yeah the real answer is lambda calculus, see lambda lisp and justine.lol

Very interesting! thanks for this. The n-ary relations are bipartite graphs, one partition in the graph is the relations (hyperedges). This is /the/ universal (turing machine) theorem of computing.

By the way, check out datalisp.is, I think we should re-encode the web :)

Forth is also homoiconic (arguably more so than lisp) and it can be thought of as being purely vectors.

Universal in the sense of structure, but vectors are pretty faithful to the machine memory.. which also makes them universal but more in terms of content. Therefore we should use canonical S-expressions as a universal data interchange format. When you build metaprogramming on top of it then you can do some cool things I think (check out datalisp.is).

Just use canonical S-expressions, then you've got linked lists where the atoms are vectors, best of both worlds :)

I think I can name an example, which is how I am approaching datalisp; https://sr.ht/~ilmu/tala.saman/ the first principles bit for my context refers to: fixing a standard encoding that is sufficient for the task, determining inputs and outputs of model, setting a general guideline for expressivity of model (space of conflict-free programs), sketching interaction modes and user interfaces.

These are the first principles in question, now from there your architecture is mostly determined, you can fall back on known patterns and decades of research. The axioms are the architecture.

Why do people think these things get respected? What ultimate authority is omniscient in this way? The fact is that if I can access the source then it is effectively FOSS, especially if I'm a military.

Please take a long hard look at how the implicit assumptions behind these discussions do not line up with reality and then move on to building the web of trust with me :P

So long as you can reference the correct context for interpreting the data, see: datalisp.is.

What is text though?

Aren't bits the universal interface? Bytes have different sizes, text has different encodings, ...

McCarthy made lisp in 1960.

Absurd opinion for an absurd time. Local optimas and stagnation is not how we solve the systemic problems on the internet and in the world.

Sure if your value add is content then go ahead and use mature tools within the paradigm, but if you want to cause a so called "paradigm shift" then you'll need to understand where the progress is happening and what kinds of opportunities it creates.

Ocaml for example is looking more and more enticing. Standard meta language is used by academics and programming language theory is developed in it. Meaning that it has a good long term trajectory (along with lisps I suppose).

Of course we are about to grow out of syntax, soon it'll just be another config param in your editor.. but I don't think these "obvious choices" you list will all be as well positioned w.r.t. that change.

Right now it may be harder to agree with me than with you, but that makes me think of a hn thread I was reading recently where people didn't want to admit to being programmers (in public / to strangers) because the perception is starting to be that what we do is immoral. Sufficient mastery of programming will make it a boring thing that everyone knows how to do but lowering the bar to that point won't happen within the web paradigm we currently inhabit. We'll see if wasm brings us closer but I think it will take more than that.

Anyway, I'd say your advice is good but not great. A CTO should be able to assess which tools fit the problem they have for the timescales they're considering. If they're swayed by your comment (or mine for that matter) then they're not fit for the role. The person you are actually talking to is someone who is building a company that suffers tech while the core business is something else or a company that is meant to be sold to some giant.

So the ancient egyptians have a concept of eloquence.

Here is a paper about it https://www.academia.edu/2241961/_Ancient_Egyptian_Rhetoric_...

Memorizing is not cheating. Many of the pros do that. He'd need to be receiving computer analysis during the game for it to be cheating.

Well, if you are just 16 you are bound to make some slip-ups like this due to having an incomplete idea of the possible "attack" surface that the defender can use (to accuse you of cheating).

I think it's interesting he had this take from young. As I've grown up I've seen the internet change from whatever it was to whatever it is and the delta is definitely very grift-y. However I don't think it is fair to say it was always this way and I am glad that he realized that the web will be whatever we want it to be. Same with the earth.

Lol, yes exactly.. but "most people don't know what they are doing" is probably also your opinion so scaffold tools would be a huge lever for "most people" no?

Egh, I will just link to my comment from that other thread: https://news.ycombinator.com/item?id=33083868

We need something like a "gradually typed version control system".

The world changes through the collective effort of the people who inhabit it. Not because some demigod wrote a script.

I gotta say. Lately it feels like the internet is always trying to bait me into explaining something properly. My game has been a bit about not doing that because these ideas are old and others have already explored and explained the various tradeoffs involved in the choices I've been making.

However I'll do a bit more now than drop the datalisp.is link :P

What is metaprogramming? Do we metaprogram when we create feature branches in our version control system? Do we metaprogram when we give input to running programs? Do we metaprogram when we use type systems to prove things about our program? Do we metaprogram when we build machine learning models? Do we metaprogram when we package software? For me: "yes" to all of the above.

Isn't "metaprogramming" such a wide-reaching term as to be essentially meaningless? I believe that some words like "language" or "game" can be stretched to cover everything.. so rather than words they are more like perspectives. Metaprogramming is such a thing, it is a perspective, and it happens to be the perspective that I'd like to be able to employ more effectively.

Originally I was deep in math world looking to learn what the future of programming would look like, but I got increasingly frustrated with all the amazing tech they'd developed (the mathematicians) because it wasn't manifested in the cyberworld.... So I figured: I want to build distributed systems. In order to build distributed systems I need a concrete representation for data so that the peers can communicate.

Thanks to hn and lobsters I was aware of many possible representations but for various reasons I believe that canonical S-expressions are sufficient.. For the sake of argument let's assume this is the case; then suddenly there is a concrete place to manifest all the ideas.. okay so what ideas are most urgent? In my mind it is to explore the space of coordination-free programs and this space is spanned by datalog-ish expressivity. From there this name is born: datalisp... I sincerely believe that this is the easiest thing to agree on as a somewhat eternal foundation for further developments in software engineering, otherwise I would still be looking for that foundation.

However there are too many people who are not ready to move on from our current way of keeping score in society and it is hindering our ability to respond to reality. Afaict the highest priority is climate change (at the moment), everything else is noise. We should be working to bring people useful tools for coordinating a response to that crisis but instead I'm shunned, broke, homeless, etc. All because I refuse to be a part of the problem (and I refuse to be a "hero" so I don't do anything well enough for others to admire, I've been trying to leave space for some ambitious academic type or business type but I'm reaching the end of my patience).

What is the goal? why do we work towards it? For me the answer is clear: we need economics that are less vulnerable to the tragedy of the commons. The reason is we need a way to systematically curb pollution.

Now my approach is debatable but no one seems interested in even having the debate. This is perplexing.

The hardest thing is learning how to relax.

You will die eventually so facing that honestly is good but how does it affect your assessments? Are you going to give up and hedonist? or are you going to try-hard and conservatist? My 2c is to find some balance between the two and find stability in the habits that you enjoy.

Key idea though is to find relaxation, the less you regret or worry, the quicker you can calm down. The more rest you can grab during intermissions the more comfortable you will be. Don't idle on your phone, find peace in boredom.

Dude. You've been exploited and now you're getting fucked. I guess you are in US. I don't have any advice because the uncertified are given rewards for risks that you shouldn't have to take. Drug dealing for example is not a good business to be in. There is legitimate stuff with not as high risk that you can do, but it won't be as lucrative.

Just remember that competence is king and open your eyes to the opportunities that exist around you. Find customers not employers. The former cares about things that you know and understand while the latter will want you to prove things that will cost you a lot to prove. Education is a ridiculously huge opportunity cost and if you do it with loans or while relying on benefits afforded by "student status" it will also become a burden on your health via anxiety about maintaining said status (ymmv I personally don't care much but this affliction is quite common fwict).

Also. Programming is a means to an end. If you already have some web scraping skills etc. then you have some advantages when looking for / exploiting opportunities. But without certification it is tricky to convince anyone to give you a chance. Therefore; customers not employers. Programming can help you test your assumptions w.r.t. business model and manage your business.

I think you'd find more interesting theories if you go to martial artists, fundamentally what you are doing is shifting you balance rythmically.. unless you are trying to learn the social aspects, in which case I recommend never underestimating how lonely people are.

The mind is the sixth sense, I like to call it the nonon because that is how it ideally functions.

Sounds like someone who has been betrayed one to many times.

Since no one has mentioned it yet: Net Interest has some good insight into finance industry.

OMG this made my day. I wasn't expecting it but it's so true haha.