jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Try programming in Haskell. Pretty much all other statically typed programming languages (except ML etc.) get their type systems wrong because all types are really (or <x> null). That's useless for doing type checking, which is why there doesn't seem to be much of an advantage to static typing. Type classes and Hindley-Milner inference make things really nice to use. But it's really the lack of null that makes Haskell's type system actually useful for things other than catching trivial type bugs.
Good job, I've already bought both PushupFu and CrunchFu.

Is this like a combination of those two and more?
Or pointing out how hard it would be to get a "bug" inserted into such a codebase. He's not saying that either endeavor is easy. His only point was that, given a budget of $X and an embarrassment cost of (abstract) $Y for getting caught attempting to degrade the security of OpenBSD [my interpretation of "risky"], spending those $X on the identification of existing exploits would be the more rational course of action.
Not to be confused with Jackson Harper's Chrome extension to bookmark git repositories without watching them: https://chrome.google.com/extensions/detail/dbjampjhnhcfjgca...
No thanks. Lies are a bad business model and a worse life model. Makes one think wepay.com's sense of ethics all boil down to whether it makes them money or not.
Yeah that's what I mean by not scaling above a threshold. Our brains could be bigger (neanderthals had larger ones than us), but those bigger brains for whatever reason weren't "worth it."
>It slows down positive growth

If we ignore race, this model of 'aid' (at this particular stage of development) seems to hinder growth and can not lead to self-sustained communities. Think about this: I could teach somebody how to plant seeds and provide for a whole village, which will eventually lead to a better economy, or I could just buy everybody lunch for a week and wait for somebody else to do the same after me. The latter (which happens in a lot of these programs) is simply interfering with their progress by taking away jobs from the community, which would made progress had you not interfered.

The better solution is guiding and teaching nations how to improve and there are plenty of organizations that do this and have a much more positive effect. Why can't these nations develop like other nations (in similar climates) have done in the past? Nothing wrong with a helping hand but charity like this isn't a long-term solution.
Link to the actual project: http://projects.csail.mit.edu/jeeves/

This article tells nothing useful.
Is the paranoia kicking in?
If indeed they lost 770k BTC then, in my view, there can only be two reasons someone would buy them:

1. A buyer truly believes that Gox death would mean Bitcoin death or stagnation for 5-10 years and, thus, his own coins would be worthless anyway.

2. A buyer believes he can make more than 770k BTC he'd have to pay back customers.

However, I don't really think they've lost that much. It is simply insane. I don't believe anyone can be that incompetent, especially after reading Mark's 2012 message about security here: https://bitcointalk.org/index.php?topic=23938.msg1177353#msg...

Update. Rumor on twitter about the acquisition: https://twitter.com/paulbuitink/status/438428157948219392
I am curious, how would it make sense for them to get acquired?

Surely their liabilities exceed their assets, their brand is now worthless, and their reputation is shot. Why would anyone acquire them?
There is something I can't understand. They couldn't produce a really necessary Ubuntu laptop and they think they will be able to create a phone that doubles as netbook. They are deluded.

I'll soon have to buy a new laptop. I really would like to buy an "Ubuntu Air" laptop, if it existed. But it doesn't. Those that wan't to buy an Ubuntu laptop (or any other linux laptop) must study all the components of the computer they are going to buy and check for driver compatibility, plus some prayers, because you never know if it is really going to work well. This is really painful, and I'm not taking into account the usual regressions when upgrading.

At the end, I will probably buy a Mac. I have a baby and I don't have time to spend configuring wireless card drivers for days. But I'd love to have a high quality linux laptop.
In my eyes, there's no way one is going to get a traditional HVAC in something like this due to power consumption restraints that you mention. Though, if you watch the video's of Darren preparing, hes powering more than just a laptop or a heater plate (he also employs batteries to get over those night time constraints).

