At #Testrig Technologies, we infuse #AI into web application testing to simplify complex validations and accelerate releases. With smart automation and predictive insights, we reduce rework and help you ship robust web apps.

Start with Free Trial: https://www.testrigtechnologies.com/web-app-testing/

Gave a talk yesterday:
"Property Based Testing to verify a pipelined CPU design (hardware)"
at the New England Programming Languages and Systems Symposium (NEPLS),
about verifying my Fife RISC-V CPU using U.Cambridge's TestRIG (which uses Haskell's QuickCheck) and RISC-V International's RISC-V ISA Formal Specification (written in Sail)

https://nepls.org/
https://nepls.org/Events/36/

#NEPLS #FIFE #RISCV #RVI #Haskell #QuickCheck #TestRIG #PBT #Sail

New England Programming Languages and Systems Symposium Series (NEPLS)

Investigating The Fourth Passive Component

When first learning about and building electronic circuits, the first things all of us come across are passive components such as resistors, capacitors, and inductors. These have easily-understanda…

Hackaday

My new mainsail development system (BTT Manta M5P + CB1). Now my BTT SKR 1.3 can finally be retired.

#mainsail #klipper #bigtreetech #testrig #3dprinting