scholaronroad's comments

On: Dumping Parallel NAND with Glasgow

[scholaronroad]

I identify as a west end wanker. I'm yet to see someone strung out on the streets.

[smcn → scholaronroad]

Did you move there a few days ago?

[scholaronroad → smcn]

4 years ago.

On: Compiling with Constraints

[scholaronroad]

Out of curiosity, which university is this? IMO the number of universities that actually teach CP is small.

[mad0 → scholaronroad]

This was on AGH (Akademia Górniczo Hutnicza) in Krakow, Poland. I did my masters there. The course was kind of zero to hero type of thing.

Here is the syllabus (unfortunately it is in polish but maybe you will be able to translate it): https://sylabusy.agh.edu.pl/en/document/065a0d32-a947-4234-a...

[adamnemecek → scholaronroad]

Guessing Monash.

On: Optimize CSS with SAT Solving

[scholaronroad]

Very cool!

On: Introduction to Neural Network Verification [pdf]

[scholaronroad]

Are there any specific mathematical properties that you find beautiful that arise out of this field?

I personally find the reasoning on graphs(neurons) to make the verification tractable really beautiful. :)

On: ‘We Eat Roti and Salt’: Delhi’s Most Vulnerable St...

[scholaronroad]

what makes the quint shady?

On: The secret of academic success, or fun filled fail...

[scholaronroad]

And making people think that you're a wise-ass is better than making them think that you're stupid.

P.S: Exile to UK seems lit fam.