skysight-inc/HackerNews huggingface dataset:
You do this by involving mathematical proofs at every stage. That is expensive, but sometimes done.

Strict functional languages are a step in the right direction. As are verifiers as done in Rust.
Projectrho is an amazing treasure trove for aspiring scifi writers, wild dreamers etc. Just never forget that the sources are mostly scifi stories and usenet discussions. A lot of the math that is presented as realistic is actually not at all grounded in reality.
> Get so mad that you devote time and effort to fixing it.

Interestingly, I feel that insulting people is one of the worst possible ways to get them to change their behaviour.
Even today, windowed applications are stuttery. They drop frames in what should be smooth animations.

The Amiga was technically better, in a way that can't easily be emulated. The Amiga video hardware could generate an interrupt at the end of the video frame output. As a result, an application could do all its work for the current frame, then call a "wait for vsync" function. That made it yield to the OS scheduler. When the interrupt fired, the scheduler would handle it and reschedule the app VERY QUICKLY. It was almost like a real-time OS. It knew that video generating was time critical.

I don't think you can't do that on Windows or Linux. The video hardware _might_ support interrupt generation but it isn't wired into the OS in the same way. You might get close to being able to use the "wait for vsync" in full screen DirectX apps, but even then it's a nightmare of video driver lies and OS scheduler complexity instead of a nice clean, simple, reliable feature all applications can use.

I'd be interested to know if Wayland solves this problem.
I think you're mistaken. It seems to me that you need to create an explicit "box" (a reference) to make things mutable.
More laid-back countries are also more laid-back about "lying" about such a thing.

