Write formally verified webapps in Lean for Node/serverless/edge
Auto Dismiss Mac OS "Allow <app> to find devices on local networks?"
Désactive les publicités, recommandations d'actualités et notifications marketing des systèmes Android chinois via ADB. Ne nécessite pas de root, est réversible et peut être lancé par un agent IA.
Pour les utilisateurs de téléphones Android chinois
Code source pour déverrouiller les fonctions tensor des GPU RTX 4090, et de façon expérimentale RTX 4070 Ti SUPER. Le firmware est généré localement.
Pour les bidouilleurs de GPU Nvidia série 40
Application PWA illustrée pour apprendre 7298 mots de vocabulaire IELTS, avec audio britannique et américain et révision FSRS. L'app est libre et le jeu de données est en CC BY 4.0.
Pour les candidats à l'IELTS
