openfuture

Funny, when you speak of systems and applications I think of government and companies. We're just seeing Conway's law play out across the planet.

https://en.wikipedia.org/wiki/Conway%27s_law

and what was the proof of these existing designs? peer review?

There is nothing new under the sun. What matters is what is /useful/ and that seems to be the focus for Zig, to be useful. The proven design it tries to improve on is C.

Yep, this is the way we will get some human rights back, people will demand less cognitive taxation.

We usually name things after the first person that wasn't Euler that discovered the thing.

Err, that's the whole reason it is named this way. People will anyway need to specify what kind of penrose thing they want (stairs, triangle, tiling, graphics framework, ...)

I'm painfully ADHD. Extreme. But I have slowly realized that what was actually hurting me is the belief that there is a way to "waste time" ... when I actually relax then I take pretty good care of myself and my surroundings. Of course the modern world is not exactly a place where people relax so I doubt many have realized this. For me yoga is an absolute blessing, I stay away from all amphetamines (never drank coffee) although I did try it a couple of times so I know how it works and I'm glad I don't do it to meet deadlines or further "my career".

Anyway, although I can never predict what I will do or how much I will get done it seems that I am steadily accomplishing more as I learn to relax. Accepting some of my bad habits has made them easier to manage and hopefully let go of eventually and engineering my environment so that I make smaller circles when I'm trying to avoid things has also helped. Most of all though I think what allows me to relax is that I have obtained a sufficient level of skill to survive and I am curious to learn more, even though I am a NDTM I am still converging, all the DTMs are puzzled by my behaviour but I arrive in similar places nevertheless. My credentials / certifications don't necessarily match the things I know, which can be annoying. I wish the evaluation system was decoupled from the education system.

I believe philosophy is the most important tool to better your condition and computer science, scratch that, lisp! is an amazing gateway into philosophy... Evolving to extinction is not intelligence.

whoa! such a simple and obvious thing but actually has affected me a lot... I sink..

Probably they have meetings to discuss the problem.

Sure. Do what you do well BUT you probably won't be able to meet your standards for a _long_ time so "do what you do" >>> "do it well"

Iteration trumps "perfection"

This was some joke played irl, the comment is complete nonsense. Sorry for trolling you, I hope you work out your things.

University and from thinking about large problems I'm interested in.. Also game design.

I basically picked a "side project" that I wouldn't mind doing forever.. So a hobby.. And then I just collect ideas that could be useful and I slowly get bored and go deeper until most of what I read and watch is more "advanced" than it was before... Maybe one day I'll be considered an expert problem solver, if so, it'll be because I took the time to try and solve one problem thoroughly and so many subproblems are cross-disciplinary. When you have some concept of "wasting time" then you'll have too much anxiety to follow this process in a way where you can develop a natural and relaxed approach to problem solving. If I'm wrong and that you need the anxiety to break through some ceiling then I'll spend my life as a happy layman.

I think they come in handy when you've got some functionality that has to happen in a context that you can't easily move between function calls... Then you benefit from the ability to template into the description of that context some actions to perform _before_ you enter into the "black box".

That's pretty abstract but honestly its not really such an earthshattering feature. I'd argue it's pretty much necessary for any "final" programming language to be infinitely metaprogrammable (i.e. a lisp-3) but we don't have a mature language like that yet. Probably it will arrive from laskell/hisp kinda synthesis.

Bah. This meme vastly overstate the difficulty...

I'm sure there is some nonsense reason why everyone understands templates just fine and the web would literally not exist without them because html is so tedious but "macros" are this mythical complicated impossible to reason about thing??!

Seriously there is a limit to how much you can trust all the secondhand garbage "knowledge" you get from reading opinions of people who claim to have tried something.

Setting the record straight:

- common lisp is fast

- common lisp is stable

- common lisp is useful! (and interactive! even impatients can get their instant gratification)

- common lisp has non-trivial libraries for various useful things

- common lisp is simple and has excellent educational resources

- common lisp is crufty but the community has such a high average education that actually the resources have aged well and hides at least as much insight and wisdom gems as the type theoretical FP world that we now put on the pedistal we used to keep lisp on.

- common lisp is huge. No need to learn it all just hack on what you need and magically you'll be able to make software that works.

If macros are such a problem then restrict their use to seniors or "tool devs" (people who go around improving dev ergonomics by extending the language is synonymous to any other DSTool)... This way you have maximum flexibility and by restricting the words you allow you can have this flexibility while you need it while also programmatically restricting your monkeys to a short enough rope that it'll be hard to hang anyone. You can stay in some Java comparible subset (Java because lispers hate on Java like vimers do emacs).

