scscsc

698 karmajoined June 13, 2009On HN

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

Recent submissions

Revisiting an early critique of formal verification lawrencecpaulson.github.io
2scscsc1ydiscuss
Whole Earth Index wholeearth.info
3scscsc2y1 comment
Pedagogical Downsides of Haskell ciobaca.substack.com
74scscsc3y110 comments
Program Proofs (Book)program-proofs.com
1scscsc3ydiscuss
Adding Interactive Visual Syntax to Textual Code arxiv.org
2scscsc5ydiscuss
How to Design for the Modern Web (Satire)medium.com
11scscsc7y2 comments
Availability of Java SE 8 updates for personal use in question after 2020 java.com
1scscsc7y1 comment
[pdf] If You’re Not Writing a Program, Don’t Use a Programming Language bulletin.eatcs.org
2scscsc8y1 comment
Computer Math Proof Shows Reasoning Power (1996)nytimes.com
1scscsc8ydiscuss
In Romania, Vestiges of Communism Boost Women in Tech motherboard.vice.com
3scscsc10ydiscuss
Scooterson – lightweight electric scooter scooterson.com
2scscsc10ydiscuss
Glider goes missing in Romania, is not found despite massive mobilization romaniajournal.ro
1scscsc11ydiscuss
Immediate Mode GUIs mollyrocket.com
1scscsc11ydiscuss
Curiosity – explore the web's best learning videos curiosity.com
3scscsc11ydiscuss

All submissions and comments on Hacker News.