December 7, 2024 at 12:39 AM
May 17, 2025 at 11:25 AM
gpu accelerated quickcheck
December 16, 2024 at 6:30 PM
gpu accelerated quickcheck
Mi mañana entera (Maomao es el QUICKCHECK no queriendo actualizar las referencias porque si).
June 16, 2026 at 9:14 AM
Mi mañana entera (Maomao es el QUICKCHECK no queriendo actualizar las referencias porque si).
so, on one hand, persistent data structures that use mutation internally but are very careful to expose a pure interface are really cool.
on the other hand my QuickCheck test is failing and if i type the failing input in manually *it passes*
how do i even start to debug this omg
on the other hand my QuickCheck test is failing and if i type the failing input in manually *it passes*
how do i even start to debug this omg
February 16, 2026 at 5:09 PM
so, on one hand, persistent data structures that use mutation internally but are very careful to expose a pure interface are really cool.
on the other hand my QuickCheck test is failing and if i type the failing input in manually *it passes*
how do i even start to debug this omg
on the other hand my QuickCheck test is failing and if i type the failing input in manually *it passes*
how do i even start to debug this omg
every bluesky user should use their enforcement tool whenever necessary
November 15, 2024 at 3:27 AM
every bluesky user should use their enforcement tool whenever necessary
July 15, 2025 at 8:36 PM
Me: wakes up, quickcheck if they've admitted McConnell is go-
Light Too Bright: Person's Reaction
ALT: Light Too Bright: Person's Reaction
static.klipy.com
July 12, 2026 at 6:45 AM
Me: wakes up, quickcheck if they've admitted McConnell is go-
Zumindest die Grünen scheinen sich ja gegen die neuen Arbeitszeiten wehren zu wollen. Mal im Auge behalten, wer es mit welcher Begründung ablehnt.
Quickcheck des Status' hier
www.bundestag.de/dip-api/api/...
dserver.bundestag.de/btd/21/057/2...
Quickcheck des Status' hier
www.bundestag.de/dip-api/api/...
dserver.bundestag.de/btd/21/057/2...
dserver.bundestag.de
May 12, 2026 at 5:41 PM
Zumindest die Grünen scheinen sich ja gegen die neuen Arbeitszeiten wehren zu wollen. Mal im Auge behalten, wer es mit welcher Begründung ablehnt.
Quickcheck des Status' hier
www.bundestag.de/dip-api/api/...
dserver.bundestag.de/btd/21/057/2...
Quickcheck des Status' hier
www.bundestag.de/dip-api/api/...
dserver.bundestag.de/btd/21/057/2...
🐒 And now it's fast-check's turn at tangled.org/fast-check.d...
So far, just mirrors of @github.com on @tangled.org but stability of GitHub is more and more concerning 😟
So far, just mirrors of @github.com on @tangled.org but stability of GitHub is more and more concerning 😟
May 4, 2026 at 6:09 PM
🐒 And now it's fast-check's turn at tangled.org/fast-check.d...
So far, just mirrors of @github.com on @tangled.org but stability of GitHub is more and more concerning 😟
So far, just mirrors of @github.com on @tangled.org but stability of GitHub is more and more concerning 😟
#quickcheck #Parfüm
Mein neuester Zugang:
Ormonde Man Parfum von Ormonde Jayne London:
echt betörender lumberjackduft, balsamig, holzig, tannig, cremig, modern, sexy...wow!🥰 #scent
Mein neuester Zugang:
Ormonde Man Parfum von Ormonde Jayne London:
echt betörender lumberjackduft, balsamig, holzig, tannig, cremig, modern, sexy...wow!🥰 #scent
January 22, 2025 at 8:17 PM
#quickcheck #Parfüm
Mein neuester Zugang:
Ormonde Man Parfum von Ormonde Jayne London:
echt betörender lumberjackduft, balsamig, holzig, tannig, cremig, modern, sexy...wow!🥰 #scent
Mein neuester Zugang:
Ormonde Man Parfum von Ormonde Jayne London:
echt betörender lumberjackduft, balsamig, holzig, tannig, cremig, modern, sexy...wow!🥰 #scent
A canonical example is an example everybody knows for a topic. "Hello world" for imperative programming, "Reverse a list twice" for property testing, factorial for recursive functions.
Where do they come from? Popular people. The Quickcheck paper had "reverse a list twice", so everyone now uses it.
Where do they come from? Popular people. The Quickcheck paper had "reverse a list twice", so everyone now uses it.
April 22, 2026 at 4:17 PM
A canonical example is an example everybody knows for a topic. "Hello world" for imperative programming, "Reverse a list twice" for property testing, factorial for recursive functions.
Where do they come from? Popular people. The Quickcheck paper had "reverse a list twice", so everyone now uses it.
Where do they come from? Popular people. The Quickcheck paper had "reverse a list twice", so everyone now uses it.
Im going to make a breakfast sub with ham and cheese and eggs for dinner
I miss quickcheck and wawa subs :(
I miss quickcheck and wawa subs :(
September 14, 2024 at 9:52 PM
Im going to make a breakfast sub with ham and cheese and eggs for dinner
I miss quickcheck and wawa subs :(
I miss quickcheck and wawa subs :(
Discussions about UFOs have prompted a change in terminology to Unidentified Aerial Phenomena (UAP) to shift focus towards scientific study rather than sensationalism and alien associations.#ufo#uap#aliens#ovni#ufosky
QuickCheck: Does UFO have a new name?
WITH countless claimed sightings worldwide over the years, it isn’t difficult to believe that we are not alone in the universe.
www.thestar.com.my
December 5, 2024 at 2:06 AM
I've gotta give credit to Haskell's QuickCheck, whose design I basically copied wholesale to Rust in the `quickcheck` crate. :-) hackage.haskell.org/package/Quic...
Test.QuickCheck.Arbitrary
hackage.haskell.org
December 18, 2024 at 7:52 PM
I've gotta give credit to Haskell's QuickCheck, whose design I basically copied wholesale to Rust in the `quickcheck` crate. :-) hackage.haskell.org/package/Quic...
Weist die FW da irgendwo selbst drauf hin? Oberflächlicher Google-Quickcheck hat nix dergleichen ergeben.
July 18, 2025 at 12:56 PM
Weist die FW da irgendwo selbst drauf hin? Oberflächlicher Google-Quickcheck hat nix dergleichen ergeben.
i mean yeah i guess. but i was looking at Haskell QuickCheck and just thought, "what if these could be function signatures"
March 5, 2024 at 8:31 PM
i mean yeah i guess. but i was looking at Haskell QuickCheck and just thought, "what if these could be function signatures"
For this year's #fsharp #FsAdvent, I'm announcing a preview of a .NET testing library I'm calling DenseCheck.
DenseCheck is a systematic alternative to QuickCheck/FsCheck's random tester. Like FsCheck, DenseCheck automatically generates values from types!
github.com/sgoguen/Dens...
DenseCheck is a systematic alternative to QuickCheck/FsCheck's random tester. Like FsCheck, DenseCheck automatically generates values from types!
github.com/sgoguen/Dens...
github.com
December 2, 2025 at 5:31 AM
For this year's #fsharp #FsAdvent, I'm announcing a preview of a .NET testing library I'm calling DenseCheck.
DenseCheck is a systematic alternative to QuickCheck/FsCheck's random tester. Like FsCheck, DenseCheck automatically generates values from types!
github.com/sgoguen/Dens...
DenseCheck is a systematic alternative to QuickCheck/FsCheck's random tester. Like FsCheck, DenseCheck automatically generates values from types!
github.com/sgoguen/Dens...
IN NEW JERSEY, EVEN. WAS JUST WHERE DA STUDIO WAS.
THUNK HADTA LEARN LOTSA STUFF TA GET BY DERE.
WAWA BETTER DEN QUICKCHECK. IS TAYLOR HAM, NOT PORK ROLL—UNLESS YOUS SOUTH OF EXIT 7A AND DEN DEY WILL FIGHT YOUS. HONKING BEGINS 0.5 SECONDS AFTER DA GREEN LIGHT.
THUNK HADTA LEARN LOTSA STUFF TA GET BY DERE.
WAWA BETTER DEN QUICKCHECK. IS TAYLOR HAM, NOT PORK ROLL—UNLESS YOUS SOUTH OF EXIT 7A AND DEN DEY WILL FIGHT YOUS. HONKING BEGINS 0.5 SECONDS AFTER DA GREEN LIGHT.
May 14, 2025 at 2:36 PM
IN NEW JERSEY, EVEN. WAS JUST WHERE DA STUDIO WAS.
THUNK HADTA LEARN LOTSA STUFF TA GET BY DERE.
WAWA BETTER DEN QUICKCHECK. IS TAYLOR HAM, NOT PORK ROLL—UNLESS YOUS SOUTH OF EXIT 7A AND DEN DEY WILL FIGHT YOUS. HONKING BEGINS 0.5 SECONDS AFTER DA GREEN LIGHT.
THUNK HADTA LEARN LOTSA STUFF TA GET BY DERE.
WAWA BETTER DEN QUICKCHECK. IS TAYLOR HAM, NOT PORK ROLL—UNLESS YOUS SOUTH OF EXIT 7A AND DEN DEY WILL FIGHT YOUS. HONKING BEGINS 0.5 SECONDS AFTER DA GREEN LIGHT.
#rustlang Crate Highlight
✨quickcheck ✨
One of my favourite testing crates, instead of manually writing individual test cases, you define invariants that quick check will verify against. It comes with built in arbitrary support for most types.
📦 Crates: crates.io/crates/quick...
✨quickcheck ✨
One of my favourite testing crates, instead of manually writing individual test cases, you define invariants that quick check will verify against. It comes with built in arbitrary support for most types.
📦 Crates: crates.io/crates/quick...
crates.io
March 31, 2025 at 7:19 AM
#rustlang Crate Highlight
✨quickcheck ✨
One of my favourite testing crates, instead of manually writing individual test cases, you define invariants that quick check will verify against. It comes with built in arbitrary support for most types.
📦 Crates: crates.io/crates/quick...
✨quickcheck ✨
One of my favourite testing crates, instead of manually writing individual test cases, you define invariants that quick check will verify against. It comes with built in arbitrary support for most types.
📦 Crates: crates.io/crates/quick...
New article: Composing pure Haskell assertions. blog.ploeh.dk/2025/09/29/c...
Composing pure Haskell assertions
With HUnit and QuickCheck examples.
blog.ploeh.dk
September 29, 2025 at 7:49 AM
New article: Composing pure Haskell assertions. blog.ploeh.dk/2025/09/29/c...
Tonight at the meetup @nantescraft we have implemented a simple Bloom filter driven by property based testing, thanks to QuickCheck support for testing distribution of test labels.
October 21, 2025 at 8:20 PM
Tonight at the meetup @nantescraft we have implemented a simple Bloom filter driven by property based testing, thanks to QuickCheck support for testing distribution of test labels.
property-based tests too. Often you don't care about a specific piece of data that should pass or not. Hypothesis/quickcheck ftw
December 1, 2025 at 3:05 PM
property-based tests too. Often you don't care about a specific piece of data that should pass or not. Hypothesis/quickcheck ftw
yelling "Quickcheck!" during the great Wawa vs. Sheetz debate so that both parties can put aside their differences and kick my ass
October 9, 2025 at 1:30 PM
yelling "Quickcheck!" during the great Wawa vs. Sheetz debate so that both parties can put aside their differences and kick my ass