| GitHub | github.com/sparvu |
| Work | www.kronometrix.com |
A rare wild cat was caught and photographed in the Retezat National Park (https://lnkd.in/dznC6un4)
Original article:
https://lnkd.in/dUTjcmWc
#romania #retezat #forest #wildcats #forests #ecology #naturelovers
The car carrier <a href="/world/europe/car-carrier-still-burning-off-dutch-coast-hunt-cause-begins-2023-07-27/">burning</a> off the Dutch coast since Tuesday night is carrying nearly 500 electric vehicles, ship charter company "K" Line said on Friday, significantly more than the 25 initially reported by the coastguard.
You need 4 main things to build better software:
☑ Precise designs (the specs) for your application, using formal methods
☑ The right programming language to implement the design plans
☑ Proper testing (Validate and Verify)
☑ Prediction to quantify the performance of your application
That's it.
Old work, but still valuable for anyone building or running Java applications.
This was a presentation I wrote during #OpenSolaris times, about Sun's Hotspot Java Virtual Machine. Includes a technical description on the HotSpot architecture, how to troubleshoot and trace your applications using DTrace for Java, and on top of these includes a simple method to help you configure the java virtual machine for your workloads and applications.
Java Virtual Machine Internals - How to use and improve your Java applications - GitHub - sparvu/jvm-internals: Java Virtual Machine Internals - How to use and improve your Java applications
We all use testing to ensure our software works correctly in different situations. But testing alone is not enough as there is no way to run a program through every conceivable input. To build safe and secure systems, we need to use different methods. Enter formal methods.
https://www.brookings.edu/techstream/formal-methods-as-a-path-toward-better-cybersecurity/
#cybersecurity #software #hardware #hardwarehacking #softwareengineering #softwaredevelopment #softwareengineers
