#PropertyTesting
LightNews LightNews
lean-lang.org
Really enjoyed this talk by @harrisongoldste.in that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data.

#LeanProver #Metaprogramming #VSCode #PropertyTesting
June 30, 2025 at 9:14 PM
informaq.bsky.social
Quantum computers achieve exponential speedup for testing Fourier dimensionality using O(k/√ε) queries versus Ω(2^(k/2)) classically. Demonstrates quantum advantage on a natural, efficiently testable problem—not a contrived one.

#QuantumAdvantage #PropertyTesting #Research
Exponential Quantum Advantage in Testing Fourier Dimensionality
arxiv.org
September 23, 2026 at 3:20 AM
leanpub.bsky.social
NEW! Leanpub Book LAUNCH 🚀 Logic for Programmers by Hillel Wayne

youtu.be/27IJacqgHSU

#books #leanpublishing #selfpublishing #FormalMethods #LogicForProgrammers #PropertyTesting #TLAPlus #SoftwareVerification
August 1, 2026 at 11:45 PM
caleb.jasik.xyz
Alright fuzzing friends-

good time to reconnect and help each other fuzz harder better faster stronger

Reply with how long you’ve been fuzzing, preferred fuzzing framework, how you approach writing a harness and validating results

#Fuzzing #PropertyTesting to help find each other
January 29, 2026 at 3:51 AM
leanpub.bsky.social
From the Leanpub Blog: Leanpub Book LAUNCH 🚀 Logic for Programmers by Hillel Wayne

leanpub.com/blog/leanpub...

#books #leanpublishing #selfpublishing #FormalMethods #LogicForProgrammers #PropertyTesting #TLAPlus #SoftwareVerification
August 2, 2026 at 12:15 AM
davearonson.bsky.social
Upcoming speaking engagements:

Devoxx Belgium (devoxx.be): "Kill All Mutants! (Intro to Mutation Testing)"

NDC London (ndclondon.com): "From Examples to Exhaustive: Intro to Property-Based Testing"

#conferencespeaking #conferences #testing #softwaretesting #mutationtesting #propertytesting
Devoxx Belgium – A Developer Community Event
Join 20,000+ developers at Devoxx Belgium. Explore AI Agents, Java 25, and cutting-edge tech. Annual conference in Antwerp with talks, demos, and networking.
devoxx.be
September 16, 2026 at 3:23 PM
frankel.ch
Why #PropertyTesting Finds Bugs #UnitTesting Does Not
Why Property Testing Finds Bugs Unit Testing Does Not
I intended this newsletter to be my thoughts without editing, and I have a new thought, so here goes. I want to respond to this discussion: But Kids These...
buttondown.com
May 24, 2025 at 10:54 AM
caleb.jasik.xyz
What's the latest in #PropertyTesting #Flutter apps?

pub.dev/packages/pro...?
github.com/kindone/dart...?
github.com/szktty/kiri-...?
seems like is the way for most tests: dart.dev/tools/testing

#iOS #Android #AppDev
property_testing | Dart package
A property-based testing framework for Dart with powerful generators and shrinking capabilities
pub.dev
January 30, 2026 at 6:18 PM
kindtech.bsky.social
Property-based testing keeps losing the argument for stateless CRUD but keeps winning for parsers config validators and anything with combinatorial input space. Choose the technique per surface
#PropertyTesting #Testing #QA
August 20, 2026 at 4:22 AM
informaq.bsky.social
Quantum algorithms achieve quadratic speedups for testing mean similarity across multiple distributions, with proven complexity bounds demonstrating optimality in both query and sampling models.

#QuantumAlgorithms #PropertyTesting #Research
Quantum Speedups for Testing Similar Means
arxiv.org
August 4, 2026 at 9:23 AM
newsfile.bsky.social
Advanced Gold Copper, Gold, Silver VMS Drilling, Buck Lake, Ontario #JuniorMining #Mining #MiningStocks #Copper #DrillResults #Gold #Metals #Ontario #PreciousMetals #Silver #CSEStocks #OTC #OTCMarkets #OTCStocks #SmallCaps #Investing
Toronto, Ontario--(Newsfile Corp. - December 1, 2025) - Advanced Gold Exploration (CSE: AUEX) (FSE: HZ2) (OTC Pink: AUHID) ("Advanced Gold" or the "Company") is pleased to announce the commencement of a follow up drill program on it's 100% owned Buck Lake property in Ontario Canada.HighlightsAt least 500 meters of drilling at Buck Lake PropertyTesting high-grade copper mineralization in a VMS-Type geological environment discovered in 2022 drillingDrilling to commence immediately - drill...
dlvr.it
December 1, 2025 at 2:01 PM
renzume.com
Sublinear algorithms: process massive datasets faster by reading only a fraction of input data
https://people.csail.mit.edu/ronitt/sublinear.html
#algorithms #bigdata #optimization #computationalefficiency #propertytesting
February 24, 2025 at 1:23 PM
ftwynn.bsky.social
#PropertyTesting Pattern: Some things never change

Examples:

- Adding the same permissions to a user
- Removing a user from a group
- Changing a user preference
Diagram showing Idempotency
February 20, 2025 at 3:08 PM
ftwynn.bsky.social
#PropertyTesting Pattern: There and back again

Examples:

- Serializing and deserializing
- Toggling preferences / settings
- Writing and deleting an object from storage
- Adding and removing a fixed value from a Number
Diagram showing that applying the inverse of a function gives you the original.
February 19, 2025 at 3:13 PM
ftwynn.bsky.social
#PropertyTesting Pattern: Different paths, same destination

If order truly doesn't matter, you should confirm that. Notable examples:

- Adding items in a cart (esp w/ & w/o sales)
- Changing user permissions
- Adding data sources
February 18, 2025 at 2:21 PM
ftwynn.bsky.social
If you're looking at putting #propertytesting into practice and drawing a blank once you open VSCode, this is the best article for direct help.

https://buff.ly/4b6cPSv

I'll dive deeper into it over the week, because the patterns apply to services instead of just functions.

#testing
Choosing properties for property-based testing
Or, I want to use PBT, but I can never think of any properties to use
buff.ly
February 17, 2025 at 3:23 PM
caleb.jasik.xyz
Made bsky.app/profile/did:... so you can keep your pulse on what's happening with #fuzzing and #PropertyTesting on bsky 💖

it currently sees 4 posts, let's see if this one shows up in it 😄
January 27, 2026 at 1:40 AM