scholaronroad

Watch Directory

Posted by scholaronroad on Thursday August 20, 2026 @06:14AM
from the fewer.directory dept.

( Read More... | no comments | on HN )

Re:Dumping Parallel NAND with Glasgow on Monday April 15, 2024 @12:27PM (#40042659)

4 years ago.

Re:Dumping Parallel NAND with Glasgow on Monday April 15, 2024 @05:37AM (#40038417)

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

Re:Compiling with Constraints on Monday March 18, 2024 @06:45PM (#39750956)

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

Re:Optimize CSS with SAT Solving on Sunday March 17, 2024 @02:28PM (#39736712)

Very cool!

Posted by scholaronroad on Friday March 08, 2024 @03:49AM
from the labs.ripe.net dept.

( Read More... | no comments | on HN )

Re:Introduction to Neural Network Verification [pdf] on Friday September 24, 2021 @07:40PM (#28648987)

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. :)

Re:‘We Eat Roti and Salt’: Delhi’s Most Vulnerable Still Wait for Food on Saturday June 05, 2021 @10:59AM (#27405610)

what makes the quint shady?

Posted by scholaronroad on Wednesday April 07, 2021 @03:04PM
from the youtube.com dept.

( Read More... | 2 comments | 46 points | on HN )

Re:The secret of academic success, or fun filled failure if you prefer on Wednesday February 05, 2020 @10:13PM (#22253147)

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.