It's just a polite way to say you're running late. Nobody cares whether it's actually the traffic or not. It's like saying to someone "you look nice in this shirt" when they don't.
ML approach.
I'm fairly sure that the HN comment system has been built back in the early to mid 2000's and hasn't been updated since.
Haha, that might have been a bit of a generalisation. Unless the person is socially inept (which, to be fair, isn't uncommon in this industry), I think you eventually realise that nobody is interested in what you are interested in. I just talk about my other interests now, unless I want someone to go away.

Though that in itself is a useful skill at parties:

Scenario 1: Talk about computers, person gets bored and goes away. Success! You avoided having to talk to people.

Scenario 2: Talk about computers, person is really excited to talk about computers. Success! You found a fellow dork.
>Foobar2000 in Wine is the best Replaygain scanner/tagger.

I see you are a fellow of fine taste as well. It pains me that there was never anything quite as good as foobar on linux.
If you have a scan doubler from Individual Computers and your monitor supports multiple inputs, the hardware banging resolutions go to that over VGA and Vampire goes over HDMI. If you don’t see it on HDMI you have to switch to VGA.

The scan doubler is shitty though: the quality varies with the monitor and it overheats. Jens knows about this because the manual mentions adding a small fan and since he was obviously aware of it, it should have been designed in.
The "everything is an X" is what I call "foundationalism". It is a disease that started with Turing and Church, except that when they started it it was not a disease. But ever since people forgot that Y and "an encoding of Y as X" is not exactly the same thing. For some purposes it might be, but not for all purposes.
I think the larger question, which has haunted me for a long time, is: how do you change culture on mass scale? Singapore is an example where brute force top-down was used. Maybe that’s the only way?
One thing I tend to miss in Clojure is lack of TCO. Most people(like me), come to Lisp from SICP, The Little Schemer and PG's books. Where recursion is not just emphasized, you are actually trained to think recursively.

I found lack of TCO to be a little like a stick in the neck when it comes to both Clojure and Emacs Lisp. It prevents you from thinking in the way you have been thinking in other Lisps.

I understand Clojure depends on JVM and JVM doesn't do tail call eliminations yet, and Rich Hickey is right in thinking that method calls are too much a platform thing and we shouldn't be working around this limitation with a hack. However lack of TCO in Emacs Lisp is a little not easy to live with. From what I understand patches have been submitted to Emacs to make this happen but haven't made it to the upstream.

TCO is very important for any language that sells functional programming these days. Apart from the performance advantages, Recursion is a thought framework. Limitations are not easy to live with.

I hope some day Clojure and Emacs Lisp get TCO.

On a tangential note, JVM is a great platform, its a also a widely used platform, so changes are going to come in very slowly. So I'm not holding my breath waiting for TCO.
Good article, but I don't understand why the word 'inclusive' is in the title.
You say that, and yet Egypt became an empire whose history has been saved 4000 years later thanks to a pictogram based language.
Needless to say that every knife sold has a bar code associated with your file. So when you slay your friendly neighbor they know it was you.
Maybe by making the API of index based list datatypes return the value inside of a container type. In general it's a helpful strategy when creating total functions.
> I wonder if the author considers Node.js to be really interesting and exciting and never existed before.

Node.js was neither new nor interesting, and certainly was never "exciting" (note that this is coming from someone who now does a lot of node.js development).

To start with, it is highly relevant to note that node.js ignored fundamental things that were learned in CS going back to at least the 80s involving the duality of events and threads, leading to an entire generation of people who actually believed that callback hell was somehow a good thing to encourage :/.

The big thing, though, is that it definitely wasn't hard to do, and it certainly wasn't the first project to do it :/. I mean, my own personal website was built using a JavaScript on the server framework I threw together in a weekend using Rhino and Jetty years earlier, and I had myself gotten the idea from people who really know what they were doing: the people working on Apache Cocoon.

In Cocoon, they not only had correctly handled the callback hell problem, they had generalized it so far you could write programs on the server that made "requests to the browser" in the form of rendering a page that were expressed as function calls that would return when the user clicked links and submitted forms, inverting the normal flow of control to make it easier to build complex interactions.

So yeah: they had all of this stuff working almost a full decade before node.js existed at all, much less finally was able to use async/wait to manage callbacks. When they ran into evented hell, they didn't sit around for years building shitty workarounds: they implemented continuations for Rhino and contributed it back so they could do it correctly.

The real thing to realize is that sometimes, shitty things can have more impact than great things, and things that are none of interesting, exciting, or new can have a greater impact than things that were all three of those things if they have better community management or business acumen behind them.

However, we should call a spade a spade, and not pretend that those people are as good with software as someone who has spent years studying foundations, in the same way that the world's greatest software developer shouldn't pretend to be a great business or marketing person because they threw together a good enough website using a template and made some sales of their product on some app store.
If they want to hire some of the most capable browser developers, yes, it probably helps enough to be worth it. They do have other offices.
I'm sure pretty much all storage media (SSD's and such) have it, as well as internet protocols and digital media (now that having storage locally is becoming less cool)
“Western problem” yikes.

To write off the economic successes of the west under the guise of “problem” with western culture is deeply problematic. If you were to use this tableau to jump into an argument against societies that are captilistic and encourage the chasing of material wealth over the informal, beautiful moments that make humanity interesting you would have a much stronger case. I think we would all benefit if you were to sharpen your position, as there is something deeply intriguing about your point.

With that said, I also find issue with content of your argument. Economic success requires efficiency in all aspects of a business. A lack of punctuality that permeates a society to the point that it effects business strategy is problematic.
Out of curiosity, can you explain the difference in meaning between those two sentences?
Well, you could wait a hundred million years or so and Antartica will move out towards the equator all by itself due to continental drift–no Earth destruction required ;)
In South Africa we have a similar concept of time, 'now' means in 15 minutes to a half hour, 'now now' can mean anything from 15 minutes to 3 hours, 'just now' can mean anything from a few hours to a few days. A meeting scheduled for 12 will unlikely have anyone in the room at 12. In contrast to our Swiss business partners where a meeting at 12 will start within 15 seconds of 12 - I've learnt to keep a calendar with reminders since working with the Swiss.

