emme
Re:The Xteink X4 E-Ink Reader
on Wednesday June 24, 2026 @04:56PM (#48665524)
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.
Re:Bmc4j – Prove your Java/Kotlin code correct from jUnit style tests
on Saturday June 13, 2026 @08:45AM (#48516756)
Yes, great work, thank you. I tried it a bit, and the experience is much more pleasant than using jbmc directly.
Re:Bmc4j – Prove your Java/Kotlin code correct from jUnit style tests
on Wednesday June 10, 2026 @12:28PM (#48478768)
It seems very interesting, thank you. What's the relationship with the original jbmc project?
Re:Lilith and Modula-2
on Sunday May 04, 2025 @02:08PM (#43888323)
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"
Re:Is the reversal curse in LLMs real?
on Tuesday November 14, 2023 @10:42PM (#38273058)
A proper example is probably "an apple is red" and "red is an apple".
Re:Richard Stallman – How I do my computing
on Sunday July 30, 2023 @12:30AM (#36927817)
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
Re:GPT4 Can’t Ace MIT
on Sunday June 18, 2023 @01:55AM (#36377680)
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)
Re:Programming Isn’t Coding
on Saturday April 01, 2023 @07:31AM (#35399396)
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)
Re:What We Talk About When We Talk About Programs
on Friday December 30, 2022 @09:53AM (#34185556)
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!
Re:Getting Started with Tmux
on Sunday December 11, 2022 @01:12PM (#33945701)
I would add foot to the list: https://github.com/DanteAlighierin/foot
Ask HN: What we talk about when we talk about programs
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...
Smalltalk Squeak 6.0
Matrix Notes
“Code” 2nd Edition
A comic story about Maryam Mirzakhani
Web Emulator for the Kenbak-1 Computer (If You’ve Heard of It)
Mental illness, attention deficit disorder, and suffering
Was the Great Scientist E. O. Wilson a Racist? No
The Freedom Phone is not great at privacy
Re:Ferrari owner Exor wants to build the Italian Y Combinator
on Wednesday April 06, 2022 @08:12AM (#30931150)
And you can use it with a standard OTP generator: https://github.com/andry08/ArubaOTP-seed-extractor
Re:Build your own MENACE (matchbox-powered machine learning computer)
on Monday February 28, 2022 @02:30AM (#30497301)
Two years ago I used MENACE to introduce students to machine learning approaches: it was the final example in course of programming for lawyers.
https://pypi.org/project/lex-game/
The code uses excel files instead of matchboxes... It was in fact an example intended to explore further the use of some libraries for office automation. It also allowed for easy seeing of the weights for different choices, still in a structured way even if outside the program itself.
Creativity as Divergent Thinking
Emacs and the Unix Philosophy
Hitler’s Girlfriend Visited Iceland and the British Invaded
Bertrand Meyer's contributions to software engineering
Re:Ask HN: Anyone know any funny programming jokes?
on Thursday January 21, 2021 @12:05AM (#25855637)
By Alan Perlis
Re:Casio F-91W: The strangely ubiquitous watch (2011)
on Monday November 23, 2020 @12:44AM (#25183932)
I'm happy with mine, but it gains ~1s each day w.r.t. the national radio clock signal. I normally adjust it every couple of days.