Radu Grigore - Google+

Radu Grigore

278 followers -

argued rigor

278 followers

About

Radu Grigore's posts

Post has attachment

Radu Grigore

Public

This article tells the story of Pergamon, a scientific publisher that was acquired by Elsevier in 1991. Ex-spies who want to become rich. How journals started to try to be prestigious. Impact factors. Fine dining and wine (bribes?). Stealing pensions. Dying on a yacht.

Is the staggeringly profitable business of scientific publishing bad for science? | Science | The Guardian

Post has attachment

Public

Post has attachment

Public

"The Enterprise Java [Programmer] is surpassed in dislikes only by the Academic Programmer."

Who Y Combinator Companies Want

blog.triplebyte.com

Post has attachment

Radu Grigore

Public

13w

Visual Doom AI Competition 2017 @ CIG | ViZDoom

vizdoom.cs.put.edu.pl

Post has attachment

Radu Grigore

Public

14w

Post has attachment

Radu Grigore

Public

[1706.06708] Solving the Rubik's Cube Optimally is NP-complete

Abstract: In this paper, we prove that optimally solving an $n \times n \times n$ Rubik's Cube is NP-complete by reducing from the Hamiltonian Cycle problem in square grid graphs. This improves the previous result that optimally solving an $n \times n \times n$ Rubik's Cube with missing stickers is ...

arxiv.org

Post has attachment

Radu Grigore

Public

11w

"TLBs often consume 20-40% of runtime on modern systems."

A nice summary of how virtual memory is changing, or might be.

Preserving the Virtual Memory Abstraction

sigarch.org

Post has attachment

Radu Grigore

Public

12w

papers accepted at ftfjp 2017

FTfJP 2017 (Formal Techniques for Java-like Programs) - ECOOP 2017

FTfJP is an established workshop, running annually since 1999 alongside ECOOP. Its goal is to bring together people working on formal techniques and tool support for Java, or closely related languages such as C# or Scala, either with the aim to describe, analyse, and verify aspects and properties of ...

2017.ecoop.org

Post has attachment

Radu Grigore

Public

13w

datalog for static analysis

www.ccs.neu.edu/home/types/resources/notes/datalog-for-static-analysis/datalog-for-static-analysis.pdf

ccs.neu.edu

Post has attachment

Radu Grigore

Public

14w

Radu Grigore: You are right: they should not compare mass on and off table, and what I said in the previous comment is nonsense!

The induction they do seems OK, though (including the base case of one rectangle).

Radu Grigore: I think it's a necessary condition, not sufficient. But, in their case it determines X uniquely. In your case, you'd get an interval for possible values of X.

David de Kloet: Isn't it incorrect to just compare the mass on the table to the mass off the table? Doesn't the position of the mass matters as well? Imagine you have 2 bricks, one on each end of a long massless stick. Now you can place this contraption with one brick sticking just off the table and one well onto the table, or with one sticking far off the table and the other close to the edge. In both cases the mass off the table is equal to the mass on the table, but in one case it's very stable and in the other case it will fall right off the table.

Wait while more posts are being loaded

Press question mark to see available shortcut keys