That being said, I feel like one would probably better off trying to solve the heater on the cold night problem by first approaching it from a fluid dynamics perspective (kind of like a glycol HVAC) and then using minimum energy for things like a pump. Though that is probably outside of the scope for this specific project, but it is probably worth looking into for those interested in building on what is going on here.
Users can always revoke their public keys. The same public key does not have to be used continually. Allow users to revoke their keys as often as they like. Heck, force the keys to expire in 1 day if you like! We already expect the sender to be online. The sender can check for key revocation before they send the message. Or let the server send back a error response if the sender used an expired or revoked key to encrypt the message.
That is an interesting site. I was especially struck by the high number of cases per capita in Switzerland (818.42 per million, at 18h20 UTC on Sunday 22 March 2020, compared to the global average of 45.79 per million).

Some of the very small states have outlandish rates per capita (San Marino at 5248.32 per million, Iceland at 1559.33 per million, Luxembourg at 1299.90 per million), but this is obviously an artefact of their tiny populations, and perhaps high rate of testing and detection.
I believe the version published at CGO 19 is the final version. It is longer.

https://www.ic.unicamp.br/~ra045840/bolt-cgo19.pdf
More emotion, less logic. People like to feel good. They don't necessarily want to learn something new.

Crack jokes, banter, wear a smile, but don't be a clown.

Best way is to surround yourself by people who do the same. Do not feel discouraged when they "throw a knife" (take the piss) your way, as it's a test of your conversational and mental frame. Agree and amplify, and laughs will be had.

Then again, don't surround yourself with bullies. A true friend stabs from the front to test and grow your mental frame, while enemies stab from the back to undermine your frame.

Point is, have fun. Don't be a walking talking wikipedia page of logical facts.
That’s not a terrible argument. But people are more upset about murder drunk driving, terrorism, opiod, and suicide than dying of disease because it’s human caused.

It would make most sense to compare CoVID19 to deaths caused by disease per year in the USA, as that is apples to apples. I don’t have those numbers off hand.

Edit: https://ourworldindata.org/causes-of-death

The overall rate is roughly the same as the death rate from disease.
Cyber security?
It is still too early to tell but what if the corona virus pandemic ends up hurting the us and Europe much more than China? Pushing the shift towards Asia/China into overdrive.
> I simply wanted to see prior work on the subject. ... not based on a single quote/whitepaper or a URL.

For example start with Olin Shivers' doctoral work on k-CFA, and why he needed a k! And then follow the trail of citations from there forward.

Then look at David Van Horn's doctoral work on analysis:

> There is, in the worst case—and plausibly, in practice—no way to tame the cost of the analysis.

> The empirically observed intractability of this analysis can be understood as being inherent in the approximation problem being solved, rather than reflecting unfortunate gaps in our programming abilities.

> As the analyzer works, it must use some form of approximation; knowledge must be given up for the sake of computing within bounded resources.

That approximation is the 'Any' I was talking about.

And he's specifically talking about your idea of symbolic execution and why it doesn't work

> if we place no limit on the resources consumed by the compiler, it can perfectly predict the future—the compiler can simply simulate the running of the program, watching as it goes.
I'm responding to the dickhead making generalization about poor people buying tvs iphones and eating avocado toast or whatever politically motivated talking point they are clearly pushing. I'm definitely not responding/repudiating to your point.
I've always used the word "Agile" to describe a project management style that can move quickly and respond to change.

Becoming a certified scrum master and rigidly following the rules of SCRUM seems counter to this. Isn't the first line of the manifesto "Individuals and interactions over processes and tools"

Having said this, I should add that I believe even agile teams require strong leaders with a clear vision for the product, I'm not a fan of democratic software development.
Thanks for the detailed information! Actually it was referring to what you said earlier:

"The nobasu character (ー) ordinarily lengthens the vowel sound directly proceeding it"

But did not know that it "had" to be directly followed by katakana. :)
Agreed. Since no single term beats all the others for clarity though, I'm willing to grant them "reverse mentorship."

