Krei-se

8 ms·

121.
by Krei-se 2y ago
Brainfuck is turing complete, why would we worry about any other structure preserving compilers? Brainfuck will do just fine /s CT is outside most problem domains in computation, as its outside the time and space constraints of a machi
122.
by Krei-se 2y ago
You are very close. CT is about structure, not which problem this structure solves. Compilers are closest in what i can think of in this regard: They don't resolve one problem domain, but many. Which one you apply it on is up to you. O
123.
by Krei-se 2y ago
Speak for yourself, monads are easily understood from the philosophical pov: https://en.wikipedia.org/wiki/Monad_(philosophy) which they are derived from in category theory, so maybe go that way if you still need found
124.
by Krei-se 2y ago
Oh i just realized the blog author himself created this post: Boris we love you! Best of luck on your journey and thanks for your work!
125.
by Krei-se 2y ago
He can abstract more models in general frameworks (This is true for every job). He just is hesitant taking the leap to go all Camus and derive money from absurdism ;)
126.
by Krei-se 2y ago
Yeah, but that's kinda the point i made in my original post: You can work towards the general math terms while translating your domain model into higher abstractions, but this will have consequences on your personal life. You can see t
127.
by Krei-se 2y ago
Oh, i can solve this: You will understand his work better once you step out of the narrow category of your work domain model.
128.
by Krei-se 2y ago
This is such a great page, i love it and came across it multiple times while studying the matter. I still would vote to learn it from Milewski though. Learning this is a journey and the author of ct-illustrated is, i think, still in the mid
129.
by Krei-se 2y ago
Buy frozen vegetables, salmon (20€/kg), bio eggs and milk at 1.25 to 2€/L. Add some bread from the baker, whole grain noodles, oats for breakfast and maybe get cheese every once in a while. Vegetable oil, nut oil and whole nuts co
130.
by Krei-se 2y ago
Hey man, awesome job and while i'm hitting that same bug: Changing to 512px does not resize the glasses for me and it's on the wrong placement. This is great for mastodon replies so PLEASE make this work. Hang tight!
131.
by Krei-se 2y ago
https://gomakethings.com/react-is-slow-at-its-very-core/ What's your point? If you disable all remote and interactive stuff you get a fast page render? That's exactly what i criticize here. The page should be
132.
by Krei-se 2y ago
I measured the speed of this blog and it's finished in 5 to 8 seconds after a soft-reload. Even more telling is the use of http 1.1 on partials of this blog when all remote includes do h2 or h3... This is a blog btw, so a static should
133.
by Krei-se 2y ago
I like AI to help me fixing bugs and looking up errors, but i usually architect everything on my own and i'm glad i can use it for everything i would've put off to some coworker who can do the lookups and works on a view or sth. t
134.
by Krei-se 2y ago
custom php backend and vite with vanilla ts / fetch mostly here. It's fast, it's secure, i implement everything myself -> it's flexible. It's great that vite does the bundling, but it's the only job it does.
135.
by Krei-se 2y ago
This is totally awesome - the tech is out there and whether you use it to make videos or solve long human / world problems is up to you. Yeah, we might get the bad killer robots. But it's more likely this will make it unnecessary
136.
by Krei-se 2y ago
I sure am. To add more than just insult, which is not my goal: When you put the drink down issues just disappear. It's not about having to endlessly live through the situations that make you open a drink - if these situations repeat an
137.
by Krei-se 2y ago
I was drinking during my IT Jobs and worked remotely a lot, also know some people that consider themselves preppers and apply for guns, etc. I learned neuroscience to understand AI better and stumbled across sociology and my own issues a lo
138.
by Krei-se 2y ago
yeah, no way him changing places so much has anything to do with being a drunk ass to everyone around.
139.
by Krei-se 2y ago
Because this lifestyle has nothing to do with freedom, but with fear. Once this house is done all those problems will resurface and changing places because it was, once again, one beer too much is not an option anymore. Stuff you see with p
140.
by Krei-se 2y ago
Haha, thanks so much for this level-headed reply. PHP is really great to speed up your backend while not resorting to low-level c or rust. And many people will be able to read the code. I had some modern "AI"-frontend that slowed
141.
by Krei-se 2y ago
/ quote / But if you haven't gone into things like statistical theory (more than ISLR), probability, metric theory, optimization, and so on, it is quite difficult to see how these help you in the same way it's hard to s
142.
by Krei-se 2y ago
Hey godelski, thanks for actually taking the time to clarify on this and it's always great to be taken seriously. I have not really much to add, but i would love to see your energy in educating the people that are commenting here. I li
143.
by Krei-se 2y ago
Oh i forget: Many thanks for the Terry Tao mentioning, i will certainly have a look!
144.
by Krei-se 2y ago
That's true, but i mostly want to encourage coders to learn the vocabulary, because even at one or two years of coding experience you apply most of the rules you need for this (you explained this term way better than i could). In physi
145.
by Krei-se 2y ago
Yeah, i figured that after the replies lol. I'm from Germany, it's mostly US here i guess. Back to topic: One thing that bugged me in school was learning only the derivative rules like n^x => x*n^(x-1) and mostly skipping on us
146.
by Krei-se 2y ago
I don't see any lessons here, just rambling.
147.
by Krei-se 2y ago
You don't need to be more good in math than in high school. AI is a chain of functions and you derive over those to get to the loss-function (gradient) to tell you which parameters to change to get a better result (simplified!). Now t
148.
by Krei-se 3y ago
Programming is not dead. The point you make about write once, run infinite is exactly what machines and LLMs fail at. The booking press didn't kill literature, neither did napster kill music. If you feel stuck in your career path and w
149.
Solving cyclic graphs without supervision(github.com)
4 points by Krei-se 3y ago|1 comments
150.
by Krei-se 3y ago
This is my current attempt to solve recursion in graphs without external supervision. It may seem bland to some, but it took me 8 years to come up with this solution. Webpage: https://krei.se I am currently trying this design to

More ›