Arriving within the first hour of a party start time means you are volunteering to prepare food, make a fire and move chairs. Never go hungry to a braai (barbecue) as lunch will be eaten at 6pm and dinner around midnight!
North Korea 'working on new missiles'
doesn't abcde[1] do this?

[1]https://abcde.einval.com/wiki/
I wonder how long it will take until public press will admit that the autonomous driving hype was just that, a hype to generate investor money. We aren't there yet, it was obvious already a few years ago when google and tesla began to push the media.
This was funded in 2014 on Kickstarter, but it has been a while (2015) since the author provide updates to the backers.
> Can you have emoji domains in punicode?

Yes. See this wikipedia page: https://en.wikipedia.org/wiki/Emoji_domain

There are no punicode TLDs, but there are unicode ones, and punicode ones could definitely exist.

By example for the unicode ones http://nic.xn--gckr3f0f/en.html (a japanese unicode gtld)
i should have guessed it, HN has no humor
>>The best techniques for using the language

That is good, but availability of Libraries are better.

Let's face it. Most people can't use even basic programming features well. When programming went mainstream we traded art for plumbing. What matters now is being able to talk to http end points, working with databases, message buses and myriad of other backend interfaces.

To have widespread adoption you have to do library stuff well, and then may be other features will matter.

Perl is an interesting use case in this regards. The language is very 'functional programming language like' in nature but has a very practical focus for common people, while providing the powerful features for advanced users.
Another semi-retired skater here. I mostly just skate to work these days. Can still ollie but that's about all my knees can take.
I think the difference is that we today have a lot more reference points for technological advances than people in the 1960s did.

Just continuing with the storage example, for decades now we've all been witness to data storage sizes growing massively, while the housing of said data storage has shrunk in size tremendously - as has the cost.

So when a couple MB of incredibly slow storage weighs thousands of pounds and costs millions of dollars, I do think the concept of tens/hundreds of GB of super fast flash memory contained within an object the size of a thumbnail would be mindblowing, whereas your example of

>a 100 petabyte drive using, say, magneto-resistive memory (or something else based on anticipated, if not fully developed physics)

wouldn't, just because we already all know how far technology has come since the 60s.
I really hope there are a few people still out there that have the full catalog of what.cd archived and either keep it alive by sharing it in the darker recesses of the internet, or are able to secure it somewhere.

There really needs to be a media museum, an international library of all that has ever been produced, from a hundred different recordings of the old composers to whatever crap your 15 year old neighbour is uploading to soundcloud.
If you take away one thing from the article it is this; try different readers. Some readers perform far better than others. I have one 'magic' DVD reader that will overcome damage that makes most other drives choke with errors, and the result is usually a flawless rip.
I believe you're correct that raising the volume is not necessarily a destructive process, since it would just be increasing the amplitude of the samples already there.

Unfortunately, the majority of rips fall over EAC's normalize threshold, which means the volume is decreased, which ends up truncating some of the bits (assuming the album was using the full range of the 16bit audio).

Edit: I noticed you used the term "fidelity", so you might be talking about being able to perceive the damage to the audio, which is not necessarily what I'm talking about.

The point of EAC (Exact Audio Copy) is to make archival quality copies of audio CDs, this means as close to bit-exact as possible. Modifying the audio in any way would be counterproductive to that purpose, even if it doesn't necessarily affect the actual sound quality.
Buybacks are one, but I'm not sure what the incentive to Facebook would be to buy back non-voting stock.
Anything > 1s

Curious, which languages compile that fast to WebAssembly?
From what I've heard in the news, waymo seems to be fairly far along.
I have a distrust for languages that advertise themselves as "strongly-typed" or "bringing sanity to the front-end" - the former doesn't have a single clear definition and the latter - while not the case here - is questionable in it's own right.
Richard Feynman on Brazil:

