Mastodawn

https://careers.tudelft.nl/job/Delft-PhD-Position-Symbolic-AI-and-Reasoning-Under-Uncertainty-2628-CD/824585702/

Dr. Anna Latour 1d ago

I am hiring!

I have a fully funded PhD position available for someone with an interest in logic and statistics, at Delft University of Technology (Netherlands).

Application deadline: 31 August 2025

#AcademicJobs #AcademicMastodon #GetFediHired #AcademicJob #SymbolicAI #Statistics #AI #ConstraintProgramming #CombinatorialOptimisation #SensitivityAnalysis #FormalMethods #CombinatorialOptimization #Delft #TUDelft #AcademicChatter

PhD Position Symbolic AI and Reasoning Under Uncertainty

Justin Scholz 1d ago

Isn‘t that what we call distributed computing and eventual consistency? @kevinriggle https://ioc.exchange/@kevinriggle/114847580680599665

Kevin Riggle (@kevinriggle@ioc.exchange)

Bradley's Bromide: If computers get too powerful, we can organize them into a committee -- that will do them in. —fortune(6)

IOC.exchange

Bradley's Bromide: If computers get too powerful, we can organize them into a committee -- that will do them in.

—fortune(6)

Z̈oé ⛵6d ago

@lina Few people know it but the reason for this is very simple. While zeroes are round, a 1 has a sharp corner and a hook that could get stuck and damage the insulation around the copper if you would completely fill the line with ones. Instead, sending some zeroes every now and then to flush any stuck „1“ before a clog can develop.

A 0 can be neatly pushed through the copper at high pressure without damaging the cable.

Now you know!

Lars Wirzenius 3d ago

@simontatham I once had a CS professor quip that something that only happens once in a million times happens a thousand times a second on a modern CPU.

Bradley M. Kuhn 3d ago

@liw

I learned “the rare happens more than you think” when I played #poker as my (part-time) job. It's very common for good players to put hundreds of USD into a pot when the opponent has only a 2% chance of winning.

You learn real quick how often 2% happens after thousands of poker hands and thousands of USD lost and won back.

When someone tells me these days something has a 2% chance of occurring, I plan for it. To not do so is to rely too much on luck.

Cc: @simontatham @federicomena

No notes.

BumbleFish 1d ago

I sat down to write in my notebook and cat started screaming at me from the cat tree. She didn’t seem to want anything, but also she wouldn’t stop screaming at me.

So I gave her her own notebook and pen and let her at it.

#caturday

No notes.

Related... Talking with a friend at $unnamed_company discussing their custom VCS that's ... sorta Git w/submodules? But not. And also, it treats every directory as a submodule?

All of this complexity to solve access control for one module. Literally, 1 module.

HoldMyType 3d ago

@petrillic somewhat like calling a a script a micro service ?

That sounds like a problem in the chain of responsibilities in the company.

Someone higher up must have stopped it. The situation "I know the neighbor of my son's best friend and he programmed a solution." will inevitable arise sooner or later. And it must be dealt with accordingly.

It is not a problem of the developing neighbor.

https://www.supernetworks.org/pages/blog/agentic-insecurity-vibes-on-bitchat

💀 Fairchild 💀4d ago

@petrillic See also "Hello, Valley startup bro"

Vibechat... I mean Bitchat.

Identity Is A Bitchat Challenge (MITM Flaw) | SPR

The Intersection of Vibe Coding and Security

Krupo 4d ago

@tankgrrl @petrillic thanks to you, now I know about SPR - TIL!

@petrillic yarr, it's driving me nuts?

Netux 3d ago

@petrillic cue old "I'm in this picture and I don't like it" meme.

Furbland's Very Cool Mastodon™3d ago

@Netux @petrillic

@osman beat you to it! https://hachyderm.io/@osman/114832271651594618

Osman (@osman@hachyderm.io)

Attached: 1 image @petrillic

Hachyderm.io

🅰🅻🅸🅲🅴 (🌈🦄)3d ago

@petrillic but I could make it 0.82% more efficient...by rewriting systemd.

Reuben

@alice @petrillic
...in Rust

sasutina13a 🇨🇦 🇪🇺 🇯🇵 🌐3d ago

@railwhale @alice @petrillic Better yet, write systemd in nullcode.

Nazo 3d ago

@petrillic This is unfair. I'm not even a dev and now I kind of want to see if I can maybe do something with it.

jiub

@petrillic no one has ever escaped this trap

sasutina13a 🇨🇦 🇪🇺 🇯🇵 🌐3d ago

@jiub @petrillic take the wheel and run out the door. It is The Way.

CM Harrington 3d ago

@petrillic @tankgrrl before you is a sound card…

Frost, glow wolf 🐺

@petrillic But reinventing shit is FUN!

Cainmark Does Not Comply 🚲3d ago

This works for mechanical engineers in bicycle shops, too.

alcinnz 3d ago

