#Constraints

N-gated Hacker Newsngate
2025-07-05

Ah, yes, Gecode: the ultimate solution for when you want to solve but also have an overwhelming desire to spend your life buried in ++ code. 🤦‍♂️ Because nothing screams "fun" and "efficiency" quite like reinventing the wheel with and branching strategies. 🚀 Enjoy your quest for constraint-based nirvana, brave coder!
gecode.org/

2025-06-24

Constraints and When to Remove them

videos.devteams.at/w/cERFwoavu

2025-05-19

Friendgineers: Engineering is all about balancing constraints, both physical and non-physical. The domain doesn't matter. Software engineering is just as much engineering as as designing a building or a bridge.

#friendgineers #engineering #constraints

friendgineers.rosenshein.org/p

Andreas ZellerAndreasZeller
2025-04-10

What do you get if you combine , , algorithms, and in one? A mighty fuzzer! Check out our latest work, to appear at :
publications.cispa.de/articles
To try out Fandango yourself, check out its home page: fandango-fuzzer.github.io/

FANDANGO: Evolving Language-Based Testing
José Antonio Zamudio Amaya, Marius Smytzek, Andreas Zeller

Language-based fuzzers leverage formal input specifications (languages) to generate arbitrarily large and diverse sets of valid inputs for a program under test. Modern language-based test generators combine grammars and constraints to satisfy syntactic and semantic input constraints. ISLa, the leading input generator in that space, uses symbolic constraint solving to solve input constraints. Using solvers places ISLa among the most precise fuzzers but also makes it slow.

In this paper, we explore search-based testing as an alternative to symbolic constraint solving. We employ a genetic algorithm that iteratively generates candidate inputs from an input specification, evaluates them against defined constraints, evolving a population of inputs through syntactically valid mutations and retaining those with superior fitness until the semantic input constraints are met. This evolutionary procedure, analogous to natural genetic evolution, leads to progressively improved inputs that cover both semantics and syntax. This change boosts the efficiency of language-based testing: In our experiments, compared to ISLa, our search-based FANDANGO prototype is faster by one to three orders of magnitude without sacrificing precision...
☮ ♥ ♬ 🧑‍💻peterrenshaw@ioc.exchange
2025-03-25

“Beginning #programmers are often so eager to accomplish the first part of that definition—writing a #program to perform a certain #task—that they fail on the second part of the definition, meeting the stated #constraints.

I call a program like that, one that appears to produce correct results but breaks one or more of the stated rules, a #KobayashiMaru.”🖖🏻 — #VAntonSpraul

#NoStarch <nostarch.com/thinklikeaprogram>

Christophe BousquetKrisAnathema@fediscience.org
2025-03-24

#Ecophysical #constraints on #avian #adaptation and #diversification

@CurrentBiology

"The structure of avian #morphospace follows relatively simple rules defined by ecophysical constraints and trade-offs, but evolution trends toward specialized extremes, where extinction risk may increase"

sciencedirect.com/science/arti

AccordionBruceAccordionBruce
2025-03-08

@markwyner @photovince @nonehitwonder
128mb for two-sides of one perfect mixtape👌

Nastii's Kinkdom🌙☁️☂️🌑🔞SapphoTwinkNastii@kinky.business
2025-02-22
JavriolJavriol
2025-02-04

Life throws obstacles our way, but like poetry's constraints, these limitations can make us stronger & more creative. Embrace the "narrow tube" & let your voice ring out.

Inautiloinautilo
2025-01-23


What makes a good accessibility designer? · Essential skills for designers to tackle accessibility daily ilo.im/161wnj

_____

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst