jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
I thought I was trying to communicate just the opposite, that during implementation all kind of semantic information is lost. One could define a type as a semantic property, which goes much further than specifying it range of valid values. Think for example about the unit of a double value. I have not seen programming languages where units are an essential part of the language. Several billion dollar disasters could have been prevented if such a language had been used. And this is apart from where a language is statically or dynamically typed. Types can also be viewed as annotations that can be used to verify the correctness of an executable specification (program). One could had a type stating that a function terminates with less than C.n^2 operations of a certain type, where n is one of the parameters of the function. These are often things that are reasoned with at the semantic domain, but are lost when the actual implementation is made.

I realize that this requires a different mode of thinking about software engineering than is common among software engineers. I also wonder whether most software engineers could be called engineers, because it looks like it is more a craftsmanship than engineering, like mechanical engineering where they are able to accurately predict the properties of a certain object before it is actually being made with the help of standard methods, such as finite element analyses.

I have to admit that we are working in a far more complex domain, but it seems to me that not much progress is made in the field of software engineering. Probably also because technologies are moving too fast to build a solid foundation and that the demand for solutions is too high.

I am surprised how few software engineer understand that main problem boils down to the fact that computers are too slow for our demands. See: https://www.iwriteiam.nl/AoP.html
It's very irritating because people don't understand the concept of defense in depth. Are surgical masks going to give you total protection? Of course not, but as you say they provide SOME benefit. Saying "masks don't work because they don't fully stop the virus and users misuse them" is basically equivalent to saying "code review is a waste of time because it won't catch every bug and because devs don't do it correctly". The solution isn't stop doing code review, it's to teach people how to do it and to understand it's limitations.
SpaceX employees will infect everyone: their grandparents, people with pre-existinng conditions at the grocery store, etc. They will contribute to community spread.
Unfortunately, this won't work for any analytics platform that uses first interaction attribution, which most do. That means, they'll immediately store the first value seen and treat that as the "source" for the visit. Changing it will tweak per visit parameters, but won't really affect most people.

Still cool, but a better solution would be to make a plugin that mangles them before the request is sent :)
Thanks, we missed that one. Had the story not been discussed yesterday we would swap the url, but in this case we'll bury the post as a duplicate.
I never put a license on any of my small projects.
I'm the kind of person that happily combines incompatible projects.
I simply don't care, and neither does anyone else.

Once my projects gain traction, issue #1 is usually "add a license". I add whatever the reporter wants.

The bottom line is that any project with actual users has a license.
I hope that is the case, but I've seen far too many of these articles written by native english speakers. I've graded papers by university students (year three!) that were far worse than this article.
Serious if not rigorous.

Someone downthread quoted 10 days at 100Mbps is fine - when that's two years at 1Mbps a common end to end throughput.

Cloud computing is a massive game changer, but while the economics have changed, the laws of physics and calculus of reliability has not - at some point I cannot imagine not saying "my really important data is, once all is said and done, mirrored across those two physical hard disks in this physical location. Preferably encrypted with this key."

Moving across the network to retrieve from disk is always the slowest part of an operation. This is unlikely to stop being true. And until the entire internet thinks nothing of 10TB as a transfer then storing that much "somewhere" is always going to be far far less reliable than planning a storage stack taking into account topology, relevance, usage and risk.

We used to worry about fitting things into 1KB, not a word doc takes 1MB, neither of which trouble any modern network.

But to me, and I may be wrong, we are in the 1KB internet while these guys are offering cloud storage for 1MB word docs.
Any you recommend? Where should one start looking for a good accountant?
im not sure why this got downvoted. jobs, gates, zuck, brin, page, all of those guys are (are at least were) productive programmers and now have celebrity status.
You act as if "first movers" ever don't get screwed by Apple. I understand that technology is constantly evolving and that by time I buy a phone, a better one is being produced, but I can't shake the feeling that Apple schedules their releases and features in ways that maximize their revenue. I suppose I can't really blame them for that. It just makes the whole thing seem less "magical" the way some act like Apple is just the most innovative and new company in the whole wide world.

Also, I still can't help but laugh at this moniker of the "post PC era". The rest of us are still doing real work in Windows, Mac, Linux and the smartphone/tablets are accessories.
10 months? Sadly, it's not that reasonable. If you're in the US for 30 days, as a citizen, you have to pay income tax in the US.

If you earn more than, I think, $86k outside the US, as a citizen, you have to pay income tax.

And either way, you have to file. The law even says you have to file for 10 years after giving up your citizenship!

The US sucks.
Haiping Zhao, the lead on Facebook's PHP compile-to-C++ project, is in Fast Company's "100 Most Creative 2010" list.

http://www.fastcompany.com/100/2010/16/haiping-zhao
Few quick notes while I'm sitting in class:

