#constraints

What do you get if you combine #grammars, #constraints, #evolutionary algorithms, and #Python in one? A mighty fuzzer! Check out our latest #FANDANGO work, to appear at #ISSTA2025:
https://publications.cispa.de/articles/standard/FANDANGO_Evolving_Language-Based_Testing/28769252?file=53591066
To try out Fandango yourself, check out its home page: https://fandango-fuzzer.github.io/

Good one.

#postgresql #postgres #immutable #constraints #hallucination #hallucinations #claudeai #sonnet37

“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 <https://nostarch.com/thinklikeaprogrammer>

Readings shared March 15, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25 #ACL2 #AI #CHR #Constraint #Constraints #Emacs #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #LogicProgramming #MachineLearning #Math #NLP #Prolog

Curso "Programación declarativa (2006-07)". https://jaalonso.github.io/cursos/pd-06 #LogicProgramming #Prolog #AI #NLP #Constraints #Logic

Readings shared March 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/12-readings_shared_03-12-25 #AI #ATP #Constraints #Haskell #ITP #IsabelleHOL #Jape #LeanProver #Logic #LogicProgramming #Mace #MachineLearning #Math #NLP #Otter #PVS #Prolog

Curso "Programación lógica (2004-05)". https://jaalonso.github.io/cursos/d-pl-04 #LogicProgramming #Prolog #AI #NLP #Constraints #MachineLearning

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

Hello y'all! Long time no see!

Battle Blaze is my absolute favorite jerking off #animation #Constraints, #edging, post-orgasm #overstimulation I'd love a Mistress that would be excited to run many tests on my body~ CW: #alien #abduction, #noncon

#tentacle #milking #hero #superhero #porn

'Homeomorphic Projection to Ensure Neural-Network Solution Feasibility for Constrained Optimization', by Enming Liang, Minghua Chen, Steven H. Low.

http://jmlr.org/papers/v25/23-1577.html

#optimization #constraint #constraints

I really enjoyed this post on a clever combination of general prolog and constraint programming. The binary tree example is fun. #prolog #constraints #clpfd
https://blog.monotonic.tech/posts/1-prolog-traversal-constraints/

'Mean-Field Approximation of Cooperative Constrained Multi-Agent Reinforcement Learning (CMARL)', by Washim Uddin Mondal, Vaneet Aggarwal, Satish V. Ukkusuri.

http://jmlr.org/papers/v25/22-0956.html

#reinforcement #maximization #constraints

'Consistent Second-Order Conic Integer Programming for Learning Bayesian Networks', by Simge Kucukyavuz, Ali Shojaie, Hasan Manzour, Linchuan Wei, Hao-Hsiang Wu.

http://jmlr.org/papers/v24/20-536.html

#optimization #bayesian #constraints

@TeamTopologies is a pattern language that exposes the contradictions in an organisation's operating model that hinder and block the fast flow of change. And yes, if your organisation wants to leverage software, you need to be able to facilitate it. Each organisation is unique and has a different set of #constraints.

4/6

Map Of Russia Scaled by Population In Every 'State'

--

I saw this 'map' of scaled (sic) by population in evet 'state', and as I am ½ way through reading Tim Marshall's book 'Prisoners Of Geography' I was especially drawn to this view, especially remembering how he described the context of Russia's various physiography features (e.g., the Urals) in terms of regional and national politics, history of warfare, population growth, etc

(unfortunately @maps.n.more seems to no longer be on Twitter to do a H/T)

#GIS #spatial #mapping #population #Russia #demographics #visualisation #representation #history #geopolitics #physiography #physicalgeography #PrisonersOfGeography #constraints

> “In the late 19th century, a huge anti-opium movement came together internationally and they were able to impose certain constraints on these massive #EuropeanEmpires, which were actually more powerful than energy corporations are today,” he shares. “I think we can take some hope from that. That’s ultimately what being human is about—to recognise that you have a duty to keep on trying.”
#Limits #Regulations #Constraints #Duty #Obligations #Empires #Corporations

Wiener was wrong. There is ***no*** #communication ***in*** either the animal or in the machine, only #control by the application of #constraints to their inner flow of matter and energy.

Communication is established ***between*** animals and/or machines, and, as Shannon correctly recognized, requires an independent communication #channel susceptible to the environmental disturbance called #noise.

In order to be able to communicate animals and machines must share a common #language or cipher #rules used to code their respective messages. Communication is always one-way and does not require feedback. The sender has no control over the message after it is sent through the channel.

A special case of communication is #observation where the communication is established between the observer system and phenomena in its environment not necessarily produced by other systems "languaging".

Planning Under Time Constraints in Stochastic Domains
(1995) : Dean, Thomas et al
DOI: https://doi.org/10.1016/0004-3702(94)00086-g
#constraints #policy_generation #planning #markov_models #time #scheduling #my_bibtex

Norms in Artificial Decision Making
(1999) : Boman, Magnus
DOI: https://doi.org/10.1023/A:1008311429414
#norms #policy #decision_making #risk #social_space #ai #uncertainty #constraints #my_bibtex

Cool #BrainInspired Surprise:

#ContextChangesEverything comes about 25 years after her previous classic #DynamicsInAction

#AliciaJuarrero is a philosopher and has been interested in complexity since before it was cool

https://braininspired.co/podcast/174/

#complexsystems
#neurotheory
#NeuronalEnsemble
#mindbrain
#neurodon
#neuroscience
#neurobuzz
#constraints
#systemsneuroscience