371–380 of 417 posts
Earlier quoted context omitted.
How about the actual case: many thousands of entities, who confirmed hundreds of thousands of previous results?
Would many thousands of entities, who confirmed hundreds of thousands of previous results be preferable over hundreds of thousands of entities, who confirmed many thousands of previous results?
Earlier quoted context omitted.
Sometimes it matters, many times not. For example I tried to run pip install yesterday on MemGPT on Nix. It failed with a C++ error because they use miniconda. I just created a nix shell with python, pip, etc and ran the pip install command. Things work fine.
Oh God miniconda is a horrible piece of software on Nix. I fell down the Nix rabbit hole, and miniconda was one of the worst things to get working. My first pass used an FHS environment, but eventually I just got the environment.yml file working in micromamba and used that instead. Except micromamba ships it's own linker that I had to override with SHAREDLD, or some random python c++ dependencies wouldn't compile cor…
Definitely Forth and Factor. Every programmer should get a little bit familiar with the concatenative style. 3 days ago i discovered a channel on YT which talks about Forth, even Chuck Moore himself did a talk there talking about GreenThreads and the like. Given that webassembly is a stack language with no GC, i do expect a comeback of concatenative programming some time in the future. https://www.youtube.com/@silico…
Came here to say this, so I entirely agree. I found Forth and the concept of concatenative languages after deep study of the fundamentals of computing, specifically studying Lisps and the Lambda Calculus. Eventually found combinators and the Iota combinator. Finally hit the bottom of the rabbit hole! It really does give the lightbulb moment. “Don’t try to generate code, that is impossible. Only try to realize the tru…
Earlier quoted context omitted.
Isn't this what you want? You are reliably linking to the specific dynamic libraries you are compiling against. Or was the issue that you expected them to be portable? Or use commonly known dynamic library locations?
It was just surprising, is all. When I use use application from a nix shell, it pretty much always works the way I think. The compiler experience was very jarring, but yes I understand why it works the way it does. I was more or less pointing out the UX issues with Nix that end up turning many people away.
Earlier quoted context omitted.
Are you serious?
Nim 2.0 changed the default to treating style mismatches as warnings. E.g. it's something to check but not an error. You can easily set a config to make them an error or ignore them.
Most people know about MediaWiki even if they don't realize they do, because it powers Wikipedia, but I wish more people used it for documentation. You can create highly specialized templates in Lua, and there's a RDBMS extension called Cargo that gives you some limited SQL ability too. With these tools you can build basically an entirely custom CMS on top of the base MW software, while retaining everything that's gr…
Mediawiki is huge and very complex. Why not something more simple like instiki? Personally I would prefer a wiki with git backend. I wrote one [1] but I dont recommend using it. https://github.com/entropie/oy
Earlier quoted context omitted.
My research was in this direction. We already know that these analog neural chips could be orders of magnitude faster than digital equivalents. There is also a lot of military research going on in this area for few decades. However architecture innovations are much faster on software level and dedicated hardware approaches have not been able to catch up. Once things slow down on software level, slowly hardware llms c…
I don't venture too far into analog electronics so I don't know for sure, but it seems like an analog FPGA type system could really take off.
Analog computation. I don't mean just vacuum tubes or even electronics at all. Mechanical analog computing is insane when you get down to it. You have special shapes that move against each other and do calculus . We make these mechanical models as analogs of more complex physical systems. We can turn huge calculations into relatively simple machines. That we can roll two weirdly shaped gears together and get an integ…
Definitely Forth and Factor. Every programmer should get a little bit familiar with the concatenative style. 3 days ago i discovered a channel on YT which talks about Forth, even Chuck Moore himself did a talk there talking about GreenThreads and the like. Given that webassembly is a stack language with no GC, i do expect a comeback of concatenative programming some time in the future. https://www.youtube.com/@silico…
Came here to say this, so I entirely agree. I found Forth and the concept of concatenative languages after deep study of the fundamentals of computing, specifically studying Lisps and the Lambda Calculus. Eventually found combinators and the Iota combinator. Finally hit the bottom of the rabbit hole! It really does give the lightbulb moment. “Don’t try to generate code, that is impossible. Only try to realize the tru…