mcprwklzpq

I tried to vibe code with HTMX and experience was miserable. I must admit i did it half a year ago using gemini flash, but compared to vibe coding with React at the same time with the same agent it had so much trouble with things that i expected to be trivial that i had to scrap the idea of trying HTMX.

Good news. My phone would have to live another couple of years, and the next one i buy would stay with me for a decade.

Just 10 years ago you could detach back of the smartphone with a nail, then switch the battery in a few seconds yourself. Smartphones even sometimes came with a second spare battery in the box!

Old smartphones were much lighter, smaller and thinner then modern shovel sized bricks with fat batteries. Screens were smaller and so the batteries too.

Phones are boring. They work fine already. I could use my current 3 year old phone another 6 years if it lived through the day without charging.

> Enakshi Barua, 14, said she’s also opposed to the ban, on principle. Barua said. "I feel like the trust isn’t there between the students and teachers." > staff members are collecting around 30 contraband phones a day > There’s a strike system with escalating punishments

Does not sound good.

When does the CTO has time to be the first unit in the pipeline? How much applicants do you have?

From our experience just posting a junior web developer job gets up to 1000 resumes into our inbox. And we just a small company without an established name.

The only possible first step for us is to automatically send everyone an at home coding challenge. This narrows down the list to only about 50 developers that would reply. Only 10 of them would send working code. And only at that point we can actually start to interview.

Except Malevich had written extensively about why he painted the Black Square and he never said it was to reject god.

Malevich even wrote an essay "Бог не скинут: Искусство, церковь, фабрика" (God is not thrown down: Art, church, factory) in which he argued that god exists because it is impossible to prove otherwise.

From this essay it is possible to conclude that Malevich in Black Square painted god as he imagined it. He wrote that since the seventh day of creation god rests and does nothing. That is why it appears as if god does not exists. Black Square depicts nothing.

Like everyone else i rely on open source libraries. I sometimes need to change them either to fix bugs that i encounter or to improve them in some way to better fit my purposes.

It is in my best interest to send my changes to the library maintainer so that i do not have to maintain my own fork of the library.

It is not always in best interest of maintainers to merge my changes because it is either more work for them or their purposes for the library are too different from mine.

Maintaining an open source project is a lot of work and i would also like to hear more from maintainers about their motivation to do it.

Thank you. I downloaded this paper a month ago to read it eventually. Your comment made me read it yesterday and i have a question.

By using the type system would we exlude potentially consistent theories? Is it similar to how limitimg ourselves to a decidable language instead of a turing complete one would prevent us from writing potentially never halting programms that could still halt?

I can ELIP (Explain Like I am a Programmer) statements and consequences of both incompleteness theorems and two related problems.

So the pemise is that you have to write 4 programs, but you can not, they all would fail for some inputs.

1. The first Gödel's incompleteness theorem. A program has to take a set of axioms and a set of true statements about natural numbers. It has to return proofs for all the statements. How it will fail? It would either for some statements return a proof that contradicts itself (so the set of axioms is inconsistent) or return no proof at all (so the set of axioms is incomplete).

2. The second Gödel's incompleteness theorem. A program has to take a set of axioms. I has to return true if program 1 given theese axioms would never retrun a proof that contradicts itself. How it will fail? It would return true for some set of axioms that are inconsistent.

3. Entscheidungsproblem. A program has to take a set of axioms and a statement. It has to return true if the statement is true. How it will fail? It would return true for some false statement.

4. Halting problem. A program has to take a program (in a Turing complete language). It has to return true if the program will ever finish. How will it fail? It would return true for program that would never finish. Or probably would itself never finish. This is also possible for all other programs.