Property Testing

Feeds to Scour
SubscribedAll
Scoured 42 posts in 13.0 ms

Researchers improve efficiency, durability of nickel-based SOECs for electrochemical CO₂ conversion

 📐Formal Methods
techxplore.com·
Less-relevant results

The “Big Shrink”: Over half of 50 largest school districts in US facing deep cuts as war on education escalates

 🐛AFL
wsws.org·

wzhudev/reverse-linear-sync-engine: A reverse engineering of Linear's sync engine. Endorsed by Linear CTO.

 📐Formal Methods  Content type: Code
github.com··Hacker News

The Tragic Case of The Youngest Person Ever Diagnosed With Alzheimer's

 🐛fuzzing
sciencealert.com·

Radiotherapy boosts tumor control in advanced melanoma, especially with immunotherapy

 🐛AFL
medicalxpress.com·

Off By !: Exploiting a Use-after-Free in the Linux Kernel

 🔄Stateful Fuzzing  Content type: Blog
blog.exodusintel.com··Lobsters, Hacker News

Balancing What’s New with What Works: Isko’s Fabric Strategy

 🌐Networking  Content type: News
wwd.com
·

Covariance Shrinkage via Stochastic Interpolation

 🐛fuzzing  Content type: Academic
arxiv.org·

Carhartt’s Under-the-Radar Offshoot Returns with Rare Jackets and Deadstock Grails

 📐Formal Methods
gearpatrol.com·

RFID Tags Market Growing at 9.9% CAGR to Surpass $ 42.2 Bn

 🐛AFL
vantagemarketresearch.com·

EventRadar: Long-Range Visual UAV Discovery through Spatiotemporal Event Sensing

 🐛AFL  Content type: Academic
arxiv.org·

Solid–solid catalysis for sustainable alloy synthesis

 📐Formal Methods  Content type: Academic
nature.com·

FireANTs unlocks faster medical image matching, cutting analysis from a week to minutes

 🐛AFL
medicalxpress.com·

Scientists identify three distinct paths of cognitive decline in early Alzheimer’s disease

 🐛AFL  Content type: News
psypost.org·

When cosmonaut Valeri Polyakov stepped out of his Soyuz capsule in March 1995 after 437 consecutive days aboard Mir, doctors recorded him at several centimetres above his pre-flight height, and his spine had become so unaccustomed to gravity that the recovery team carried him to a chair rather than risk the compression of letting him walk.

 🔄Stateful Fuzzing
maketecheasier.com·

Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers

 🐛fuzzing  Content type: Academic
arxiv.org·

New Huntington target may open simpler drug path to slow brain damage

 🐛AFL
medicalxpress.com·

Robust high-dimensional Bayesian regression with non-Gaussian errors under global--local shrinkage priors

 🐛fuzzing  Content type: Academic
arxiv.org·

Bayesian Global Fr\'echet Regression via Weak Conditional Expectations

 🐛fuzzing  Content type: Academic
arxiv.org·

rfgplk/micron.cpp: a pure C++ implementation (& redesign) of libc and the standard library

 🏗️Compiler Design  Content type: Code
github.com··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help