73 karma · joined October 14, 2024
Interests: constraint logic programming, number theory, meteorology
If they got into trouble I assume they’d just make all the users do it that way…
I’ve been incredibly pleased with DeepSeek this past week. Wonderful product, I love seeing its brain when it’s thinking.
I hate ads, but I’m not paying for YouTube Premium either. That’s how it goes. I get ads.
Acknowledging race in job seeking makes for intrinsically tokenized contingents of people. I’m not just a PHP guy… I’m a BLACK PHP guy, etc.
True equality imo is equivalent to a form of neutrality. Pay no mind to race at all and instead focus on hiring the best hackers available and let the educational markets figure out the rest.
If it weren’t for my kids and my wife, I would’ve blown the money and ended up in poverty or something.
My heart goes out to people raising young ones in today’s world. Seems like things have only gotten harder and more confusing for young parents compared when my babies were young. We didn’t even HAVE smartphones when they were small.
Over time, I’ve just found things to do with my time. I try project Euler problems and I’m pretty interested in meteorology. The rest of the time, I just participate in things my kids are interested in or involved in, though it’s not as easy as when I was young.
Routine is key, and being honestly and wholeheartedly engaged is key. You gotta do the time, don’t let the time do you.
This worked for me anyways.
There a lot of comments here already conflating these two.
This article is also pretty crap. There’s a decent summary box but other than that it’s all regurgitated half-wisdoms we’ve all already realized: things will change, probably a lot; nobody knows what the end goal is or how far we are from it; the next quantum leap almost certainly depends on a transcendent architecture or new model entirely.
This whole article could’ve been a single paragraph honestly, and a lot of the comments here probably wouldn’t have read that either… just sayin
This seems to compile to native code if desired, so does that mean it’s faster than Lean?
Forgive me if these are obvious questions, I’m just curious and on my phone right now away from my machine.
I know a guy that plays chess around the 2000 level, but cannot read. I have a cousin who can memorize a deck of cards, in any order, in just a few minutes. Everybody has different talents, but who gets to decide which brains are worth understanding?
We should be trying to combine and analyze all of the different ways that different brains have capacity for incredible feats of human accomplishment.
Being able to write macros means I can write code the SHAPE that I want, regardless of underlying implementation, but I can also manipulate other equivalently meta forms as well as primitives, which sets it at a higher level than templates.
I’m terrible at explaining, but if you’ve never tried lisp I strongly and wholeheartedly suggest you give it a try. For learning, I’d recommend Racket. Try and get at least as far as syntax-rules and syntax-case.
Anyways, sorry for the bad explanation!
Not to dog on C++ unfairly, CTE is pretty neat after all.
Funnily enough, PGs “On Lisp” has some really neat macros in it that demonstrate capabilities that just can’t be replicated with template based macros, iirc.
Kudos to all involved. Clojure is such a mind bending tool. God only knows what it takes these people to maintain the guts of it all.