Lmst

Just added Web Reachability API (at least that’s what I’m calling it) support to https://ip.small-web.org.

It’s for testing the reachability of your Small Web servers (using a domain or, more importantly, an IPv4/IPv6 address). I’m using it to implement Web Numbers¹ support in Auto Encrypt² and Kitten³.

Protocol:

• At http://<endpoint> return an empty HTTP 200 response that includes the following custom header: 'web-reachability-id': ‘<uuid>'
• Hit: https://ip.small-web.org/reach/<endpoint>/<uuid>/
• If you get a 200 response back, your endpoint is reachable. Anything else signals an error.

Enjoy! 💕

¹ https://ar.al/2025/06/25/web-numbers/
² https://codeberg.org/small-tech/auto-encrypt
³ https://kitten.small-web.org

#WebReachabilityAPI #WebNumbers #IpAddresses #reachability #Kitten #AutoEncrypt #SmallWeb #peerToPeerWeb #SmallTech

Our new datasheet breaks down how Finite State helps product security teams

🎯 Pinpoint the truly reachable vulns & focus remediation
🔄 Automatically resolve ones that aren’t
⏱️ Slash triage time & streamline VEX documentation

https://finitestate.io/resources/reachability-auto-resolve-datasheet

#IoTSecurity #Reachability

@SchellX same as this?… #reachability #accessibility #iphone https://mashable.com/article/how-to-use-iphone-x-reachability

So öffnest Du das Kontrollzentrum auf Deinem iPhone ohne vom oberen Bildschirmrand zu wischen
iPhone-Nutzer:innen kennen das Problem: Mit nur einer Hand das Kontrollzentrum zu öffnen, kann knifflig werden. Apple versteck
https://www.apfeltalk.de/magazin/news/so-oeffnest-du-das-kontrollzentrum-auf-deinem-iphone-ohne-vom-oberen-bildschirmrand-zu-wischen/
#iPhone #News #ActionButton #Apple #BackTap #Bedienungshilfen #Display #HomeScreenVerknpfung #iOS #iPhone #Kontrollzentrum #Reachability

Not all vulnerabilities matter.
If it’s not reachable, it’s not a real threat.

Xygeni cuts through the noise with Reachability Analysis:
🔎 Focus only on vulnerabilities actually invoked by your code
🚫 Skip what’s never triggered
🚀 Native to your CI/CD pipeline

Smarter triage. Real risk. Less noise.

👉 https://xygeni.io/open-source-security/
#DevSecOps #Reachability #AppSec #CICD #SecurityAutomation #Xygeni

Endor Labs ❤️ #GitHub

Context switching is a productivity killer. Developers live on GitHub, so #AppSec should too.

Over the past year, we’ve been working closely with the GitHub team to help customers achieve end-to-end application security, without having to leave GitHub, with remarkable results.

With Endor Labs #Reachability -based #SCA now integrated into GHAS, teams can get best-in-class application security, all in one place.

More about this integration here:
https://github.blog/security/from-finding-to-fixing-github-advanced-security-integrates-endor-labs-sca/

Endor Labs SCA is integrated into GitHub Advanced Security and Dependabot, so devs can (accurately—and that’s *key* here) find and fix vulnerabilities…without ever leaving GitHub.

For development teams awash in #vulnerability reports, #reachability analysis can help tame the chaos and offer another path to prioritize exploitable issues🛡️🔐

https://www.darkreading.com/application-security/reachability-analysis-static-security-testing-overload

The decidability of the reachability problem for vector addition systems (Preliminary Version)
(1977) : Sacerdote, George S. Tenney, R...
DOI: https://doi.org/10.1145/800105.803396
#decidability #VAS #reachability #vector_addition #my_bibtex

https://rahulbhadani.medium.com/control-and-safety-reachability-analysis-part-1-32ce8c23cd4

Reachability Analysis (RA) is a stellar toolbox for safety analysis and safety verification in various contexts, but to name one is autonomous driving and navigation.

#controlsystems #navigation #safety #autonomousvehicles #autonomousdriving #reachabilityanalysis #reachability #mathematics #toolbox #control #engineering #statistics #rl #reinforcementlearning #ai #ml #electricalengineering #aerospace #aerospaceengineering

Vector Addition Systems Reachability Problem (A Simpler Solution)
(2012) : J{\'e}rôme Leroux
url: https://hal.archives-ouvertes.fr/hal-00674970v2
#KLMTS_decomposition #net_theory #presburger_inductive_invariant #reachability #vector_addition
#my_bibtex

@gicycle I'd suggest a critical discussion of #walkability/#cycleability measures and #reachability analyses. Topics like sidewalk width in maps/plans vs real-life usable width might also be eye opening

Bounded reachability of model programs
(2008) : Margus Veanes and Ando Saabas and Nikolaj Bj{\o}rner
url: https://www.microsoft.com/en-us/research/publication/bounded-reachability-of-model-programs/
#SMT #bounded_model_checking #reachability
#my_bibtex

The decidability of the reachability problem for vector addition systems (Preliminary Version)
(1977) : George S. Sacerdote and Richard L. Tenney
DOI: https://doi.org/10.1145/800105.803396
#VAS #decidability #reachability #vector_addition
#my_bibtex