HNHacker News
TopNewBestAskShowJobs

scscsc

698 karma · joined June 13, 2009

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

submissionscomments

Revisiting an early critique of formal verification

lawrencecpaulson.github.io·2 pts·scscsc·
0

Whole Earth Index

wholeearth.info·3 pts·scscsc·
1

Pedagogical Downsides of Haskell

ciobaca.substack.com·74 pts·scscsc·
110

Program Proofs (Book)

program-proofs.com·1 pts·scscsc·
0

Adding Interactive Visual Syntax to Textual Code

arxiv.org·2 pts·scscsc·
0

How to Design for the Modern Web (Satire)

medium.com·11 pts·scscsc·
2

Availability of Java SE 8 updates for personal use in question after 2020

java.com·1 pts·scscsc·
1

[pdf] If You’re Not Writing a Program, Don’t Use a Programming Language

bulletin.eatcs.org·2 pts·scscsc·
1

Computer Math Proof Shows Reasoning Power (1996)

nytimes.com·1 pts·scscsc·
0

In Romania, Vestiges of Communism Boost Women in Tech

motherboard.vice.com·3 pts·scscsc·
0

Scooterson – lightweight electric scooter

scooterson.com·2 pts·scscsc·
0

Glider goes missing in Romania, is not found despite massive mobilization

romaniajournal.ro·1 pts·scscsc·
0

Immediate Mode GUIs

mollyrocket.com·1 pts·scscsc·
0

Curiosity – explore the web's best learning videos

curiosity.com·3 pts·scscsc·
0

SAT solving – An alternative to brute force Bitcoin mining (2013)

jheusser.github.io·74 pts·scscsc·
26

Understanding 3-way merges

blog.trumpi.co.za·4 pts·scscsc·
0

Why Go Camping?

contributors.ro·2 pts·scscsc·
0

Earn money when travelling

worksurfers.co·1 pts·scscsc·
0

Ask HN: What payment options do I have for starting up?

1 pts·scscsc·
0

Why Pascal is Not My Favorite Programming Language

lysator.liu.se·2 pts·scscsc·
1

Unify Type Classes and GADTs

lambda-the-ultimate.org·1 pts·scscsc·
0

PLT Redex: a DSL for operational semantics

redex.plt-scheme.org·2 pts·scscsc·
0

History of OCaml

caml.inria.fr·2 pts·scscsc·
0

Functory: Parallel/distributed computing library for Objective Caml

functory.lri.fr·14 pts·scscsc·
0

A memory gotcha in C++

nothingintoinsight.blogspot.com·8 pts·scscsc·
0

What happended to the punchcard operators?

1 pts·scscsc·
0

Ask PG: Is voting on HN anonymous?

17 pts·scscsc·
21

The software community has rejected the best research in compilers/languages

cacm.acm.org·6 pts·scscsc·
7

Ask HN: How do you decide if you buy insurance on goods?

4 pts·scscsc·
3

Where is USENET?

21 pts·scscsc·
17