not-so-darkstar

The machines are gonna kill us! Please support my work—by taking out a premium subscription for just $6 per month.

why suddenly all websites look the same?

To me, the most interesting part is the architecture of the engine. How you encode a position or a move, how you design the move generator, etc.

Something as simple as encoding the 64-square board in a 64-bit number leads to a rabbit hole that can last years.

After that point, the "AI" part is already solved and you just need to implement it (alpha-beta + all the heuristics).

Most of the recent chess engines simply implement a neural network (by copying Stockfish) and suddenly are at 3000 elo with no effort! Such a waste.

>Likely dead due to obvious LLM writing

I think it's the look of the page: dark background and bright colours with an halo.

When did twitter became the place where presidents share news?

What did they do before it?

shut yo bitch ass up, you n-word

>guy from a village in eastern europe

off-topic but anyone knows why these medium.com-like website have so many trackers in them? 100+ blocked by ublock origin

Good to know people's taxes are spent on this stuff

When he started reading latin in a japanese accent I lost it

Use ~/.config/git/ignore to ignore files in all repositories

I think the other commenters are right, as long as the statement of FLT is correct and no funny stuff is used (admitting theorems without proof or defining new axioms) then it doesn't matter what you used in the proof.

What if the mathematical objects are not encoded "correctly"?

For example, everyone knows that the natural numbers and simple data structures like lists or trees can be encoded with inductive types, but what about the new objects introduced by the proof?

You are talking about vim AND emacs but they have completely different approaches, I wouldn't call that solved?

If instead of general text editing we talk about specialized editors (for example emacs for lisp or powerful IDES) they're gonna beat vim or emacs any day (vim is never going to be better than emacs at writing lisp).

>Text editing is a solved problem.

I have this sentence so much.

Ken Thompson wrote UNIX using a line-editor (QED), judging by his work does it mean text editing was already solved in the 60s?

do you use the AdGuard app or just the DNS?

he sure does like talking about steve jobs

>I built a genetic algorithm simulator with interactive visualizations showing evolution in real-time including complex fitness functions, selection pressure, mutation rates, and more in 1 day. I didn't write a single line of the code.

I'm really trying to understand this. From a learner point of view this is useless because you aren't learning anything. From an entrepreneur point of view it's useless too, I suppose? I wouldn't ship something I'm not 100% sure about how it works.

Don't worry about it! I hope it also prevented you from getting your daily amount of vitamin D

very good stuff, thanks

The only way to understand compilers is to have already written one.

goes hard

it follows the UNIX philosophy of doing one thing and donig it well.

very thoughtful response, thank you.

i see they provide WHOIS privacy for free, great! i'm worried about exposing my personal information on the internet.

do people really put their personal address there?

Yeah, he should also define "you". Is he talking about me, you or himself?

With all the new CLI tools it looks like the opposite to me. For example the ag, ack, rg history.

VS Code still has the same style from 2018.

I don't think terminal multiplexers (even Zellij which claims not to be one) make the experience better. They make it worse, actually, because when you have a problem there's one more thing to keep track of: Your terminal emulator, your terminal multiplexer and your TUI.

A decent terminal emulator like kitty solves all of this.

Another fellow GVim user?

I didn't understand much of you said but it sounded mathy so I'm going to reply with a counterexample, just look up on youtube Russ Cox solving AoC with Acme and tell me that's not impressive!

By the way, using a GUI doesn't automatically using the mouse for everything, think of GVim or Emacs. the problem with terminal emulators is the emulating part, where they are forced to comply with the idiotic rules from the '70s.

I don't understand the idea to make everything terminal-centric. It should be one component of all the tools available to the programmer.

All text editors worth using have a way to open a terminal for that one time you need it, everything else should be a GUI (with all the advantages that come with it).