News for hackers. Stuff that matters.

bor0

bor0 on Hacker News

Re:Ask HN: I just want to have fun programming again on Wednesday February 08, 2023 @11:57AM (#34710912)
> I like an environment that feels sane and logical and where I am not facing loads of incidental complexity along the way

You should try my (esoteric) programming language (theorem prover), Budge-TP :)

You might find useful my recent write-up about https://bor0.wordpress.com/2023/02/05/writing-your-third-pro...

Re:Idris: A Language for Type-Driven Development on Saturday January 21, 2023 @06:55AM (#34465811)
Hey, author here! Thank you for recommending my book. I am always happy when someone else finds my work useful :)

> Anyone know if there's a decent way to get a printed copy?

I decided to re-publish the book with Apress, and it should be ready for print by March this year.

> How is it better than tdd in Idris book?

I would not say it is better, or worse. I read TDD and it's a great book, but it was mostly focused on practical stuff (i.e. programming in Idris), and I found it lacking the theoretical explanations (for example, what proofs are and how to do a mathematical proof, or what is a type-checker and how to implement one) which I hoped to cover in my book.

Re:Bugs in Hello World on Wednesday March 09, 2022 @02:14AM (#30611750)
It's a good post, but heavily OS dependant. For example, on my Mac:

  $ ls /dev/null /dev/full
  ls: /dev/full: No such file or directory
  /dev/null
I guess in theory, you can imitate `/dev/full` by other means.
Re:How can you not be romantic about programming? (2020) on Saturday February 20, 2021 @03:29PM (#26207634)
Computation has been and is a huge part of my life, and thanks to it I live a decent life with my family. It also helped with self-esteem and other similar things.

But love? Love taught me things I couldn't imagine (in a positive way).

Re:Haskell is a Bad Programming Language (2020) on Saturday January 09, 2021 @07:12AM (#25699716)
The whole article builds on the premise that the main point of every programming language is adoption and growth, while for Haskell we have

> avoid success at all costs

According to that statement, to me it seems that the current "success" (however one defines it) of Haskell is just a side-effect.

Yes, it is used in industry, but I believe the bigger impact here is how other languages "steal" features from it.

Re:Malware Reverse Engineering Handbook on Tuesday July 28, 2020 @11:49AM (#23976997)
Wow. PEiD, ResHacker, IDA. This brought memories. Same tools seem to be used as it was 15+ years ago.
Re:Formalizing Text Editors in Coq on Monday June 08, 2020 @07:15PM (#23461833)
No offence taken! Your first comment was constructive. I am looking forward to make the paper better.
Re:Formalizing Text Editors in Coq on Monday June 08, 2020 @06:51PM (#23461664)
Hi! Author here. First of all thanks to whoever shared this on HN, it was amazing to see it on the front page :)

> but it's not really what it claims to be at all

I agree that the content may be interesting (only) to Coq newcomers, but I disagree with the quoted statement.

If you extract the code to Haskell e.g., and put some IO handling you basically have a line editor.

> the length of the paper almost halves and the amount of substance becomes clearer

Thank you for this. I can amend it in a future version once I get more/other comments on the paper.

Re:Why my book can be downloaded for free (2014) on Sunday April 26, 2020 @01:34PM (#22988669)
This is exactly what I did with my first book. It is available for free on Leanpub, but I charge minimum for Kindle/print using Amazon KDP.

I just wanted to get my message across and learn something on the way. It also sells relatively well, but that is a side-effect of my initial intentions :)

Re:Ask HN: What is your blog and why should I read it? on Tuesday April 07, 2020 @05:59AM (#22801831)
https://bor0.wordpress.com

I blog about math and programming. It is a random collection but mostly (but not only) functional programming, formal verification.

Re:Tell HN: Launch HN Test on Friday April 03, 2020 @05:59PM (#22774359)
TIL about most of this. Thanks for the detailed explanation.
Re:Tell HN: Launch HN Test on Friday April 03, 2020 @08:06AM (#22768329)
> we wouldn't want to go full Haskell and avoid success at all costs

Can you elaborate on that statement? To me, it implies that going with Haskell avoids success, but I might be missing something. If that really is the implication, can you explain?

Re:Using Anki to remember what you read on Monday March 09, 2020 @06:15AM (#22524236)
I usually write a book review post on my blog that contains these highlights. Whenever I need to recall something, I am reading my own posts.

I guess this is similar to spaced repetition.

Older »