Yes I Markov chained a bunch of sentences in this comment... I am too lazy to fully engage with the "someone is wrong on the internet"-thing, anecdotally it has been my feeling that it is no longer a good way to learn something to be "wrong on the internet" nobody is cleaning up anymore... These days everyone has a job; extract from the commons and go rave while Rome burns.

Lisp, prolog and forth.

Not one that requires me to be on the hook for potentially infinite money.

Honestly AWS is just a casino; people are blowing ridiculous amounts on RNG to try and find nice hash tables that could potentially make money by manipulating cattle.

Some people found out that legitimacy is implied by coordination and started using cryptography to build various ways to coordinate multiparty computations that can simulate various banking/finance protocols.

Web3 is normal web development where you use some APIs to interact with these protocols and condition access to {functionality,resources,..} in your webapp on the current state of the multiparty computation. You can also participate in coordinating the computation.. idk maybe I'm taking the 2007 constraint a bit too far.

This article is a nerd snipe. Be forewarned.

I had some hallucinations of spending the next decades solving crossword puzzles as I read that, but they seem so arbitry I would go crazy, I'll stick to mathematics puzzles.

Too bad man. You know what I mean. I hope you have a good day.

The solution I am still working on is a xyte.ch x330 thinkpad that has been modified to remove bluetooth and mic as well as change the wifi to an atheros card (free software...)

It is also flashed with HEADs and I have a secret on a smartcard (usb stick) that I can use to sign my boot partition.

On the boot partition there will be a minimal system that lets me decrypt my hard drive and boot into my desired guix system generation. The boot partition is signed so it should never change (especially not every time you update your system configuration).

Guix allows you to bootstrap from a minimal seed so once I finish making the software I need for the bootstep I will set this up on that laptop by bootstrapping guix.

For me it's all about trying to go closer to the foundation a la precursor; rather than a theatre like qubes where the complexity is just too much.

In the not-as-distant-as-it-may-seem future I will probably try genode on a pinephone or a laptop and maybe it will be useable and robust..

It itsn't depending on everyone not following it, it is just incomplete; you should review the code or wait for someone you trust to review the code or ,,,do what GP recommends.

You are better off assuming everything is.

Okay, that's a great suggestion, let me go read some more suggestions on how to do something other than research things /s

You wave away my association of "reading _too_ widely" and "analysis paralysis" by sharing your preferred definition of the latter ... but that isn't really an argument against the association of the two.

I didn't say that analysis paralysis causes reading too widely. I said that they are the same, so if you want to take your definition of analysis paralysis as a given then you could say analysis paralysis can cause reading too widely.

Anyway, all I wanted to communicate with my comment is that when you say that you can do "too little of X" but not "too much of X" then you are biased on X, there is always someone who takes X too far and you may not see it because you've associated those people with something totally different.

Personally I don't believe in "wasted time" or other subjective notions (in the abstract) so for me this whole discussion is lacking context (you can waste time if you have a context; some loss function, otherwise no).

Errr.. reading too widely is a well known problem called "analysis paralysis" or "procrastination" and there are several other labels. (Curious!) people who "don't read enough" are great to have around the ones who read too much, from my pov problems stem from these groups being unwilling to work together.

Yeah so I was thinking about this...

Vim has more users than Emacs and lately neovim gained a lot of traction; they managed to coordinate the community on a direction, ask for money, fund a new generation of programmers to learn the codebase and update it to be async and use a different script engine.

Emacs has had several efforts at replacing elisp or rewriting the core in rust or what have you... But they've never been able to budge the local maximum nor coordinate the community on the new direction. Actually, I believe guix is the new emacs because..

Neovim has succeeded in retiring vimscript for lua and from there a community is emerging around fennel (a powerful lisp that compiles to lua). This is the beginning of a very interesting answer to emacs which is growing fresh from old roots and there seems to be a lot of people eager to build tools with these tools.

Although I tend to think the brand value of vim and Emacs is worth a lot I'm starting to see a lot of new editor projects that look somewhat appealing but until the packaging and configuration management gets at least an order of magnitude easier I'm reluctant to spend time with these things.

There are also real common lisp gui frameworks. There's a tcl binding thing, this thing, mature qt and gtk bindings, a native common lisp solution (mcclim). Honestly I was a bit surprised when I was looking around how much there was, check awesome-cl.com

This was news to me.. Looks like he lost 33 billion today but is still 70 billion ahead of Bezos. Surreal T_T

Bravo, great essay on the tragedy of the commons.

Discord does not allow third party clients. In my book that is as user hostile as it gets and due to my FOSSisms I'm effectively barred from using it.

Yeah I was passively scrolling the thread until I found the dude pointing this out.

I second your hunch about the platform lockdown and I'd add to it that the linux monoculture is stopping OS design from moving forward.