@petrillic I spend an inordinate amount of time examining the quality of the wheel, and then leave.

Irenes (many)3d ago

@petrillic well played

Käsekuchen 3d ago

@petrillic
Installs Rust now...

Lars Brinkhoff 3d ago

@petrillic This needs rewriting in Rust.

xs4me2 3d ago

Like in: Don’t fix it if, it is not broken?
Think I can…

Aaron 3d ago

@petrillic I'm not a Wayland developer. I immediately walk out through the unlocked door.

Robin Stephenson 3d ago

@aaron @petrillic do you walk out with or without systemd?

Aaron 3d ago

@aglet Without. Why would I take the metastatic cancer with me? @petrillic

Dusty 3d ago

@petrillic the storytellers get there first:
"Elephant's Dream"
https://vimeo.com/1132937

Elephants Dream

The story of two strange characters exploring a capricious and seemingly infinite machine. The elder, Proog, acts as a tour-guide and protector, happily showing…

Vimeo

veetee 3d ago

@petrillic question: is the wheel implemented in rust?

Luka Rubinjoni 3d ago

@petrillic In case you wish to fork the project, here's a rusty fork that you'll need to...

Cavyherd 3d ago

"Yes, but if I do have to reinvent it, how many corners should it have?"

Jan Peterka 3d ago

@cavyherd @petrillic It should be extendable for any number of corners some future update and/or plugin decides to support.

Also this version of wheel will support containerization of course.

Andrew 3d ago

@petrillic actually thats a GNU/Wheel

delve ✨3d ago

@petrillic I'd like to interject for a moment. What you're referring to as Wheel is in fact GNU/Wheel, or as I have recently taken to calling it, GNU plus Wheel...

morfil (any)🌈3d ago

@petrillic I have notes. As I understand, the whole point of open source is to NOT be dependent on big for money corporations but to form a community and do it yourself, as a collective. That demands a sort of ' I'm not just gonna buy, I'm gonna make' sort of attitude that starts with curiosity and then lets creativity do its thing. So perhaps just leave the efficiency thing to the big money cops? Otherwise you might lose more than you gain?

hazelnot

@petrillic ohhh so that's what the wheel group is for

Don Faulkner 3d ago

@petrillic do I need a “drivers license” or something to use this wheel? Is the drivers license open source compatible?

Magnus Ahltorp 3d ago

@petrillic You’ve found a letter from the SCO marketing department. And no, their wheel wasn’t working just fine.

Rachel Greenham 3d ago

@petrillic ok wise guy, you tell us what colour it should be

Scribblemacher 3d ago

@petrillic Web Dev: "This is just silly. Do npm install truck, and take the wheel off the truck"

Franchesca 3d ago

@scribblemacher @petrillic Coming from a C++ background and into Python, I feel this one pretty deeply 😅

Why Not Zoidberg? 🦑3d ago

@scribblemacher @petrillic but that gives a bloated package library.

violet 3d ago

not a linux dev but I feel targeted by this as I am thinking about writing a small simple static website/blog generator for my personal website

Jess👾3d ago

@petrillic But do we have the full specifications for how the wheel is made? Maybe they're all kept as a trade secret or with a restrictive license. I should probably reinvent it under a copyleft license just in case.

EndlessMason 3d ago

@JessTheUnstill
Sure this wheel looks fine, but the company that makes it is out of business and we can't rely on this one forever

Salva 3d ago

@petrillic but... What if I can rewrite in rust?

Ehay2k 3d ago

But what if the wheel was an oval? Let me work on that!
🤔

😂

Why Not Zoidberg? 🦑3d ago

@petrillic But part of the wheel is made by code I personally don't feel is Free As In Freedom enough. Even tho it's under the standard open source licenses.

saucerlost 3d ago

@petrillic
I made it out! I didn't reinvent the wheel, I just gave it a new GUI with absolutely no dark mode option

...oh god, I'm a monster

MarkAssPandi 3d ago

@petrillic Once again I see post that relates rly well with my talk "Art of reinventing the wheel"

Joan CiberSheep (ell/això)3d ago

@petrillic ah, yep. Tear off the 200 MB rubbish code inserted by Microsoft, so it's only 5kb

Hi Jigsaw!

Reinventing what? The saw trap?

Seems to be interesting, how it is working. And if there is a way to get the wheel out of the trap without damaging neither the wheel, the trap nor myself.

Should I check the door first and make sure, it stays unlocked? But the door is pretty uninteresting, it is just an unlocked door.

1/2

We reinvent wheels to understand, how wheels are made. To be able to build wheels, which perfectly fit our needs.

And the knowledge from reinventing wheels gives us the power to evaluate and assess a saw trap and find ways around it.
For fun. And to become better.

By the way, I don't care about YOUR challenge. I create my own challenges. They are far more interesting to me and way more complex. But you probably don't understand that.

Adept

Jigsaw creates challenges for others.

I create challenges for myself.

We are not the same.