すべて | 整理中(旧:週一) | 技術 | 中小 | その他 | 英語 | 技術その他 | 英語&技術
New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)
Carl Sagan, nuking the moon, and not nuking the moon (eukaryotewritesblog.com)
Help us
Courtney Nash Discusses Incident Management, Automation, and the VOID Report
In this episode, Courtney Nash, a researcher focused on system safety and failures in complex sociotechnical systems, discu
How to effectively A/B test power consumption for your Android app’s features
17 April 2024
Posted by Mayank Jain - Product Manager, and Yasser Dbeis - Software Engineer; Android Studio Android de
Worlds toughest core Java interview question
Darcy DeClute 08 Apr 2024
The trickiest Java interview question ever asked? In five words or less, explain the red 'x' the Eclipse IDE displays at the end
Capturing A Billion Emo(j)i-ons
This blog post was written by Dedeepya Bonthu. This is a repost from her Medium article, approved by the author.
In stadiums, sports fans love to express themselves by
Othello by Claude
Claude 3 just got released, so I decided to try it out with something everyone around me is talking about; How well does AI write a program?
Read More
Uncategorized (26) potd (18) hu
Posted by yokolet at 4:58 PM 1 comment:
No activity in last 7 days