Personally, however, 'reverse' anything makes me think of "reverse racism," my least favorite phrase ever. Even in the absence of any political agenda, just taking the term at face value, it doesn't make any damn sense. Racism against white people is still racism. There's nothing 'reverse' about it.
http://hacklikeme.heroku.com/
Out of genuine curiosity, what were expecting to get out of it before you started reading it? Also, if you found the proof of Gödel's incompleteness and RNA transcription "ultra basic concepts" my hat is off to you.

I'm a programmer with a maths background[1] and I've read the book twice–once when I was 19 and again when I was 26. Both times I really enjoyed the digressions, language games, dialogues, and playfulness of the book. I got the sense Hofstadter was deeply curious and enthusiastic about the topics he explores and did a wonderful job at sharing that enthusiasm.

In my opinion it is a great example of writing for the sheer joy of exploring ideas. I can see how approaching such a book with a "just the facts please" attitude might end badly.

[1]: I've been told I'm a strange math/programmer though. I enjoy a wide range of literature too: Cervantes, Nabokov, Wallace, and Coetzee being some of my favourite authors.
Interesting; I didn't know that. Thanks!
Detect rogue access points and spam them with deauth packets?
If you pants trees om every bit of avaliable land, that stilll would not be enough to compensate for the emissions - we use a lot of land for farming, and are emittinghundreds of years wortg of tree-catrure per decade.
(I am the ceo of Mercury)

Sometimes a bank compliance team can not legally say why a bank applicant is not approved. In those situations we can also not tell an applicant that, that is the case.

Though that is pretty rare, if you email me your company name/email I can take a look to see if I can provide more insight. We generally try to accept everyone we can legally accept if they are not in a prohibited industry etc.
>Are we so lacking in innovation that we cannot come up with sustainable development models?

Well, yes. We Americans are fat, lazy and comfortable. 70 years of being on top will do that to you. But we are still voracious, even in old age, and will happily burn resources on our vanity, greed, and, perhaps worst of all, mere convenience. We are not willing to inconvenience ourselves to address global threats. (And that alone is enough to disqualify us from any kind of global leadership role.)

(In fact I believe it was a twin existential threat that led them to loose their minds. Global climate change requires of Democracy what I call a "voluntary contraction". This is impossible to accept by the many people in this culture who feel entitled to earn/consume even more than their parents, and their grandparents, because it's been that way for 80 years. Sustainability changes this; it means accepting that you'll have less material wealth than your parents. The other threat is more personal: politically correct thought policing from the left, complete with mob enforcement through cancel culture. Together these threats might be powerful enough to cause a delusion in which one is saved from reality by a reality TV star.)
https://www.tree-annotation.org/

minimal universal syntax

on top of that building notations for data (like JSON), markup (like XML/HTML), and source code (like S-expressions)

to me it's beautiful and feels like a holy grail of simplicity; it's pretty fun

I want to push it far as possible from the point of being a little curiosity towards the point of being a universal optimization that improves the software world
What about Testing?
Yes, and?

You think it's worse to interpret a word literally if that literal definition is broad, than it is to interpret a word in a way that makes the other person seem delusional and nonsensical? In the context of a specific conversation, its more reasonable to interpret somebodies words in a way that makes their words make sense, than in a way that makes them sound delusional.
Same here (like another sibling reply). I really don't get the complaints.

For private email consolidation, I've been running fetchmail for probably 20+ years now without any hiccups or complaints whatsoever. I haven't had to touch my Fetchmail+Postfix+Maildrop setup in like 15+ years, except for the postfix part in the sense that nobody accepts emails from dialup IPs any longer, so everything I _send_ goes through the proper mail server, instead of my own.

