Wpis z mikrobloga

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
https://media.ccc.de/v/34c3-9105-coming_soon_machine-checked_mathematical_proofs_in_everyday_software_and_hardware_development

Autovectorised FMA in JDK10 #java
Fused-multiply-add (FMA) allows floating point expressions of the form a * x + b to be evaluated in a single instruction
http://richardstartin.uk/autovectorised-fma-in-jdk10/

#interfacesmieci
Pobierz interface - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and...
źródło: comment_PTTUnTtdD2a7AHhBoDnaoKBAqiNkm5VO.jpg