skysight-inc/HackerNews huggingface dataset:
I'm curious if you have any insight into what a realistic lower limit to Idris compile time speed looks like. Right now even moderately sized Idris programs can be quite slow to compile, slower than even other dependently-typed languages (see e.g. https://github.com/AndrasKovacs/smalltt). How much of this is intrinsic to Idris' language design and how much of it is due to lack of optimization in the implementation?
> Then we said it's too verbose. We named some subsets XML, HTML, XSLX

If anything, XML as an SGML subset is more verbose than SGML proper; in fact, getting rid of markup declarations to yield canonical markup without omitted/inferred tags, shortforms, etc. was the entire point of XML. Of course, XML suffered as an authoring format due to verbosity, which led to the Cambrian explosion of Wiki languages (MediaWiki, Markdown, etc.).

Also, HTML was conceived as an SGML vocabulary/application [1], and for the most part still is [2] (save for mechanisms to smuggle CSS and JavaScript into HTML without the installed base of browsers displaying these as content at the time, plus HTML5's ad-hoc error recovery).

[1]: http://info.cern.ch/hypertext/WWW/MarkUp/MarkUp.html

[2]: http://sgmljs.net/docs/html5.html
"Danielle, who worked remotely for Citigroup from Missouri"
I'm curious if church attending people have more friends on average. They have a social gathering they go to at least once a week. Some religions have many more meetups. I'm not a church person but I'd love to find a social club that met a similar amount
> That dedicated server you have to manage (ensure security, install the software you need, keep it updated and secure etc). It’s not for everyone.

Hetzner also offers managed servers where all this is taken care of, for relatively fair prices.
I think there's a dozen people in this thread who have gotten refunds and not a person saying they were refused?
EVs are more efficient than ICE vehicles even when using electricity generated using coal.
Is that really true? Go is a game where the simplest rule sets only have 7 or so rules.

Well, the complexity is 3.94 on that site:

https://boardgamegeek.com/boardgame/188/go

But it's complex because of strategic considerations, not because it is difficult to learn the rules.
Yes, it would be "tied to extremely expensive infrastructure" ... that already exists. So no additional cost.
Have you seen the gesture-tracking in the Oculus Quest 2? It's incredibly impressive, and it's in a $300 consumer device [^1] that can almost do AR via passthrough video, and easily has hours of battery life. But it does run into a fundamental problem of gesture tracking without gloves, which is that the camera needs to be able to see all of your fingers (unless you get to the point of inferring finger position by looking at the hand muscles, which I don't think we're quite at yet). Often you need the fingers to be away from yourself for operations like twiddling buttons or pointing at things, so if the camera is attached to you you've got an issue.

[^1] Granted, economics of video game consoles aren't quite the same as things that might be industrial tools, mostly because they can be sold at a loss with the expectation of making it up in software licenses.
At work Windows (no other option), but fully in WSL2 (and a Linux batch compute cluster) so... Linux?

For personal stuff, Linux right on the silicon.
How you can’t promote threads on an M1
Believe it or not: Some people claim it will not happen before winter olympics, because a military invasion during olympics won't look good for Putin.
more importantly ebike with pedals does not require license, while pedalless ebike would already require driving license in many European countries, so they would be out of reach for many users, these users buy ebike because they cant buy cheap motorbike
I get a headache just looking at this. I don't think the SQL version would look any worse either.
WebGL-based viewer for petascale data
No snark intended. It's just that I would assume that all customers of such services are in principle good faith actors, not just Troy.

The one thing that is special about Troy is that he is providing a service for the public good but that has nothing to do with being 'good faith' or not.
Really? My immediate reaction to Coke Zero was revulsion, and I can't understand how people could have problems recognising the difference.

The only cola I've ever had where the diet version that has been close to fooling me was RC Cola. I think overall the colas with a stronger caramel taste like RC and Dr Pepper tends to fare better, because there are other taste notes that help obscure the lack of sugar.

If I was going to switch to a diet soda, Coke Zero would certainly not be it.
I*ve seen kids bounce off the walls because they were going to watch their favorite movie, too. Or get to play a game. Or... Well, anything, really.

Isn't bouncing off walls just a thing kids do?
I wish it was Linux but work doesn't have a Linux SOE... so Mac it is Monday to Friday.
I think it is an irresponsible fad that people use cloud services for hobby projects (and despite its wide popularity I'm calling HIBP a hobby project since he's running it on the side for free) unless they have solid cloud ops experience from their day job.

Cloud providers love it when people do this and are famously easy to talk to when you get an unexpected invoice high enough to require remortgaging your house to even begin addressing it, but I think unless you're working on a side hustle that inherently will need to run in the cloud regardless of scale or are experimenting with cloud technologies in an explicitly time boxed toy project, using cloud services is the financial equivalent of handing a hobbyist craftsperson one of these chainsaw angle grinder attachments that even professionals find hard to keep from bouncing into your body.

If you do want to use cloud services for anything you pay out of your own pocket, the first consideration should be cost management and monitoring. Your employer might have big enough pockets to shrug off a runaway compute instance you forgot about for a month, but that can quickly translate into money that can be anything from inconvenient to life altering if it comes out of your personal budget.

Or just stick with the free tier and make sure everything simply shuts down if you run out. Sure, a "bandwidth exceeded" error page might not get you as many upvotes on HN, Reddit or social media, but it also won't impair your finances.
the world can't afford new code written in a blatantly memory-unsafe language
I’d like there to be a “reader sophistication” metric that works similar to “you may also like” recommendations, e.g., if I look up Gene Wolfe, it gives me sci-fi authors in his vicinity of reading level or greater. I know that some have done this with lexical analysis of the text itself via LSA, but the results produce many false positives (i.e., high proximity).
K-278 Accident
Stuck with windows due to work restrictions. Could happily use either Mac or Linux with windows VM for the unfortunate bits.
The fact that "pandemic" is at the top means that either we have a coincidence where the best game happens to be closely related to events of the past two years, or ratings merely reflect current fashion rather than game quality.

This is further reinforced by the fact that pandemic didn't top best selling games lists until 2020-2021.
<former brain scientist>
There is another famous case about a person who had a (physically) big head, to the point that people commented on it. Person ends up getting a Ph.D. in math, because hey, you know, big head, right?

Turned out that the head size was due to a hydrocephalic condition-- the person barely had any brain tissue, most of the contents of their skull was fluid.

Yes, the brain is pretty amazing.
4. When their resource usage used to be modest, so they got on cloud services for increased developer convenience, and now can't afford the switching costs even though their bills are expensive.
MVP can mean a lot of things depending on the context. In this case it means Most Valuable Professional.
Interesting to see such a representation of Windows.

My experience is that the only places where devs are using Windows is when it's mandatory, but when offered a choice, you end up with a 50/50 split Linux/MacOS +/- 25% depending on the company culture.

And even when Windows is mandatory, most devs try to find escape hatches like WSL2 or a VM
Mac for work, Windows for personal projects.
HFT and currency speculation hasn't been cutting edge since... I don't know 90s? 80s?
>Sounds like a pretty expensive privilege.

Well, it might also come with contacts in the billing department.
I use a Mac but work on Linux: I'm always ssh'd into a Linux box, all servers are Linux, all code is on Linux.
Testing custom GitHub Actions relying on KinD
Yes, it's mainly because Google started using a similar heuristic a few years ago: length equals quality. Or so the SEO world concluded. It may not have been true; correlation != causation is not a popular concept in SEO. The result is publishers and marketers padding content to achieve some imaginary ideal length. It's why recipes, for example, have hundreds of words of irrelevant crap at the beginning.

That said, the long-form essay is an ancient genre—much older than the modern magazine article—and they have always been filled with "irrelevant" asides, tangents, artistic flourishes, and so on. Concisely conveying their "central message" wasn't the primary point of the form, and people who enjoyed that type of essay wouldn't expect a linear explanation of the topic. The prose style, imaginative complexity, unexpected comparisons, digressions, and explorations were integral to the genre.

Sadly, great essays of that type take a long time to write and edit, and most people aren't interested in reading them. So we get long, repetitive, unimaginative junk instead.
ArchLinux with Plasma 5 for everything. Coding at work, automating at work, gaming, homelab and servers. I tried Windows 10, but WSL doesn't feel the same, too many walkarounds to get to my way of working. Tried MBP it was alright, but CPU is too hot with 2 external screens not even doing any work. Attaching 3rd screen doesn't always work, doesn't detect the screen, it seems to be a power-consumption issue, and then I run out of USB ports. Linux PC has best performance with 4 screens and gives be best tools.
I only read books where i have a recommendation. This can either from a conversation or just a mention in a Blog post or here on HN in a comment.

Its definitely not a 100% method but i feel like that the chance that the book is not well written is much lower when at least one person found it readable/enjoyable.

I have a Trello Site for that where i create a card for every book and write down or copy+paste the recomendation.

I also typically download the book from libgen first, take a quick look at it and then buy the book.
Does this refer to the OS furthest away from what is running the code or the closest?

Windows running WSL to support a Linux environment for Python...

Windows running a web browser accessing a colab notebook hosted on a Linux machine...

macOS ssh'd into a Linux box with a tmux "development environment"...

All (my) roads lead to Linux so I'll say Linux.
What format would you prefer it to be in than CSV? There are CSV libraries in pretty much every language and any spreadsheet can import them. 8MB really isn't that hard to handle these days.
I look at Boardgamegeek almost ever time I make a purchase of a game and to get ideas. To see what other peoples think, their reviews about the game and game play, strategy vs luck element, type of game etc

It's similar to imdb for movies, its a place full of opinions. I take everything with pinch of salt, but it's the best review site around
I develop on macOS and Windows (with WSL) to deploy on Linux, so this poll is... interesting, but only captures a third of that equation, if anything.
Linux for development. MacOs for personal use.
Windows only for gaming though.
I use Telegram for automations like sending a message to my phone when a task on the computer ends. WIsh Whatsapp had it so I could send it directly to my colleagues..
I feel pity for anyone that are forced to develop on Windows.
My workstation is Linux, which I mostly use. Though I have a MacBook laptop that I also use. So I voted for Linux, though MacOS is a close second.

I also use Windows for development, but that is only when I do Windows specific stuff.
Execution is worthless, ideas are everything
can you please send me link/country/model to 1000 EUR Honda motorbike? here in Czechia PCX 125 cost like 3000EUR, there is no way you can buy brand new Honda for 1000 EUR
I think you’re confusing row and table in your comment. Rows are never changed, so I’m not sure how they would use a row level lock.

They have 1000s of concurrent transactions on that table for different credit holders. Locking the whole table every time means everyone is stalled, even though you only want transactions for a single credit holder to be serialised, not every single mutation of that table.
I'm not sure it's fair to call WSL2 an escape hatch. I use Windows for work because I like the more polished experience of the desktop, but I can just open up a Windows terminal instance and I've got a linux shell (via WSL2). And best of all, I can access the files directly with `explorer.exe .` if I need to.
You raise 3 million USD for your ICO, or NFT business. Instead of using money to run the business as advertised, you make a dumb, massively inflated purchase, from a friend, who secretly hands the money back to you.

Con complete. Game over. Insert coin to play.
Linear logic is logic where any value must be used exactly once, i.e. if a=3 and you say b:=a, then b becomes 3 and a becomes undefined. The value is moved rather than copied. That is useful for describing e.g. resource management systems. If I transfer a resource to you, then you have it but I no longer do. Linear types basically means a type system that enforces linear logic.

A good practical description of linear logic (but not types) is here: https://hashingit.com/elements/research-resources/1994-03-Fo...

Yes it's about how Forth implements linear logic without realizing it ;).
Tell HN: Atlassian Charges Extra for Showing Basic Security Info
We're a paying customer of Atlassian -- using Jira, Confluence and some other tools. Today I've received an email from them that says:

"Now that you manage accounts for <organisation>, you can find out how many products your users administer outside your organization.

For details about each product and admin contact information, subscribe to Atlassian Access. Use these details to stay ahead of where company data is stored and start a discussion about transferring the products to your organization."

Apparently Atlassian wants us to pay a few $ extra per user per month so that they tell us what other Atlassian products have our own users activated.

I think it's fine to charge extra for complex/sophisticated features that are mostly useful to large enterprises. However, telling SMBs that there's a 'shadow IT' in the company that Atlassian knows about but won't disclose the details until the customer pays up feels wrong to me. Same applies to features like 'mandatory 2FA' that's not part of the 'normal' subscription.
> OP says this like this is an industry rule of sorts but I've pretty much always seen non-const references for this. Using pointers is terrible because now you have to add a check for null inside your function, as its API contract says "I can accept null values", while references make it clear that it does not make sense to call if you don't have a correct object to pass it.

The other side of the coin is that it hurts readability if you are passing non-const references. When a function takes a non-const reference, the caller looks like this:

foo (bar); // Have to read the header to know if bar is modified.

When a function takes a pointer, the caller looks like this:

foo (&bar); // Immediately clear that we cannot gloss over this line in code-review.

Since I read code much more than I write it, it's easier for me to determine that local non-const variables that are used as arguments to a function are not getting modified.

A better (but not best) solution might be to have the language recognise and enforce nullability on arguments. Still not perfect (pointer may be non-null but invalid), but better.

One other benefit pointer parameters have over reference parameters is that the API contract is more flexible. For example, I have a function that accepts a network connection,

mynet_accept(int listener_fd, char **remote_ip, uint16_t *remote_port);

Having the caller specify NULL for `remote_ip` means that the callee just ignores the parameter. Same for `remote_port`.

If that was changed to use references, the caller will have to declare variables just to satisfy the parameter list, even if they never intend to use them.
I don't think you realize just how much higher the median income is in the US and how much space the typical family has.

A homeowner who earns middle class wages would have the space for a home lab/shop (without renting additional space) and would be able to pay a couple thousand dollars for their son's hobby. The stereotypical middle-class soccer mom spends more than that a year on her kid's activities. This is representative of at least the top 50% of American earners, not just the top 5-10%. This kid's father is the owner of a small sheet metal fabrication shop and he probably does decently well for himself but most of his wealth is likely the value of his business.

On posts advocating for density on HN, I often see people wondering why Americans resist densification because the benefits of a walkable city are so immense. Stuff like this and your belief that having a home electronics fabrication shop is out of reach for all but the rich (and the fact that most Americans can already do nearly any errand with less than 15 minutes of travel) are some of the reasons why. It is not that unusual for a middle class homeowner to have a home shop, though normally the equipment in them is something like a table saw or a mid-20th century manual milling machine, not a homebuilt photolithography machine and an old refurbished SEM. People who have them either use their garages (either an extra bay if they have a two/three car garage and only one/two cars or they use the entire garage and park their cars in the driveway or on the street) or they use a shed placed in their yard. Ever wondered where the stories of people starting companies in their garages come from?

To a middle-class American not living in a super high cost of living area this kid's story is something that they could have done had they had parents who trusted them and if they had the motivation and inclination to do it. The people complaining about that this kid being "privileged" are ignorant of how much of America lives and/or are jealous that they weren't able to do what he did when they were younger.
Computer Power Cords
Which OS do you mean?

The OS where my text editor runs?

The OS where the build system runs?

The OS where the software I'm developing runs for testing?

The OS I log into first thing in the morning?

I think this poll is so unspecified the responses aren't going to be that meaningful.
It says 'develop on' not 'for', hence the mention of Desktop OSes as the client.

Basically in your case, in simple terms: Windows.
My comment was to point out how ridiculous the parents comment is in response to the article.

What does the length of the JSON spec have to do with my comment? The parent comment says if you don’t read all your docs you will be bit by an innocuous bug. You linked to a short spec, but that doesn’t mean anything in this context.

> Like if a bridge collapses when a leaf lands on it and saying, well, all bridges have some maximum load.

Is that what you got from reading my comment or the article? Is that what yaml is like?
1 word: greed
I've found that two strategies help:

1. Readily give up on a book, or skim through the rest, the moment you realise that the book has 400 pages of filler

2. Find recommendations from thought leaders you subscribe to, while staying true to Rule 1 (Sometimes it's just a matter of taste, and it's counterproductive to force yourself to finish reading something just because someone else said that it's a good book)
Exactly. I started using it on my personal machine so that I can get used to it and make my work experience less shitty.
having 4 computers running software (the same or different software, it doesn't really matter) is known to not give you fault tolerance. See http://sunnyday.mit.edu/papers/nver-tse.pdf
> 1, when they need to adjust rapidly between different resource usage profiles, e.g. because they are growing rapidly and can't predict what the usage will be X days in advance

One can add new servers in minutes, removing has a bit more latency to it, but I'd figure with the huge price difference between rented and cloud you'll come out on top with the former in most case. Also, just use a clustering or orchestration layer in between, they range from very simple to setup and use (e.g., Proxmox VE), to quite complex but also very capable (OpenShift, kubernetes, ...).

> 2. They have huge resource requirements and don't care to invest in their own infrastructure, but can negotiate lower rates with a cloud provider

Using hetzner or other providers is not investing in their own infra, that's using (= renting) the providers infra and ability (peering, fast uplinks, datacenter perks like utility redundancy and staff on site).
The second sentence may be true but probably not for most use cases that aren't huge yet, like the post here.

> 3. When their resource usage is modest but profitability is high enough that cloud expenditure is a rounding error

IFF, yes, and often infra costs are relatively low compared to salary costs, so that's definitively some optimization problem one should go through when deciding such things.
Chances are that for most projects the profitability can be good but not magic money printing and infra costs are a non-negligible part that eats on their revenue, and then it's definitively worthwhile to think about avoiding the high premium most of those cloud offerings ask for.
The people deciding to ditch their smartphones
The point is about Cloudflare not being from Microsoft / Azure which is the company he's evangelising for.
Everything to Expect from Apple in 2022
Hetzner Cloud(!) only has 20TB/Month included in the monthly costs and states that you have to pay for any additional traffic. I never reached that on one of their cloud boxes so I don't know how it looks like but it definitely isn't all up front. But yes the dedicated machines come with no additional traffic charges whatsoever
Happily donated to Troy. He's done more than most to help everyday folks weather these data breaches.