1. “That evening I went for a walk in town, and came upon a small crowd of people standing around a great big rectangular hole in the road—it had been “dug for sewer pipes, or something—and there, sitting exactly in the hole, was a car. It was marvelous: it fitted absolutely perfectly, with its roof level with the road. The workmen hadn’t bothered to put up any signs at the end of the day, and the guy had simply driven into it. I noticed a difference: When we’d dig a hole, there’d be all kinds of detour signs and flashing lights to protect us. There, they dig the hole, and when they’re finished for the day, they just leave.”

2. “When I got to the center, we had to decide when I would give my lectures—in the morning, or afternoon.
Lattes said, “The students prefer the afternoon.”
“So let’s have them in the afternoon.”
“But the beach is nice in the afternoon, so why don’t you give the lectures in the morning, so you can enjoy the beach in the afternoon.”
“But you said the students prefer to have them “in the afternoon.”
“Don’t worry about that. Do what’s most convenient for you! Enjoy the beach in the afternoon.”
So I learned how to look at life in a way that’s different from the way it is where I come from. First, they weren’t in the same hurry that I was. And second, if it’s better for you, never mind!”

Excerpt From: Richard Phillips Feynman. “Surely You’re Joking, Mr. Feynman”: Adventures of a Curious Character.”
No, I would be interested in that too. I don't know anything about Web Assembly but maybe GC is handled by Web Assembly?
Did anyone else here take the irresponsible path in life or am I the only one? I dropped out of college for a job offer as a full-time skateboard videographer and didn’t look back for almost a decade. I’m not sure I regret it, but getting real jobs after the fact is pretty strange with this stuff on my resume. I honestly still assume a lot of people who read my resume must think I made it up. Every now and then, someone gets excited and fans out but they still don’t take me seriously unless they work in advertising, because people in advertising realize, consciously or not, how action sports expanded the boundaries of what branding is. Very strange to look back on this stuff; especially the earlier days when it was a very genuine and outright spastic culture. Unfortunately, it’s also a little embarrassing haha.
It would have been pretty easy to track down what was doing that at the time, using netstat and similar.
> Unfortunately, they don't seem to be doing anything illegal

Unfortunately?

"...but unfortunately the defendant failed to murder my client..."
It seems as if Grain compile to web assembly vs compiling to JS.
Alan Shepard didn't go to orbit though.
Even if that's the case the point still stands: you market yourself to the friends/family/tech support, i.e. tech-savvy people.
I generally avoid looking at good reviews when shopping due to this. Instead I assume that whatever doohickey I want to buy works as advertised, and look for reasons not to buy. Bad reviews are much more helpful in this regard, as they pinpoint weaknesses or other issues.
> or Pininfarina. Okay, that last one was for me. I don't expect most people to know Pininfarina.

I expect that most people would understand what a Pininfarina-esque logo on a car would signify, even if they don't know the name Pininfarina.
Elsevier demands unacceptable for Germany’s academic community
> describing monads in terms of their strict category-theoretical definition helps no one, especially those new to Haskell.

I am a counterexample: the description of a monad as a monoid in the category of endofunctors actually helped me, especially when I was new to Haskell. I am a mathematician, and happen to know category theory enough to appreciate this description. Also, I am a little tired of hearing "you don't have to know category theory in order to learn Haskell". What if I already DO know category theory? I wish someone wrote a tutorial or a book explaining Haskell to mathematically inclined readers and not dismissing (in a kind of anti-intellectual way) simple algebra as "useless abstractions".
The Venn diagram overlap of routers that have serious admin features and routers that have wifi built in is not very large. Separating the wifi allows you to replace or change wifi without bringing down services to local hardwired home servers.
What I miss in those kinds of discussions are the intangible benefits of having studied a subject in depth to acquire a degree. The person that entered university is different from the one that came out of it. The way to tackle problems, to think scientifically, the ability to see the broader picture are some of the advantages of good education that are easy to dismiss since they are not immediately visible.

