jayprich

@hakankj It seems to owe quite a debt to your painstakingly handcrafted repositary of MiniZinc implementations - I enjoy learning from your examples

Here is Augustin Crespin's Master thesis: "CP-Model-Zoo - A Natural Language Query System for Constraint Programming Models": thesis.dial.uclouvain.be/entities/maste…

Crespin, Kostis, Verhaeghe, Schaus: "CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models": arxiv.org/pdf/2509.07867 The system is available here: cp-model-zoo.info.ucl.ac.be GitHub: github.com/crespina/LLM4CP

A year ago, I was moved to tears when govt agreed to consult on Council Tax debt collection. I’m reposting that video as today IT'S DONE. On the back of @mmhpi campaigning the govt said this morning it WILL change the rules - Currently miss a monthly payment & within 3 weeks, you can be told "pay the whole year". From Apr 27, Councils must wait 63 days to do that & signpost people to help meantime - The max added admin cost is also being capped at £100 Here’s my official quote on it…. “Council Tax debt collection is so aggressive it’d make banks blush. It’s the most vicious and damaging form of legal debt collection out there - causing counterproductive misery for millions. We’ve spent the last 18 months campaigning hard to change this hideous system, and having seen so much pain caused by it, I’m genuinely moved by this huge first step towards making things better.” “Currently, in England, if you miss a monthly payment, many councils, within usually 3 weeks, demand payment for the entire year. How people who can’t find a month’s money are expected to find a year’s I don’t know. Yet if they can’t pay, within just three more weeks, they are often taken to court, have ‘admin costs’ added, and soon see bailiffs sent in. No commercial firm would be allowed to do anything close - constituents are treated worse than customers.” The new rule from next April means councils must wait two months, not 3 weeks, to ask for a year’s money, and the ‘admin costs’ will be capped at £100. In a perfect world, it would be even longer and the lower cap would apply, but this is still a hugely welcome change to a 33-year-old process. For councils too, it is worth remembering that this grotesque system is often catastrophic for people’s finances and wellbeing, leaving many needing more help and support, and ultimately the same council having to pick up the pieces.” last May. Today ITS DONE! Govt has announced

g.co/gemini/share/e… .. I quite like this short bit but it does have an unnatural transition

In case it encourages anyone to apply, there are people in the maths department who would very much welcome the chance to interact with talented young researchers in TCS.

Happy to be able to say that my automatic theorem proving group in Cambridge submitted a successful bid to the AI for Math Fund, launched this year by Renaissance Philanthropy and XTX Markets. 🧵

A £6 million gift by leading algorithmic trading firmXTX Marketswill create more than thirty new PhD and Postdoc opportunities, enabling a new cohort of brilliant young mathematicians to join theUniversity of Cambridge.XTX Markets' generous donation to the... (1/6)

£6m XTX Markets philanthropy.cam.ac.uk/impact-of-givi…

Feestje met The Free Label in Paradiso Amsterdam 🙌 wat een topband! #thefreelabel #paradiso #livemusic #discosoulfunk #songsforSienna

BPJ jailbreak paper ".. informative evaluation points near the decision boundary is akin to uncertainty sampling and query-by-committee, which prioritize examples with high disagreement to maximize information gained per label (Seung et al., 1992; Settles, 2009)" X Davies 2026

(In Urdu) check out Tee's first VLOG : youtu.be/CerW1s51lhY

A cold Spaniard in January still enjoying his day. - made with NightCafe creator.nightcafe.studio/creation/umqqj… @NightcafeStudio @coursiv_io #BeyondAIChallenge

A Hypic AI edited post on my Lemon8 Jambo/jayprich : v.lemon8-app.com/al/AgxeceUsF thanks TikTok

Grok Imagine and #jsoftware

🎬 Our Chair and Founder @MartinSLewis went on @LBC to speak about our recent research on the reforms needed to allow people to get support from a loved one, carer or trusted friend with their finances. Here’s a snippet of what Martin said 👇

My 2025 Wrap - made with NightCafe creator.nightcafe.studio/creation/5hJdm… #ai #nightcafe via @NightcafeStudio

About a decade ago, I sat in a presentation on driverless cars, skeptical. That changed the moment the presenter said something that shifted my perspective: "When a driverless car makes a mistake, all other driverless cars will learn how to avoid it. That’s not the case for traditional cars." There’s quite a difference between learning individually and learning collectively. I was reminded of all this while reading a NY Times column by neurosurgeon Jonathan Slotkin in which he writes: “When compared with human drivers on the same roads, Waymo’s self-driving cars were involved in 91 percent fewer serious-injury-or-worse crashes and 80 percent fewer crashes causing any injury. It showed a 96 percent lower rate of injury-causing crashes at intersections, which are some of the deadliest I encounter in the trauma bay.” #cars #droving #accidents #waymo @nytimes #ArtificialIntelligence #MachineLearning #AutonomousVehicles #TechTrends #FutureOfTech #Innovation #BigData #NetworkedIntelligence

loving playing with Google Whisk and Flow but in awe of their demo "tv" and short films labs.google/flow/tv/channe…