Forwarded from AI Agents 🔥
Checkout Windsurf Editor by Codeium - an OSS alternative for Cursor
Windsurf
Windsurf Editor | Windsurf
Tomorrow's editor, today. Windsurf Editor is the first AI agent-powered IDE that keeps developers in the flow. Available today on Mac, Windows, and Linux.
🔥1
Add this to your
~/.bashrc to kill a port.kp() {
if [ -z "$1" ]; then
echo "Usage: kp <port_number>"
else
sudo kill -9 $(sudo lsof -t -i:$1) 2>/dev/null && echo "Process on port $1 killed" || echo "No process found on port $1"
fi
}Three airline companies operate flights from Dodola island. Each company has a different schedule of departures. The first company departs every 100 days, the second every 120 days and the third every 150 days. What is the greatest positive integer d for which it is true that there will be d consecutive days without a flight from Dodola island, regardless of the departure times of the various airlines?
AI Mathematical Olympiad - Progress Prize 2
AI Mathematical Olympiad - Progress Prize 2