HN Explorer

scscsc

↗ HN profile [ 90.5 ms ] full profile
Karma
698
Created
June 13, 2009 (17y ago)
Submissions
0
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

  1. Revisiting an early critique of formal verification (lawrencecpaulson.github.io)
    2 points 0
  2. Whole Earth Index (wholeearth.info)
    3 points 1
  3. Pedagogical Downsides of Haskell (ciobaca.substack.com)
    74 points 117
  4. Program Proofs (Book) (program-proofs.com)
    1 points 0
  5. Adding Interactive Visual Syntax to Textual Code (arxiv.org)
    2 points 0
  6. How to Design for the Modern Web (Satire) (medium.com)
    11 points 2
  7. Availability of Java SE 8 updates for personal use in question after 2020 (java.com)
    1 points 1
  8. [pdf] If You’re Not Writing a Program, Don’t Use a Programming Language (bulletin.eatcs.org)
    2 points 1
  9. Computer Math Proof Shows Reasoning Power (1996) (nytimes.com)
    1 points 0
  10. In Romania, Vestiges of Communism Boost Women in Tech (motherboard.vice.com)
    3 points 0
  11. Scooterson – lightweight electric scooter (scooterson.com)
    2 points 0
  12. Glider goes missing in Romania, is not found despite massive mobilization (romaniajournal.ro)
    1 points 0
  13. Immediate Mode GUIs (mollyrocket.com)
    1 points 0
  14. Curiosity – explore the web's best learning videos (curiosity.com)
    3 points 0
  15. SAT solving – An alternative to brute force Bitcoin mining (2013) (jheusser.github.io)
    74 points 26
  16. Understanding 3-way merges (blog.trumpi.co.za)
    4 points 0
  17. Why Go Camping? (contributors.ro)
    2 points 0
  18. Earn money when travelling (worksurfers.co)
    1 points 0
  19. Ask HN: What payment options do I have for starting up?

    I would like to start off a small online business based in Europe and I'm researching ways to allow electronic payments. Classical card processors seem to be out of my reach because they require existing shopping carts…

    1 points 0
  20. Why Pascal is Not My Favorite Programming Language (lysator.liu.se)
    2 points 1
  21. Unify Type Classes and GADTs (lambda-the-ultimate.org)
    1 points 0
  22. PLT Redex: a DSL for operational semantics (redex.plt-scheme.org)
    2 points 0
  23. History of OCaml (caml.inria.fr)
    2 points 0
  24. Functory: Parallel/distributed computing library for Objective Caml (functory.lri.fr)
    14 points 0
  25. A memory gotcha in C++ (nothingintoinsight.blogspot.com)
    8 points 0