HNHacker News
TopNewBestAskShowJobs

7kmph

27 karma · joined January 8, 2015

submissionscomments
7kmph··on Shipping a laptop to a refugee camp in Uganda
Bram Moolenaar tips his hat
7kmph··on Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon
this is the company that cold emailed many people via email on GitHub.
7kmph··on Liquid Glass Is Cracked, and Usability Suffers in iOS 26
If anyone here from apple is reading, does the leadership even aware of this problem?
7kmph··on Liquid Glass Is Cracked, and Usability Suffers in iOS 26
The board should have stepped in and fire whoever signed off on it, the designers who have advocated this (because they have no taste thus not fit). I feel like Apple is running on the momentum of Steve Jobs.(The hardware is good though). I cannot realistically expect them to go McMaster Carr but at least rollback these distracting light pollution
7kmph··on Making reliable distributed systems in the presence of software errors (2003) [pdf]
It probably won’t, would kill too many businesses and jobs. And frankly many people don’t see its value
7kmph··on Design the next iPhone
No BB keyboard?
7kmph··on Meld is a visual diff and merge tool targeted at developers
And the theme is unusable on KDE dark theme to a red blue color blinded user.
7kmph··on To learn a new language, read its standard library
Mathematica left the chat
7kmph··on Ask HN: What could a modern database do that PostgreSQL and MySQL can't
Make you think that there is hope for humanity after all
7kmph··on Is rust hitting the sweet spot between bad and good?
Part of me wish that this interview is posted on HN as a real one, for the greater good.

This is really an enjoyable read, I'm glad I didn't skip it.

7kmph··on 12 requests per second: A realistic look at Python web frameworks
Could you share your company’s website?
7kmph··on A notebook-free notebook or Jupyter dev env for coders
This will be downvoted: Ideally you should not write tests.
7kmph··on Java is better than C++ for high speed trading systems
Sarcasm?
7kmph··on Vdx – An intuitive CLI for processing video, powered by FFmpeg
Why judge someone who sh*t in the middle of a park without asking for anything in return?
7kmph··on Vdx – An intuitive CLI for processing video, powered by FFmpeg
What do you expect from a programmer who chooses JavaScript as the language of a cli tool?
7kmph··on Color blindness
I once got married just to know whether my battery pack is charging or not.
7kmph··on Delphi 2 can compile large .pas files at 1.2M lines per second
So what? compiler should catch bugs as soon as possible, as much as possible, at compile time, if it can do this fast, great! if not, then not that great, but far better than chewing through billions lines of code and do nothing, leaving you all your bugs to the run time.
7kmph··on Memory safe ‘curl’ for a more secure internet
I find myself in the need of a "lib_download" a few times, a high level library that:

- support HTTP/HTTPS

- support proxy (for by-passing firewall, censorship, etc, http/https/socks5)

- download one large file in parallel (configurable temporary directory)

- download many small files in parallel (seems too high-level to put in a library, not sure this is a good feature)

- configurable retry (maybe too high-level to put in a library)

- resume download

- good error semantics

- an interface with defined behaviour

- progress report (useful for downloading large files)

I tried using a wrapped (in rust) version of libcurl, and in the end I decided to just use the curl cli, and read through the man page and pass about 13 arguments to it to make it's behaviour defined (to me, to a certain confidence level), I also pinned the curl executable to a specific version to avoid unknown changes.

The end result works, but the process is unnecessarily complicated (invoke the cli binary, know what argument to pass, know the meaning of the many error codes), and the resume is not pleasant to use. I guess libcurl is designed to be that way, so that to an curl-master, he can tune all the knobs to do what he want, but to a average library user who just want to download things, it requires more attention than I'm willing to give to.

Used in an interactive context, the issue of defined behaviour is usually overlooked, but when used a library in a program that runs unattended and expensive to upgrade/repair, achievable defined behaviour is a must, and test is not an alternative to it, even experience is not an alternative (experience are time consuming to get, and not transferable to others).

All package managers needs to download packages from internet, often via HTTP, it's good to have a easy-to-use, well-defined, capable download library, many of them uses curl (Archlinux's pacman, rust installation script), many of them use others with varying level of capabilities, I thinks it would be beneficial if we can have a good library (in rust) for download things.

7kmph··on Color blindness
I'm r/g colorblind, the biggest takeaway from this article is that, there are different colors in the stars??
7kmph··on Fossil
Would like to see a SCM that:

- handles large files effectively (build artifacts, 10-40GiBs each, and other binary dependencies)

- partial checkout of the repo/view

- git style operations (have stage area, can stage parts of a file, can stash changes and reapply later, cherry pick)

- can view the history of an individual file (support file relocation)

- access control on individual files, and partial review of the repository (views are "granted" to developers)

- good tooling

- immutable when it makes sense (e.g. you cannot changed a published commit)

- works offline (if possible)

- large mono repo

I evaluated git annex and git lfs, and finally chosen Perforce, mainly for its large file handling, view for each developer and ACL, but the lack of flexibility makes me don't want to commit, and every time I do a merge, I say to myself, "uuh, this again". The other thing it lacks is the "ease of mind", with git, everything is checksummed, if the content changes, it will be noticed by git, with Perforce, you have to tell it you want to edit it. (Not nit-picking on Perforce, I actually think Perforce is a good software, its server runs flawlessly, and have a good p4v (if you don't mind the friction), I think it just lacks good tooling and git style operations)

7kmph··on I can't keep up with idiomatic Rust
Sad to see that rust is heading towards a wrong direction. I think everyone in the core team should be stopping what they are doing and write Haskell for a year. This way they can appreciate the benefit of Haskell, and know what to avoid when they implement those ideas in rust, and anyone who trying to make the language and the philosophy more like c++ or java should be banned from the rust community
7kmph··on “Evolving Erlang into a modern statically typed programming language”
Compared with the type checker in Haskell elm rust, dialyzer isn’t that good, we tried it two or three years ago in our project, I wouldn’t even call it useful.
7kmph··on Away Fires CEO Steph Korey After Months-Long Search for Her Replacement
I misread the title to be “Apple fires CEO...”, got me excited for a moment
7kmph··on Show HN: Sublime Merge – A Git client from the makers of Sublime Text
Finally, a decent git GUI for Linux. More please.
7kmph··on Inside the Windows Console
Who cares anyway
7kmph··on More Things I Wish I’d Known About Bash
Things I Wish I’d Known About Bash: don't use it for script
7kmph··on Turning Vim into an R IDE
"ruined by vim" - that's the word I was looking for:)
7kmph··on GNU nano 2.9.0
Nano. Just curious :)
7kmph··on GNU nano 2.9.0
Is anyone using this thing?
7kmph··on F* – An ML-like functional programming language aimed at program verification
Can't wait to see someone write some kind of checking program with the name F*ck.
Page 1 of 2Next →