Tag: ProofAssistant
-
Tematy, o których teraz się mówi No71
Kursy informatyki, które nie istnieją, ale powinny • Rozproszony DuckDB na 63 węzłach przetwarza bilion wierszy w 5 sekund • Współautor Attention Is All You Need ma dość transformerów • Jak wyłączyć AI w przeglądarce Firefox • Nauka od końca: dowodzenie w Lean z pomocą AI
Algorithms, BigData, BrowserAPIs, CompilerDesign, ComputerScience, DatabaseScaling, DataEngineering, DataStructures, DeepLearning, DevEx, DistributedSystems, DuckDB, FunctionalProgramming, GenerativeAI, MachineLearning, OpenSource, OperatingSystems, ParallelComputing, PerformanceOptimization, ProofAssistant, SoftwareTesting, SystemsThinking, WebSecurity