Hacker News: emme

New comment by emme in "The Xteink X4 E-Ink Reader"

emme — Wed, 24 Jun 2026 20:56:30 +0000

I've bought a X3 and I loved it (with crosspoint). However, the screen broke after just a week, even if I used the official cover all the time. It's a cute gadget but it's too fragile for the intended use: its strength is the form factor, you want to bring it with yourself to read a page in any mobility setting, but its fragility is a critical issue.

New comment by emme in "Bmc4j – Prove your Java/Kotlin code correct from jUnit style tests"

emme — Sat, 13 Jun 2026 12:45:55 +0000

Yes, great work, thank you. I tried it a bit, and the experience is much more pleasant than using jbmc directly.

New comment by emme in "Bmc4j – Prove your Java/Kotlin code correct from jUnit style tests"

emme — Wed, 10 Jun 2026 16:28:43 +0000

It seems very interesting, thank you. What's the relationship with the original jbmc project?

New comment by emme in "Lilith and Modula-2"

emme — Sun, 04 May 2025 18:08:57 +0000

I started programming with Modula-2 and I really believe it was case sensitive. In fact I remember the book I used to learn it (Ogilvie) mentioning the case sensitiveness as a peculiarity of the language: "if case matters in natural languages, why programming languages should ignore it"

New comment by emme in "Is the reversal curse in LLMs real?"

emme — Wed, 15 Nov 2023 03:42:05 +0000

A proper example is probably "an apple is red" and "red is an apple".

New comment by emme in "How I do my computing (2006-2022)"

emme — Sun, 30 Jul 2023 04:30:54 +0000

Yes, I agree, I feel the term "code" potentially misleading. But even "programming" can look as a triviality when presented in schools with no context and simplistic exercises. https://dl.acm.org/doi/abs/10.1145/3571785.3574125

New comment by emme in "No, GPT4 Can’t Ace MIT"

emme — Sun, 18 Jun 2023 05:55:37 +0000

Yes, I have similar concerns. These models regurgitate previously seen strings, previous benchmarks included. When you try to evaluate their sheer ability to reason on the text, however, they perform poorly. (Our experiments with GPT-3 are here: https://doi.org/10.5220/0012007500003470)

New comment by emme in "Programming isn’t coding (2020)"

emme — Sat, 01 Apr 2023 11:31:56 +0000

This ITiCSE working group tried to clarify why we should be interested in programming (not coding) in education: What We Talk About When We Talk About Programs https://dl.acm.org/doi/10.1145/3571785.3574125 (open access)

New comment by emme in "What We Talk About When We Talk About Programs"

emme — Fri, 30 Dec 2022 14:53:55 +0000

The current focus on "coding skills" in schools poses the risk of giving students an overly simplistic and impoverished idea of what programming means and involves. Let's try to change it!

What We Talk About When We Talk About Programs

emme — Fri, 30 Dec 2022 14:53:55 +0000

Article URL: https://dl.acm.org/doi/pdf/10.1145/3571785.3574125

Comments URL: https://news.ycombinator.com/item?id=34185555

Points: 1

# Comments: 1

New comment by emme in "Getting Started with Tmux"

emme — Sun, 11 Dec 2022 18:12:17 +0000

I would add foot to the list: https://github.com/DanteAlighierin/foot

Ask HN: What we talk about when we talk about programs

emme — Fri, 15 Jul 2022 14:55:34 +0000

This may seem like a trivial question (especially on HN!), but there are so many different aspects to programming that it’s valuable to explore them. We are particularly interested in doing this so that educators can develop a broad view of what the purpose of teaching programming is, and deal with a range of views they may encounter as students engage with the subject.

The document has been written by a group of Computer Science Education researchers (WG5 at ITiCSE 2022 [0]), and is available, at https://bit.ly/nop-framework, together with a form for collecting your comments in structured way.

If you are an educator or a CS expert interested in CS education, we would be grateful to have your feedback about the scientific soundness of the document, and its interest, usefulness, and readability for educators. Please, read the accompanying document first, and then complete the survey. The questions in the survey are organized in two parts: the first aspect concentrates on the "facets of programs", the second one explores "How programs are created". The comments collected (anonymously) in the survey will be used to revise and improve the document which will be published as a report by ACM.

I'm one of the member of the working group: I'm happy to answer to any question you may have.

[0] https://iticse.acm.org/2022/working-groups/#wg5

Comments URL: https://news.ycombinator.com/item?id=32108812

Points: 3

# Comments: 0