- 960 is 20% bigger than 800, and that's not accounting for the fact that the screen is much smaller, which makes a big difference in DPI.

- the argument that the iPad didn't have as good a DPI as an Evo and people didn't complain then is a straw man. The iPhone 4's display is clearer more impressive, numerous media outlets have said it's the best display they've ever seen.

- Have you tried using an OLED screen? You can't read it at all in sunlight. I know LCDs aren't amazing, but I can at least see what's on the screen and interact with it. maybe I don't know enough about newer OLED technology though, I haven't had a chance to play with an Evo

- That's the problem with Android, or maybe their development team: they simply don't have the resources or smarts to focus on specific features of the OS. They couldn't get the color band processing right on a first-party device until 6 months after launch!
Also, none of my friends are as attractive as the models used on the Facetime page. Stop faking my friends. Apple, please fix this.
Yeah, and from what I've heard most Solaris (and proprietary Unix) installs wound up with a copy of the GNU utilities installed somewhere and added to the sysadmin's PATH because the bundled ones were shit. Before Linux came along, this was the main use of stuff like GNU coreutils. I'm not sure this is really an aspect of traditional Unix we want to be imitating.
How do you plan to find customers post-launch, presumably you have some sort of marketing strategy in mind (whether it's cold-calling or buying advertising), so use that technique to get some initial feedback as well.
It is a standard term in rugby, anyone in the UK who knows about that sport is familiar with that definition. It's more commonly just called a 'drop kick' but people would know what punt meant in the context of sport.
I bought a John Locke book once just because of the 99 cent price. John Locke is the pseudonym of the author behind most of the 99 cent Kindle top 20 bestsellers, and probably one of the few that makes 6 figure sales this way.

I read the entire novel hoping that the ending would make up for everything, and in the end I just felt like that was a massive waste of my time and 99 cents. It was a mystery/thriller that ended up being so bad that I was laughing the whole time at the absurdity of everything going on. It was rather well edited, unlike most of the indie and 99 cent crowd, which was all it has going for it. And this book and many others have nearly the same rating by just as many customers as a traditionally published 1000 page behemoth like The Wise Man's Fear, which was (to me) worth every penny of the $15 ebook price and many, many hours spent reading.

I love seeing markets being revolutionized and people self-publishing easily, but the state of 99 cent ebooks today feels to me as bad as an iOS App Store with all 99 cent fart apps as bestsellers would feel. There isn't much quality or thought put into most of these, and the Angry Birds and Tiny Wings of the ebook world are few and far in between. I can only wait and hope to see improvement, instead of seeing more drivel being spewed out by the current set of bestselling 99 cent authors all celebrating their six figure sales of their godawful books.
I use dropbox on multiple computers. one of the computers is running jungledisk to backup whole dropbox content. The problem is both services work on top of amazon cloud but I will eventually resolve this issue too.
Nice app and good design, however I have a problem with this and other startup projects I have seen in startup weekends that there is just not enough information before asking me to signup, where is the 'about' page?.

Also, call me ignorant but how does someone trademark a slogan over a weekend (footer) - "The Conference Calls You™ "
Rowan Simpson of Southgate Labs made an iOS app, Top Three, which does this a few years ago http://itunes.apple.com/nz/app/top-three/id377629136?mt=8...
John, still, this is amazing for the first iteration. I wish you could licence 'grammar logic' from Google Translate and incorporate in your App.
My favorite wines these days:

- 2007 Xiloca Garnacha (~$15) http://www.winechateau.com/vsku1564105_MURET-XILOCA-GARNACHA...

- 2007 Lucky Star Zinfandel (~$18, can't find a good source online)
Try reading a book with your eyes closed.
I like the bot (I thought it was you) and I think it would work if the OP deletes the post. It would be up to them, as it probably should be because, as the PG Essay kerfuffle earlier showed, sometimes posts should be seen again. I hope you have time to give some details on the bot itself. In my opinion DupDetector should live on.
"If he's an unusually egotistical person or if he has significant financial interests which the perception that he was involved could disrupt."

Or, if he is passionate about the software he is involved in building...which Open Source developers generally are. Reputation is the only currency that matters in the Open Source world, and someone has attempted to destroy this guys reputation. (Or any number of other reasons why someone might be bothered by such an accusation. Your assertion that there are only two "possible exceptions" is just ridiculous. Speaking in such certainties about the human brain and human emotions is simply nonsensical.)

Frankly, I think you're talking out of your ass here, with very little understanding of the people you're talking about, or the psychology you seem to believe you know so much about. Do you have no exposure at all to the Open Source community? That's the only way I can imagine you would consider reputation to be something a normal person doesn't have every right to care about and defend from accusations.

Honestly, this developer responded far more politely than I would have in similar circumstances.
It would certainly be a trademark violation, and I wouldn't be surprised if it was fraud too.
No I agree very much with the point you made... this easily has enough legs to stand on its own without being bought up.
yep, this is a word-for-word translation, because it's fast and it gets the point across. we're working to improve translation quality and finesse, but it's a much harder problem to understand grammar. so, we hope it gives the general meaning, and you can learn to piece it apart.
Delicious and Flickr.
> To be able to encrypt the files, it has to store the private key (and obviously the public key) somewhere on the computer

Why do you say that? The very purpose of public-key crypto is so that you can send only the public key, have the other end encrypt with that, while you hold onto the private key which is the only thing that can decrypt it.

No guarantee this uses public key for the crypto though. From what I know, a symmetric key is more suitable to encrypting huge amounts of data. Could be wrong about that though.
If you think jwz is doing some "viral marketing", then you're really lacking in your knowledge of net.history. Ending your post with "flagged" makes it doubly foolish.
I've struggled greatly with this as an indie trying to sell my own software. I've yet to have any success (ie make non-trivial money) on my own.

I've never been able to get attention from any kind of blogs (although when I attempted, the list of blogs I contacted was small, and the blogs themselves were big).

I also didn't send out any press releases.

I got my followers on Twitter to retweet my app, and despite having maybe 40 or so retweets, only 1 seemed to convert to a sale.

The biggest and most common weakness through all of these has been either not having a website, or having a very basic and crummy website. That has been my lesson so far.

I don't consider myself to have failed. I consider myself now knowing 3 or 4 ways how to not get promotion. As I said, the biggest problem, I feel, has been a weak website presence. The apps themselves, while not stellar, I would certainly put them in the "Good" category.

Though unfortunately all of them are currently quite out-dated.
So what? Even if God himself would promise 100% uptime I'd better have 2 or 3 fallbacks for such a service.
How about a host-abstraction layer, so that you can deal with different providers through a uniform interface?
My knowing that the owners of the site step in and try to fix problems causes me to invest more time and attention on voting because it reduces the probability that that my time and attention will go to waste due to incompetence or inattention by the owners.
Not only that, but an individual company (as a single rational actor) has every incentive to hire workers with less "perceived" credentials and more actual work credentials.

Part of the reason I believe the education bubble is a bubble and will pop, is that the entire point of an accredited degree is to have a recognizable proxy for someone's intellectual capability. The ease at checking a person's ability prior to the internet and social media was in checking with their alma mater if they had the degree that they had and therefore if they were as capable as they claimed. Now it's even easier to check if someone has the intellectual capability by looking at their blog/github repo/facebook/twitter.

With that in mind, I think its only a matter of time before that starts to translate into educational institutions competing with industry for students.
Each list comprehension is O(n). O(n)+O(n)=O(n). Each iteration will roughly bisect the list, resulting in roughly log(n) iterations. Thus the one-liner is O(n*log(n)).

Haskell says nothing about how lists are implemented, so with respect to "true"ness (I'm not really sure what this means), we can cannot generalize. A sufficiently optimized Haskell compiler implemented in silicon would have the liberty of using the memory in-place.
Maybe I'm misreading you, but it sounds like you're saying "my coworkers made something with a really great UI and people loved it!"
I've recently gained a sort of morbid fascination with Arc (morbid because of the lack of documentation, libraries, example projects, etc).

With many other languages already under my belt, I feel confident that I can learn it on my own - at this point in my career I have to ask though, why should I?

I'd love to hear a compelling reason to learn Arc, as opposed to my current next target (Rust).
It says something sad about the state of HN when a well-written blog post that is relevant to the topic gets downvoted merely for not being written in Go.
The article is about speeding up a Rails app. Unless you're planning on hosting that web server on OS X, iOS or an Android device, RubyMotion is not going to be of much use.
Thanks for that. It taught me something new, and also encouraged me to look at the man page again. Now, I have the following keyboard shortcuts (the first two came by default):

PrtSc - Capture entire screen; save in ~/images with timestamp; open viewnior to look at the resulting picture.
Alt-PrtSc - Same as above, but with a 10-second delay.
Shift-PrtSc - Same as first, but with the -s flag.
Shift-Alt-PrtSc - Same as first, but only captures the active window.
Cool, let's double that and get them all running IE9. The web is in need of an upgrade.
They have tried different directions but nothing has worked.
You write, "$12.65 million is a lot of money. What could we do with that?" Here are some issues:

1. This implies that there is a direct way that everyone who runs Folding@Home could, instead, have donated their electrical costs directly to a charitable organization.

2. The article fails to address how Folding@Home eases scientific contributions by the masses. I agree that $12.65 million can save many lives -- provided it was not split across scores of charities.

3. Folding@Home has the potential to save hundreds of thousands, if not millions of lives.
> <bound method Paper.GetName of <paper.Paper instance at 0x2aaaab9f12d8>>

Sounds like someone forgot their parentheses.
That is very standard legal. If they did so, the impending class action would already be over.

I wouldn't be surprised if that blog post cost them well into 6 figures for legal fees. And that it took the full week to draft and approve--it is probably the reason this announcement took so long to emerge.
Salted hashes are better than unsalted hashes.
Actually, even though you deny that you are a genius I think you are. I don't think your article refutes the original article by John Cook at all as you are one of the very small percentage of people that can "make things happen" in Lisp or any other language.

I would suggest you are too much of an engineer to use an "inferior" tool like C++ or Java because you know there is something "better" otherwise I am sure you would achieve equally spectacular results in other languages.
He posted there apparently and Twitter removed the tweets.

https://twitter.com/banthebbc/status/1347720547455688704

(not endorsing this account, just linking to the screenshots)
Thanks for sharing. I gather your optimistic view is founded in sort of taking election promises at face value. I’ve always thought they are more like things politician say to seem cool, so my pessimism builds from assuming they won’t come to fruition.
Sometimes the most important thing about a room is it's occupants.

Whether intentional or not, Parler is a place for right wing American politics. Unless they do something to attract different discourse, that's what it will continue to be.
To follow up on caconym's comment, FBI has confirmed that more than a dozen explosive devices were found at the Capitol after the siege, including pipe bombs left in front of the DNC offices.[1]

5 people died. 50 officers were wounded, some seriously enough that they are still in the hospital.

Multiple protestors had zip ties and other means of restraint on them, knives, and guns, and on their social media profiles were promoting violence against legislators.

This wasn't protesting. It was terrorism. And these terrorist attacks were organized and coordinated on Parler and other social media.

[1] https://www.washingtonpost.com/national-security/capitol-rio...
That is insane. Here in the Netherlands we pay ~€100 per person, and healthcare is mostly free for everyone under 18.

Isn't $36000/year above the US average income? How is that even possible?
The only difference between it and other specs is that in this document you specify things with enough rigor that you can effectively "execute" the specification itself

Hm if you have a concrete demo then sure I would watch it and give some feedback. (e-mail in profile) It sounds like literate programming for a shell script to me :)

The kernel + shell is the best we have, since there are multiple implementations going back years. For example FreeBSD and Linux are totally separate projects and codebases, and implement a very very large common subset (POSIX, which has absolutely everything you need for text processing and document authoring).

For example, I just tried out NearlyFreeSpeech, a very inexpensive pay-as-you-go hosting service, and I found it runs FreeBSD. If I really wanted to make my blog portable and timeless, I would port it to NearlyFreeSpeech, which I estimate would probably be one day of work (really, I only use the Python stdlib, etc.). But I'm comfortable enough that Linux is going to survive until in some form or another until I'm dead ... or if it doesn't, there will be some migration path for the bazillions of other users.

The point is multiple implementations: Unix has multiple implementations, CommonMark has multiple implementations, and so does HTML/HTTP. Those things aren't going away.

The reason that Spolsky's blog rotted is because he built it in a custom tool (which he wrote), which was built on VB6, which was built by a company which changed its strategy ... etc. The stack was too high, and too proprietary.

He switched to WordPress, but I'd argue that stack is too high too, even though it's more open source.

So I'm happy with my solution but sure I would look at different ones. But my feedback might be that it should be "tested" in the real world. Just like the HTML+CSS solution is NOT tested because the OP didn't actually write many blog posts with this toolchain!
We have places for discourse and for them to say what they think. But we expect human decency that has nothing to do with political views.

The media reports on facts, with proof, because their reputation sort of hinges on it. Retractions don't make them look good. These people don't live in the realm of facts. So the best that can be done for them is to print their opinion with the actual evidence next to it. It's not the medias fault if that evidence totally disproves whatever they thought.
I didn't really do much with my Parler account.. mostly because engagement isn't really there yet.

I'm personally very free speech oriented, but that ends where the legality of speech ends. Insight to violence, and I think doxing should also be illegal or censored.

I think the problems come in a couple forms. First, the best way to combat bad ideas is to bring them to light, not ridicule, persecution or isolation which will only serve to instill a victim mentality which will sew more problematic outcomes. In the end, the calls to excise those that have differing opinions, views or ever did can only serve to make things worse, not better.

When discourse is no longer an option, violence is largely inevitable. It's when people feel they no longer have a voice that these things happen.

Conspiracy theory or not, when the media, congress and so many just dismissed a huge portion of the population, it was bound to end this way... bouncing Parler off apple and google stores, combined with the cleaning house actions of Facebook and Twitter will only serve to escalate problems, not resolve them.

I don't agree with the violence, I didn't agree with it for the better part of the past year when it was far left activists, I don't agree with it now. The only thing I will say is the contrast in response is a bit hypocritical on a lot of high profile individuals.