bmc7505

20 ms·

181.
by bmc7505 5y ago
https://en.wikipedia.org/wiki/Brzozowski_derivative
182.
by bmc7505 5y ago
They are if your customers are mostly academic researchers.
183.
by bmc7505 5y ago
It must feel terribly vindicating to be shunned by IAS for pursuing unpopular research, ridiculed by your intellectual heroes for lacking social graces, branded a charlatan your entire professional career by the academic establishment despi
184.
by bmc7505 5y ago
Even more tiny: https://github.com/breandan/picograd/blob/main/picograd.py
185.
by bmc7505 5y ago
Calculus is not just about gradients. Fundamentally, calculus is about calculation and symbolic logic, a much older concept that predates its usage in gradient-based machine learning. In this sense, calculus holds deep connections to logica
186.
by bmc7505 5y ago
ADTs are indeed powerful, but they are one solution to the Expression Problem [1] among many. Just as OOP has limitations, so do ADTs. Until you spend time studying each one and absorb the lessons they have to offer, only then will you real
187.
by bmc7505 5y ago
As others have mentioned in this thread, you are absolutely allowed to write Kotlin in VSCode! There is a perfectly good VSCode extension [1] for it. You may not receive the same extensive support that IntelliJ IDEA provides, but as Kotlin
188.
by bmc7505 5y ago
Programmers spend an inordinate amount of time thinking about languages and tools, but don't want to pay for better ones, even when they are extremely cheap, drastically increase their productivity and save many headaches. Every other
189.
Slack starts to disconnect Russian accounts(rt.com)
1 points by bmc7505 5y ago|0 comments
190.
by bmc7505 5y ago
> "What are recent developments in linear algebra?" Have you heard of geometric algebra? It takes a while to wrap your head around, but unifies a lot of mathematics in a very elegant way. For instance, you can view Euclidean ge
191.
by bmc7505 5y ago
It should be noted that self types are non-trivial to implement and if one is not careful when using them, impredicativity can lead to inconsistent or undecidable definitions.
192.
by bmc7505 5y ago
> It seems wildly impracticable to productionize at the moment (excepting Google, perhaps). There were a couple related papers [1, 2] from Google on learning to index a few years ago. In fact, I'm a little surprised they weren'
193.
Aetherling: Type-Directed Scheduling of Streaming Accelerators(aetherling.org)
1 points by bmc7505 5y ago|0 comments
194.
by bmc7505 5y ago
"Fifty thousand years ago there were these three guys spread out across the plain and they each heard something rustling in the grass. The first one thought it was a tiger, and he ran like hell, and it was a tiger but the guy got away.
195.
by bmc7505 5y ago
If you want arbitrarily complex type-checking, why not just check the property you want at runtime instead using an esoteric typelevel programming language? The whole point of having types in the first place is provable decidability, not un
196.
by bmc7505 5y ago
I guess it depends on the kind of proof we are entertaining. If the proof were so obvious that all observers immediately drew the same conclusion, (e.g., message in the sky, "Experiment #323481 is ending in X days."), then chaos m
197.
by bmc7505 5y ago
If you're interested in collecting a more diverse set of benchmarks, Stephanie Weirich presented her work [1] at the recent WITS workshop [2] comparing the efficiency of different reduction strategies in the untyped λ-calculus across a
198.
by bmc7505 5y ago
> I would also imagine it would challenge the ideas of religious people around the world. It seems to me that simulationism and theism are mostly compatible beliefs, perhaps differing only in the nature of the creator. If anything, evide
199.
by bmc7505 5y ago
I disagree that programming is dying -- tools like Copilot will lead to a Renaissance in the art of computer programming by enabling a larger population to design programs and explore the implications of their design choices. I wrote a shor
200.
by bmc7505 5y ago
Elliott Management strikes again. https://lipperalpha.refinitiv.com/2021/09/breakingviews-elli...
201.
by bmc7505 5y ago
There are different kinds of secure computing. The kind of security you are referring to is based on cryptographic schemes like homomorphic encryption or zero-knowledge proofs. The kind of security I am referring to is language-based securi
202.
by bmc7505 5y ago
It may not be technically possible, but that won't stop misguided people from trying to regulate Turing machines and exploit their vulnerabilities. Rather than putting so much energy into in regulation, surveillance and offensive measu
203.
by bmc7505 5y ago
I think that banning general purpose computers only makes sense if you believe AI cannot be controlled. A more reasonable approach would be to design the program in such a way that by its very nature, fulfills certain criteria that cannot b
204.
by bmc7505 5y ago
Transparency for a start. Leaving our most important decision-making to only those who have the right credentials is like security through obscurity -- credentials can always be hacked by sufficiently motivated actors. Write down a program
205.
by bmc7505 5y ago
I’ve said it before and I’ll say it again. Regardless of where you stand on specific issues like censorship, public health and misinformation, I think it’s really dangerous how counter-consensus opinions cannot be expressed in the open with
206.
by bmc7505 5y ago
> That way lies madness. Perhaps. I think a clearer understanding could also give us a better appreciation of our common values and unique differences. There is something we all share in common: a desire for peace, order, stability. And
207.
by bmc7505 5y ago
I have a theory that if the East and West are ever going to reconcile their differences, we must find a way to retrace how these two great civilizations separated in the first place. What caused our societies to drift apart? Was it primaril
208.
by bmc7505 5y ago
Hey! Thanks for the link. We decided to postpone our coroutine-based implementation until native support for multi-shot delimited continuations becomes more stable. The linked section may be found here [1], for posterity. [1]: https:/
209.
by bmc7505 5y ago
Kägi is also the name of a Swiss chocolate maker: https://www.kaegi.com/
210.
To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism(archive.org)
3 points by bmc7505 5y ago|0 comments

More ›