academics – Page 3 – keeping simple

Kirkhart’s conjecture

November 23, 2015 vy academics

Is that there is some insight into the nature of primes that comes from considering the classes of numbers that share the same set of

RTLinux early paper from 20 years ago

November 5, 2015 vy academics, rtlinux, systems

An early RTLinux paper with Michael Barabanov. real_time_1996 Only 20 years later, the idea is now not too scary. Real-Time Linux Michael Barabanov Victor

ultrafinitism

November 4, 2015 vy academics

I have seen some ultrafinitists go so far as to challenge the existence of 2100 as a natural number, in the sense of there being

RISC-V and Bloat

October 12, 2015 vy academics, systems

Went to UT today to listen to David Patterson speak about the open RISC instruction set architecture and processors he and his colleagues are developing.

Einstein and Peer Review

March 7, 2015 vy academics

From Time. Although when I posted this on twitter, I got a good response. https://twitter.com/lsidir/status/573416554265763840 In computer science, well …

Project Roseline

October 17, 2014 vy academics, systems, timekeeper

Accurate and reliable knowledge of time is fundamental to cyber-physical systems for sensing, control, performance, and energy efficient integration of computing and communications. This simple

Why is computer science education so horrible

October 16, 2014 vy academics

This is a post about CS education. It is prompted by a seriesofposts by Mark Guzdial in which he criticizes the pervasive belief among CS

Fischer Lynch Patterson and timeouts

September 20, 2014 vy academics, theory

There is a widely cited (over 1400 cites in CiteseerX ) result called the Fischer-Lynch-Patterson theorem about consensus – a key issue in distributed databases or

the terrible effect of Krohn-Rhodes

December 4, 2013 vy academics, theory

One of the most interesting theorems in computer science is the Krohn-Rhodes theorem that shows a strong link between basic computer science and group theory.

The UNIX file system as a recursive function

January 1, 2012 yodaiken academics

Ignoring “write” operations, for the moment, a file system is just an implementation, a concrete manifestation, of a map from file names to file contents.