There has been a similar thread on HN where someone with a bunch of degrees said: "I haven't used anything from my studies in my work". But this person might be blind to the fact how the education shaped her mind. Understanding goes beyond mere knowledge.
> This just seems to be heavily misguided elitism.

Not really. There is a bit too much meet you at the bottom communism in the modern ethos of computer science. When you can have measured difficulty and time to skill in a field isn't it a little odd that we don't have a lot more measured elitism in computer science? The reality is the hardest most complex stuff is literally solved and produced by an elite few. All of which could be taught or learnt but no one gives a shit. Its a bit like magic is slowly dying from the universe, and the wizzards keep suggesting it might be worth holding onto. But they then get called out as an elite minority only interested in furthering their arcane agenda. Whilst everyone else is using the accessible modern "technology" built from the original magic and cannot fathom why anyone should give a shit about magic anymore. Wizzards only appeared special to get a cushy job next to the king in their own tower right? Technology is just as good as magic, because it was built from magic!!!! So elitist. The problem comes when the technology fails, or doesn't do something thats needed and cannot be changed without changing the base magic that the technology started from. If there are no more wizzards and no more magic, you're never going to be able to create new base technologies. The only hope is the magic making technology everyone is currently working on called Machine Learning. Then all the wizzards can be virtualised and controlled like slaves, even if its provable ML isn't actually magic, its close enough... we hope.
I know this, which is why I explicitly mentioned SunOS 4.x. However remnants of MC68000 are sprinkled throughout the code. It should prove an interesting challenge to port an ultramodern OS to Amiga hardware. Vampire could make this possible.

Amiga did run a genuine System V Release 4.0 UNIX from AT&T ported over by Commodore. The link to the tape archive is on generationamiga.com in one of the articles.

Sun Microsystems almost bought the Amiga but Commodore screwed up the deal as usual.
Uber halts development of self-driving trucks
>But you already had to handle the case of "code blew up because of a bug".

I'm handling bugs very differently than network failures though, because network failures are usually temporary while bugs are usually (or even by definition) permanent.

Dealing with temporary outages in lots of places is extremely difficult. You may need retry logic. You may need temporary storage or queuing. You may need compensating transactions. You may need very carefully managed restarts to avoid DDOSing the service once it comes back online. There may be indirect, non-deterministic knock-on effects you can't even test for properly.

Microservices cause huge complexity that is very hard to justify in my opinion.
Put it that it does not seem so hard: can you determine the shape of a mostly transparent house that you are currently in?
You must have missed the recent additions of 'unvote'/'undown', deleting posts (I am not sure anymore, but don't think this was possible a few years ago), limiting edit time, much fewer (in my experience: no more) 'no such thing' errors when the cache expired, collapsible comment trees, etc.

These are all small improvements that made it a lot better. That the look hasn't changed for as long as I'm here, I'm quite happy about. If the alternative is something with loads of whitespace and Javascript like Reddit, Skype, etc., then please let us not update "the comment system from the early to mid 2000s".
Feynman on Initial Conditions, Evolving Laws, and What We Consider Physics(2012)
The reason for banning nonterminating functions is different, logical not computational. If you want a programming language to work as a proof checker then you want its type system to be a consistent logic, so that a program P of type A can be used as a witness that proposition A is true. Using non-terminating computation you can create such witnesses for any type, including whatever you may want to represent "False". So you have an inconsistent (useless) logic.
>Any links on this?

https://digitalcommons.lsu.edu/cgi/viewcontent.cgi?referer=h...

TL;DR (it's a 213 page grad thesis) Old Germany used to be basically Hufflepuff, a simple-minded, loyal, obedient rustic bumbler who's too stupid to really be a threat or even much of a partner. New Germany arose post-German unification and especially post WW1, where the stereotypes shifted to the modern more sinister concept of a nation of amoral mad scientists and clockwork soldiers - largely as an attempt to justify Germany being the great rival of England.