2019
view article2015
view article2013
view article2007
view article2003
view article2000
view article1985
view article1984
view article1981
view article1980
view article1972
view article1966
view article1954
view article1946
view article1946
view article1920
view article1920
view article1917
view article1916
view article1863
view article1812
view article1791
view article1430
view article9
view articleWeb site created using create-react-app
Scroll Wikipedia like TikTok.
A blog about making culture. Since 1999.,A blog about making culture. Since 1999.
Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located). This is a demonstration of the genuine increase in capability of these tools in recent months, and is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problems, although in most previous cases a solution to these problems was later loca
Why you might not need Oh My Zsh for your Zsh configuration.
It turns out, you can attach an external GPU to a Raspberry Pi 5. So my natural first question is, can I game on it? Let’s try it out and compare it with some similar computers. For the showdown of crappy gaming computers, we’ll see which of these handles gaming best: Beelink MINI-S13 CPU: 4-core Intel N150 @ 3.6GHz RAM: 16GB DDR4 PCIe: M.2 Gen3 x4 More powerful than the Raspberry Pi 5, but at a similar price point. It also has a potential advantage for running games, since it’s not ARM-based.
Senior engineers are best positioned to benefit from AI. We're good enough to avoid slop, and there's so much we can accomplish. I wouldn't go back.
I work as an Engineering Manager at Google, and my teams practice a simple habit - we book all meetings to start at five minutes past the hour (or half hour). This works better than trying to finish five minutes early. Meetings often don't finish on time, and the impact is highest with back-to-back meetings.…
Let's explore some tools that have driven dramatic performance improvements and other innovations in the JavaScript ecosystem.
Hello you fine Internet folks,
An interactive terminal app/UI for MIDI composing, mixing, and playback—written in Rust - minimaxir/miditui
Android une al mundo. Usa el sistema operativo Android de código abierto para encender el dispositivo.