Skip to content

Top New Best Ask Show Jobs

scscsc

698 karmaJoined June 13, 2009216 submissions

I'm a lecturer in Computer Science at the "Al. I. Cuza" University in Iasi, Romania. I've received my PhD from ENS Cachan, France.

ciobaca.ro profs.info.uaic.ro/~stefan.ciobaca

In my spare time, I've developed NoThree - a puzzle game for Android.

https://play.google.com/store/apps/details?id=com.ovaludi.nothree.android

scscsc | Better HN

Recent submissions

1

Revisiting an early critique of formal verification (opens in new tab)

(lawrencecpaulson.github.io)

2scscsc1y ago0

2

Whole Earth Index (opens in new tab)

(wholeearth.info)

3scscsc2y ago1

3

Pedagogical Downsides of Haskell (opens in new tab)

(ciobaca.substack.com)

74scscsc2y ago110

4

Program Proofs (Book) (opens in new tab)

(program-proofs.com)

1scscsc3y ago0

5

Adding Interactive Visual Syntax to Textual Code (opens in new tab)

(arxiv.org)

2scscsc5y ago0