News for hackers. Stuff that matters.

lindig

Re:Treap (Cartesian Tree) on Thursday October 29, 2026 @07:47AM (#50287513)
> Treaps have been proposed by Raimund Siedel and Cecilia Aragon in 1989.

The correct name is Raimund Seidel https://en.wikipedia.org/wiki/Raimund_Seidel

Re:You could have invented PageRank on Wednesday August 26, 2026 @11:49AM (#49451212)
How do you compute page rank for billion of pages that have cyclic links? Is that not the problem right after the initial idea?
> In defence of Mr Musk, despite his character flaws, Tesla is the only Western electric car company in the top 20, and this includes Korea and Japan. Also, SpaceX is ~90% of the world's commercial rocket launch capacity.

This conflates the quality of the product with the value of the business. There is no contradiction between Tesla cars selling well because they fit a market and Tesla the business not being a good investment.

Re:Why Janet? (2023) on Tuesday June 02, 2026 @06:03AM (#48368144)
> Instead of regular expressions, Janet’s text wrangling is based around parsing expression grammars. Parsing expression grammars are simpler, more powerful, and more predictable than regular expressions.

I would dispute that this is the case. In PEGs, alternatives are not commutative, unlike in regular expressions. This can lead to quite frustrating debugging. While a valid choice, the advantage over REs is overstated.

> native ocaml repl has landed

What does this refer to? Most people use the OCaml `utop` REPL which isn't okay for some printf debugging but nowhere near what a Lisp could do.

Re:Zed Editor Theme-Builder on Saturday May 09, 2026 @02:25PM (#48077055)
The repository link on that page does not work. Is there a preview?
Re:When is the next caltrain? (minimal webapp) on Wednesday August 06, 2025 @01:37PM (#44815118)
The public transport service in Hannover/Germany once had a screensaver that you could configure to show the next departure from your nearest station. I thought that was clever marketing. Today you probably could implement this as a web service.
Re:The Yin and Yang of Programming on Thursday February 27, 2025 @03:41PM (#43198274)
I like the idea mentioned in the article of exploring limited higher-order functions: functions that can only take functions as argument that themselves are not taking functions as arguments. But what simplification does this buy (in the implementation of such a language) over a language that is fully functional? It is not explained in the article.
This makes you appreciate curation in a museum. Why are these objects shown together? Historical period, size, design feature, material, production method? It looks completely arbitrary.
The main feature of interval parsing appears to be that it can jump over content such that a later part in a file does not depend on knowing everything that comes before it. Has Dogma similar expressiveness?
Re:I Moved My Blog from IPFS to a Server on Wednesday January 31, 2024 @03:42PM (#39209098)
Filecoin, which is based on IPFS, creates a market for unused storage. I think that idea is great but for adoption it needs to be as simple as Dropbox to store files. But visit https://filecoin.io/ and the dropbox-like app that you could be willing to try is nowhere to be found. So maybe it is an enterprise solution? That isn't spelled out either. So I am not surprised that this has little traction and the article further confirms the impression.
Re:Why is everything so ugly? on Sunday January 21, 2024 @07:20AM (#39077800)
"Show, don't tell" is lost on the authors. They only talk about visual ugliness.
Re:A Simulated Annealing FPGA Placer in Rust on Tuesday January 02, 2024 @02:26PM (#38845853)
The argument for annealing in the original paper is that accepting regressions is essential to escape from local minima.

https://www2.stat.duke.edu/~scs/Courses/Stat376/Papers/Tempe...

"Annealing, as implemented by the Metropolis procedure, differs from iterative improvement in that the procedure need not get stuck since transitions out of a local optimum are always possible at nonzero temperature. A second and more important feature is that a sort of adaptive divide-and-conquer occurs. Gross features of the eventual state of the system appear at higher tempera-tures; fine details develop at lower tem-peratures. This will be discussed with specific examples."

Re:A Simulated Annealing FPGA Placer in Rust on Tuesday January 02, 2024 @01:39PM (#38845188)
My understanding of simulated annealing is that solutions that are not improvements are still accepted with some probability in early steps but that this probability decreases as "temperature" drops. Looking at your description (but not code) I did not see that aspect but it looked like you would only accept improvements of the cost function. Is this correct or where does your solution accept slight regressions with some probability, too?
Re:Vale.sh – A Linter for Prose on Sunday September 03, 2023 @02:39PM (#37373030)
Links are unreadable in that blog post on iOS/Safari.
Re:The Elements of Style [pdf] on Monday August 28, 2023 @09:45AM (#37293875)
For covering the subject of writing, the typesetting of the PDF is remarkably poor. The mix of serif and sans serif, the font sizes don't match the structure of the document, and enumerations have inconsistent indentation - to point out just a few blemishes.
Re:Stripe Account CLOSED for no reason and with no explanation on Wednesday August 02, 2023 @09:44AM (#36970807)
What does your business do? Stripe might not have listed your business model explicitly but could still prefer to not have you as a customer if it is an edge case.
Re:Implementing Value Speculation in OCaml on Monday May 08, 2023 @08:38AM (#35860883)
Since list traversal is very common in OCaml, could the compiler emit code that pre-fetches the next element?
Re:Notepad Calculator on Wednesday December 28, 2022 @12:13PM (#34163166)
Suggestion: parse any number like 12:03 as 12 minutes and 3 seconds (and 04:12:03 with hours) and represent it as seconds. It makes working with durations a lot easier. This is just an additional parsing rule (could also use 12m3 or 4h12m3) like 1e3 for 1*10^3 but is typically not implemented.
Re:“The Suck” (Learning Anything by Writing It Out by Hand) on Saturday September 17, 2022 @04:36AM (#32875823)
This guy needs a copy editor. The meandering writing is off putting when someone is writing on the subject of becoming efficient at a task or process. He is in love with his own writing, maybe considering it entertainment, which he proclaims not to do.
Re:Google Timer is gone on Sunday July 31, 2022 @01:15PM (#32297012)
That's a great service. I can think of various features to support more use cases:

* provide an optional label - for the use case where several clocks are used and shared.

* start and share several stop watches from a single page: start them one by one or together. For a race with multiple participants that either start sequentially or together.

* Support taking split times.

* Combine timer and stopwatch: count down from a set time, then start the stopwatch at zero. It currently does this already. This supports races like sailing where the actual start is preceded by a countdown period.

Re:Show HN: We made a fast audio editor for podcasting on Tuesday June 28, 2022 @12:02PM (#31909441)
> I actually really wish I had something similar for video...

Try this: https://github.com/mifi/lossless-cut

I am using the binary on macOS. The UI is a bit idiosyncratic but it works quite well and is ideal to cut a video down to the essential parts without loss of quality.

Re:PR to Merge Multicore OCaml on Friday December 24, 2021 @06:29AM (#29672722)
> A much better effort, for anyone interested, would be to vastly simplify the OCaml build and package management story to be more Go-like.

OCaml's package management and build system is not complicated for consumers and builds are very fast. What do you feel is complicated about opam and dune?

What is complicated (but got better) is submitting packages into the official package repository. However, this ensures that packages have correctly versioned dependencies, which is good for consumers.

Go does not rely on a central package repository and this makes it easier to use by essentially just pointing to GitHub. OCaml and Go differ in the way they try to use updated dependencies for a build. OCaml by default is aggressive whereas Go prefers stability.

Re:Fq: Jq for Binary Formats on Thursday December 23, 2021 @05:06AM (#29660366)
I’d like to see support for FIT files as they are emitted by Garmin fitness devices. It’s a clever binary format that in-stream defines the format of records which then contain the actual measurements which may be scaled for more compact representation. These multiple layers make the format not obvious to parse but the tool supports already an impressive list of formats that probably use similar techniques.
Re:Apple: Ten Years Forward on Monday November 01, 2021 @10:52AM (#29067334)
The valuation of Apple on a P/E basis is attractive and constant stock buybacks make it a safe bet. At the current scale you can’t expect startup-level growth but it is still attractive as a stock.

Likewise, look at the valuation per customer; it is around $1500, which is attractive, too.

Re:Slack LaTeX on Wednesday October 13, 2021 @04:53AM (#28849823)
On my Safari 14.1.2 the hero image (demo) on the landing page does not show properly. The URL is https://slacklatex.com/static/media/demo_img.5ddca5f3.webp and I assume the format is a bit too esoteric.
Re:CompCert – Formally-verified C compiler on Sunday June 27, 2021 @01:19PM (#27653329)
Compiler bugs outside undefined behaviour are not rare; calling conventions as implemented in C compilers are complex and random testing found bugs in several compilers. However, the bugs are in parameter lists and types that are rare.

https://lindig.github.io/papers/lindig-aadebug-2005.pdf

Re:Deliveroo shares drop 30% on UK IPO listing on Wednesday March 31, 2021 @05:52AM (#26645301)
As is any business that sells 1 dollar bills for 80 cents. Not a good business to own, though. "Making it up by volume" seems doubtful.
Re:Deliveroo shares drop 30% on UK IPO listing on Wednesday March 31, 2021 @05:18AM (#26645080)
* Deliveroo lost money last year that probably provided the best possible business environment with many people willing to work for them and ordering from home during a pandemic.

* Deliveroo has basically no assets

* What is the barrier to entry for other companies? Neither riders, restaurants, or customers have any reason to stay with them.

* Deliveroo heavily depends on "self employed" couriers which quite likely courts will find are workers (edited, was: "employees") which the company needs to compensate accordingly

Re:Combinators: A Centennial View on Saturday March 27, 2021 @04:35PM (#26605418)
I find this painful to read. It's always about what Stephen Wolfram has done and how it is realised in Mathematica. If you are a true expert in a field you should have less trouble acknowledging other people's contributions. I missed, for example, the connection with Church numerals or the acknowledgement that substitution is not just defined in Mathematica.

Older »