Netsu🇺🇦
@Pitometsu
symbolic💡structural🇺🇦 dreams are not my own
Got some top gear to try, thanks @5htco ❤️ BTW we had truly amazing conversation this weekend that way beyond my level. Looking forward to join groupoid.space/institute/ to bring some weird things to the world
Dependent Types is a scam perpetrated by Big Pi to sell more Vectors
This online course on dependent types looks really cool! The course materials (a WIP book) are freely available online. Link in comments
AIさんのセンスでありえない角度に仕上がった笑笑 球の位置はここで良さそう！ テンティングしなくてもなかなか操作感良くなっちゃって困ったな笑 親指のキーや脚になる部分の厚みやら角度を上手いこと解きながら、操作感も損なわないトラボケースを仕上げにゃいかん。こりゃ骨が折れるわね。
Even the German Nazis didn’t dare to bomb and destroy Ukrainian historical buildings. The Russians are purposefully destroying all of the most valuable Ukrainian historical buildings — some of them hundreds or even thousands of years old.
Russia is sending Ukrainian kids to die as soldiers at the frontline. All the worst outcomes are happening. thetimes.com/world/russia-u…
Software must be code-generated according to the hardware+functional specifications.
Я мрію про час коли буде такий софт шо будь яку залізяку кидаєш і специфікації і пишеться зразу софт автоматом зі всіма драйверами кастомний ідеальний до вимог.
When you see (forall a. f a -> g (a, Object f g)) you should naturally apply Yoneda (forall a res. ((a, Object f g) -> res) -> f a -> g res) = (forall a res. (a -> Object f g -> res) -> f a -> g res)
Object as a Morphism: A Composable Structure Parameterized by Effects @fumieval fumieval.github.io/papers/en/2015…
Hear, hear. Let's make this shit viral.
happyfellow.bearblog.dev/computational-…
"Branchless Programming" is a term used to describe a programming style that improves performance by avoiding branches (e.g. if statements and similar). One of the most common branchless tricks is to use multiplication in place of an if statement:
🩶 the silver aluminum case on the Piantor Pro keyboard The added weight provides solid stability on the desk, and the cool silver finish looks great and feels nice to the touch. Exactly what I need this summer. 👉🏼 More Details: s.beekeeb.com/pa
A metro station in Kyiv is filled with smoke after tonight’s massive drone & missile attack. It’s full of families sheltering from russian terrorism. These images of these crimes should be remembered & stored forever so no one forgets what russia is
You should check out Andras Kovacs "Closure free functional programming in a two level type theory" It's a language with two universes, the lower one representing programs in a language without first class functions and an upper one representing metaprograms which has all the…
why does everyone in ML seems traumatized of formal methods? is there any AI lab, at all, passionate about it? you understand that, even if you don't think it is directly needed for AI, it is the one and only way to check math proofs in a computer - right?
Free will is in some sense a representation of computational irreducibility. It's a representation that you yourself are making that you cannot predict your own decision before you make it.
my goal in life is to make a programming language that combines the readability of APL with the readability of a proof assistant
SMT solvers are such a superpower that I almost don’t want to talk about them because then my usefulness will be diluted. But… SMT solvers are a superpower. Use that info however you will.
the unreasonable effectiveness of: duct tape, wd-40, land value tax, nix, vinegar, generating functions, deadlifting, monosodium glutamate, putting it in anki, air fryer, dichloromethane, wolfram, ffmpeg, bidets, pandoc, colemak, phonics, XLOOKUP, delim/cc, mct oil, smt solvers.