My actual email provider (that I've also used for 20+ years, i.e. no, it's definitely not and never will be GMail) does throttle connections via POP3 or IMAP to 3 connections per 5 minutes. That's completely fine. I really don't care whether I get an email now or in 5 minutes from now. I check it way less often than that and I do definitely _not_ have notifications turned on for my email client. And when I do care (coz you know, some "2FA" BS email, I check via my provider's app or log into my server and start a `fetchmail`.
These aren't minimal changes. Most of our greenhouse gas emissions come from energy production. We have solutions to this but they are not being deployed widely due to political bikeshedding, corruption and blame passing.
Did you read the post? The "dirty tricks" also involved "stealing WordPress code and lying about it" and not allowing you to export your content.
But only if you order the kit, not if you get it preassembled I believe.
If starlink can maintain urban bandwidth, more power too them. But I think that 1/2/10,000 dishes per square mile will probably overwhelm the handful of sats flying over a town at any given moment. Starlink is no threat to wired services in urban areas.
The hashtags, the public shaming, the teacher training, etc all already exist. But child sexual abusers go to great lengths to hide their activities and even their victims more often than not don't want to talk publicly about what happened to them. Again, you can't take action against people you can't identify, and I don't think we want to encourage people to start throwing unsubstantiated accusations of child sexual abuse at people, nor present evidence of a child's sexual abuse on public forums.
> I miss out on things a traditional publisher can do, like marketing and real in depth book design, but from what I understand they don't do much marketing unless you're someone famous anyway.

I've heard the same about marketing and that was my impression when I was interacting with O'Reilly and Apress several years ago. For technical books today, they expect the author to bring the audience.

> I also don't get an advance.

Sure, but that's just a small loan. If you're in the economic bracket of a typical HN reader, you don't need this.
Its almost the same here in India. The so called "tech support" has 5 steps they want us to go through, irrespective of anything.

1. Press the "Start" button
2. Click on "run"
3. Type "cmd" and press "enter"
4. Ping router
5. Ping (their) DNS servers

The good thing happens to be, they arrange for a visit by a lineman if you straightaway answer in the negative to all of them.

In situations when they want me to "check the automatically configure IP address/DNS servers checkbox", restart modem, and such stuff (and I don't use Windows), I just try to simulate the system that they are expecting, from my Mac (if they tell me something like "open control panel, go to network properties, double click on TCP/IPv4", it fairly obvious they want me to change the IP address or the DNS servers). Usually it works out pretty well.
http://www.webupd8.org/2010/11/alternative-to-200-lines-kern... is also about this story and how to set up this scheme in Ubuntu and one commenter mentioned that he used a similar approach in Suse.
One of the biggest reasons you see acquisitions is for realized gains for investors (including the founders). When you seek investors for your business, you'll find that they expect you to have an exit strategy; this is because they eventually need to get their money out (and then some), and an acquisition is one of the best (and easiest) ways to do that. Some investors may even build legal terms into the agreement governing your course of action when an acquisition might be possible.

For most founders, the acquisition is typically the end of the rainbow. You quite literally cash out/sell your investment. You stop assuming the risks of the venture, but you also give up your rights to future profits. Startups are very risky, and like any investment people gain the most by selling when times are good. A startup that is doing fine today could be dead in two years, or it could go on to be Google. Would you rather have $30 million today or a chance between $0 and $1 billion+ a few years from now?

Of course you don't have to be acquired. If you like what you are doing you can simply keep going (if you are profitable). If you have investors then you'll need to figure out an alternative way to compensate them.

As a founder I personally tell you that I'm more interested in building my products and business than I am running the business long term. I love my company and everything we are involved in, but the further we go the further I get away from my hacker roots. Someday I'll need to get back to that.
I loved Byte.

As a kid growing up in South Africa, Byte was my connection to the outside world. International sanctions made computers incredibly expensive. Byte gave me hope that if I could just get abroad...

I would sit for hours in the local library and read 6 month old issues and live in hope that I would one day be able to play with the machines mentioned in there.
One comment: on your home page, http://embed.ly , you might want to change the font that is used in the blurb "Convert your links into embeddable content..." It's narrow and really strains my eyes to read. It looks like it's meant to be used in a logo or trendy header, about 5x the current size. Just a suggestion
http://www.h-online.com/open/news/item/Oracle-releases-VM-Vi...
I thought flickr started with game neverending?
The programming language directive was targeted directly at Flash, because Flash itself is a potential killer app. They thought they killed it by just not supporting it in the browser, but then Adobe managed to find a way to resurrect it. So they had to kill it again, this time with a stake through the heart.
Off the top of my head...

Technically:

You can't intercept calls from the dialer on the iPhone. You can build a look-alike replacement which is pretty good, but you will never be able to do things like intercept tel:// URIs.

Call quality/security/battery life trade offs are harder because you don't have access to a lot of the hardware acceleration features.

Cellular networks are designed to prioritize (GSM) voice over data, especially for latency, ensuring that GSM voice is better quality.

911 requirements (especially for 'primary' voice services) are very strict, expensive and really hard to do well without access to carrier-level information and deep handset hardware control.

Non-technically:

If it became a competitive necessity carriers could drop prices like a rock. The marginal cost for AT&T to route a call is much lower than it is for VoIP carriers due to volume. They can adjust their pricing structure (e.g. by raising monthly fees) to compensate.

Someone else derives a lot of profit from the platform you are trying to undercut, and they have control over approvals for that platform.
I loved my Nokia 3390 for the exact reasons mentioned by earlier posters: It was responsive, and for the day, refined. Since then, it has been downhill.
There's an Android port too.

http://www.craig-russell.co.uk/android-game-what-the-hex/
Today, sure. Not in the past, not until the late 1950s, even.

All I wanted to say is that they started out with Socialism and didn’t turn everything they touched into North Korea. Which means that tyranny is not the logical consequence of Socialism.
Which then ended up moving to delicious.com...
Wow, the first thing I do when creating a new repo is disable fast-forwarding, especially for large teams.

The merge commit is the quickest way to see all the changes that came in from a branch, and if you do branching right, all the changes related to a particular feature by one developer.

Also, merge commits are much easier to roll back, no matter how rarely you need it.
I was referring more to the "ran hundreds of experiments" than the "understanding by implementing." I agree wholeheartedly that actually making something reveals far more about a problem/solution than would simply reading about it.
Talking about "Online Video", I'd like to explicitly mention https://www.vessel.com, which Jeff Jordan implicitly mention here: http://a16z.com/2015/01/22/online-video/
Thanks. I developed it on a Mac. I'll fix the Linux problems ASAP.
ZFS has de-duplication features however the amount of RAM required for the lookup tables can become massive and I would generally not recommend using it for large-ish backup systems. Does this get around the massive lookup tables somehow?

Edit: The README addresses this under scalability. Apparently the overhead is much smaller than for ZFS.
Can you elaborate on the context in 2?
From what I've read, he was just mocking a Fox news clip and wasn't threatening anyone but arguably himself.
Blasting the drone out of the sky is probably not the best option. Drones are becoming more popular for legitimate uses like photography, farming, and maybe deliveries in the future. Without knowing what the drone is carrying, it would be hard to determine which ones should be shot down and which are serving some legitimate purpose.

For that reason, I think the ideal solution would involve capturing the drone somehow, maybe with a net of some kind. Innocent drones could be marked with contact information, allowing them to be returned to their owner in the event that they are mistakenly captured.

As an added benefit, harmlessly capturing the drone would provide more useful evidence for the police investigating drug crimes.
WhatsApp had some real issues and then it seemed they cleaned it up.

It seems every mainstream researcher now agree that the message delivery part of WhatsApps is now trustworthy.

That said the metadata and incentives story is about as bad as it can get[1] and in the backup department your chats can be uploaded wholesale to iCloud and/or Google Cloud if one of your contacts from the same conversations enable cloud backup.

[1]: Owned by Facebook and they shut off the revenue stream so the only way they can make money from it is by squeezing it of the metadata they get or introduce ads.