jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
That's cute. It's really a document for the Tessel development board, which is an Arduino competitor. That's programmed in Javascript. Yes, Javascript for embedded programming. Uses node.js. They have to use an ARM CPU to get enough power to support Javascript, but ARM CPUs are cheap now. It's hardly worth bothering with something as dinky as the Arduino's Atmel ATMega any more, unless you're building a million low-end appliances.

Javascript is now the only language many programmers need, whether on server, desktop client, mobile client, or embedded system.
Cool, but its sorely lacking a Use Cases part. Its like a RaspPi-class (computing power wise) PC with a mouse. Where would I use it?

Home PC? No, I want more power to play games.

Autonomous (like HTPC, IoT, etc)? I don't want a mouse.

Office? More power.

Mobility? It needs a monitor.

So what's the use case?

Edit: some additions and clarifications
It's on the TODO list ;-)
Standards defiance notwithstanding, the web client appears to work as advertised and will surely save many a neck and thumb from premature aging.

It's interesting at this point to think about identity and authentication in WhatsApp. They've never had a username or password and their use of your mobile phone number as your identity seems to have been key to their success (the other factor I'd cite is good cross-platform support).

WhatsApp authn on mobile consists of a once-off SMS verification to confirm you are running WhatsApp on the mobile device hosting the SIM card corresponding to the phone number identity you've claimed for yourself. That said, I recently saw a case of someone using a temporary pre-paid SIM card while she was traveling here in South Africa yet her WhatsApp messages from that phone still appeared to come from her New Zealand number. Not sure how that passed the authn.

The lack of username and password, I believe, is what has led to some of the unnaturalness of the WhatsApp web app. I don't think that their remarks of "the web browser mirrors conversations and messages from your mobile device -- this means all of your messages still live on your phone." reveal all of what guided their design choices. I also doubt that they "don't get the web". Instead I think they need the phone there and online because they have no username and password (or other device-independent authn) and they have thought quite carefully about protecting what got them ahead of the myriads of other perfectly functional IM apps out there in the first place.
Does this improve at all upon Cap'n Proto RPC?

https://capnproto.org/rpc.html

Why not use that?
There is subway line to JFK, why would you be in traffic?
Uglify it and don't worry about it. Concentrate on being better than your competitors.
He actually does go into that in the "Some side notes" part. He recommends calling it a monad only when you actually use the monadic interface:

“I have to directly use the result of one IO action in order to decide which IO action should happen next”: Yes, this is a use case for IO’s monadic interface."

Then yes - you need the do-notation.

For simple sequencing he recommends to use it's Applicative instance.

Your overall point is correct though - choosing to avoid the do notation in Haskell will likely limit your ability to read and understand a lot of code just because monads are so commonplace in Haskell.
I was originally considering RM2. But it seems like optimized for writing vs reading. BOOX is more usecase agnostic. I use Instapaper Android app (which works reasonably well) and BOOX's built-in PDF reader (which is very good.)
IIRC this is only experimental. The most reliable/interesting stuff are relying on ECoG (== put electrodes on the surface of the brain), and this means you have to perform a surgery.

For human applications, most of the time the researchers are using patients that requires several brains surgery (e.g severe epilepsy) so that they can do some sort of fly-by experiments (several surgery are needed so that they can also remove the electrodes).

I studied this at uni; my knowledge is probably not up to date.
Yes but...

Galvos have predictable responses. They have measurable slew rates and measurable resonant frequencies and Q factors. If you can characterize them along those dimensions (which might have already been done and described in the galvo data sheet) you can build a software model of them and use the model for feedback. It's not as perfect as your suggestion but much easier than putting shaft encoders on galvos.

Another idea is to use a high-speed video camera to watch the flying dot on the screen as the galvos move it and take feedback from that. You don't even need to do this during performance; you could use this setup only once to get a very accurate characterization for the galvo model.
Just curious who uses Fly.io in production?

This looks very impressive but i'm scared to use this instead of something battle tested like Heroku or App Engine.

Is the experience similar?
How much you're being downvoted for posting decent links shows me how little regard or empathy people on this forum have for people stuck in the lower end of the economy.
>I don't think you want to live in a purely might makes right world.

There'd be no more "might makes right" with PRC as the biggest superpower compared to the US. Just a different kind.
> So relative peace compared to what?

Total world population.

https://www.vox.com/2015/6/23/8832311/war-casualties-600-yea...
That is cultural bias. It is just easier to play the other card and get attention.
me too. saw dark patterns, left.
well, yeah, all engineers are under valued
Wanted to know more about the tools they use for maintaining and scanning, but I guess many of them are internal and not open source?
No technologies have been invented to wipe out humanity? I would say that we have had technologies capable of wiping our humanity for quite some time. But humanity has been able to avoid implementing it so far...
UML did not have a categorical foundation in the way that, e.g. commutative diagrams, tensor networks or proof nets do, though. Categorical foundations help define some implied properties and allowed operations (e.g. "diagram chasing" as a diagrammatic representation of composition) that have no equivalent in ad-hoc modeling notations like UML.
yes, it is. funny thing, 20 years ago people who wear scarf couldn't go into public places such as universities. Turkey is a laicite country in constitution, got relaxed after erdogan got into power, now more like secular country, people can use scarf in public places. west usually has islamistic picture of turkey due to constant propaganda. in reality, I was surprised when I have come to london and saw so many people with burqa, and this was first time I saw a burqa in real life.
> IDK what BuildKit features should be added to Buildah, too?

Cache mounts are what we rely on for incremental rebuilds.
I can still remember going to Kinkos with a friend’s copy of the real book in 1996 to make a copy of my own and get it spiral bound.

Not only did you get the charts, but you got their notes. And the notes of anyone before them from the book’s lineage.

Still have. Still use it.
It would be a gem in the hands of someone like Bret Victor.
Please don't take HN threads on tedious name-calling tangents. It's against the site guidelines and it's not interesting.

You may not owe "textbook pseudo-intellectuals" better, but you owe this community much better if you're posting here. Similarly for https://news.ycombinator.com/item?id=26740473 - there's no content there, just a celebrity boo.

https://news.ycombinator.com/newsguidelines.html

We detached this subthread from https://news.ycombinator.com/item?id=26740119.
There don’t seem to be many advantages to words larger that 64 IMO (they do exist, but things like GMP exist for that). If the purpose would be parallel processing (a la SIMD), we already have “256 bit x86” with AVX2. IIRC, Intel’s x86 chips can process 256 bits of integer data at the same time. And if you want 512 bits, AVX-512 exists as well (but it’s implemented internally as two sequences of 256 bit data)
>The sharding project bought us some time regarding database capacity, but as we soon found out, there was a huge single point of failure in our infrastructure. All those shards were still using a single Redis. At one point, the outage of that Redis took down all of Shopify, causing a major disruption we later called “Redismageddon”. This taught us an important lesson to avoid any resources that are shared across all of Shopify.

It seems that it does happen sometimes, however.

https://shopify.engineering/e-commerce-at-scale-inside-shopi...
Fly.io is running on Nomad last I heard.
IMO the context makes this one worse. The first one was amusing. The second one was stale. This one is cringeworthy and played out.
If you don't already know about Calibre, I wholeheartedly recommend it.
"Just calibrate your monitor". If only making every monitor calibrate perfectly was so simple. Sometimes you don't have permission or access to even calibrate said monitor. Your talking about nits like every monitor is able to control its nits output, which is certainly not true.

Sometimes, you just have a shitty monitor. There are entire communities dedicated to calibrating monitors as I'm sure you are aware, it's time consuming and can be expensive, it's not a solution, we have manufacturer ICC profiles for a reason.
In general I agree but I'm not sure how this article leads you so strongly to that conclusion
Update: HISTORY IS ON MY SIDE

https://news.ycombinator.com/item?id=13663037
Better, but still hard to read, I think. If I want to compare the green bars for two countries, they don't sit side by side, because the sections under them are of varying heights.

I think this would be more ideal:

Country 1 Work :XXXXXXXXXXXXXXX (X%)

Country 2 Work :XXXXXXXXXXXXX (X%)

Country 1 Sleep:XXXXXXXXXXXXXX (X%)

Country 2 Sleep:XXXXXXXXXXXX (X%)
"I think the number on "Paid work and study" had quite significant differences"

It could simply mean that in Japan a higher percentage of people have paid work compared to the other countries, like children work earlier, old people die sooner after employment ends (in France many retire in their 50s), higher percentage of employed women, less unemployment etc. pp.

Not very useful data.
Apple and Facebook don't get success from having lots of developers, they get success cause their users get access to some cool apps. If they burn X% of developers, then that's OK. Lots of their users don't complain about apps they never saw.
If I were hiring, I'd look at your ability to organize people and generate interest in what you do, and your ability to make something that others find useful.
This seems like a really valid and important point. Yet companies who do build their entire business on other companies' info / APIS (Think Greplin, Trendrr, Tweetdeck, etc.) still get tons of interest from investors. While it is easy to realize the importance of developing an independent business when commenting on HN, I think the startup community as a whole needs to start displaying this in its actions.

Once more large internet companies realize that their users (both of their services and API) are not necessarily their customers (Think Twitter's denial of new 3rd party clients), the API free-for-all which we're experiencing right now will dry up, and we'll see at least one of the companies-who-are-built-on-other-companies fail. This might be the kick in the pants that the startup community needs to realize the importance of building unique, independent businesses.
I had an Atari Portfolio in middle school. It was fun as hell but a beast to type on; the keys took a huge amount of force to press. I switched to a Psion series 3, which was much better (though nowhere near as good as the later 5).
We’re trying to build a competitor to Google ads, targeted at developers: https://www.ethicalads.io/

As developers we understand the most how privacy is violated across the Internet. If we can’t contribute to the change in the ecosystem, we don’t have much hope for the rest of the industry.
My thoughts exactly. I have literally asked my friends list on facebook to write more - in whichever language they're comfortable with, rather than just posting images of their food or the artificial and inflated display of how rich and happy they are. It's pretty sad, but to each his own, I guess.
Not everyone follows American politics and watches sensationalized American news media all day. Facebook is a great place to work, has some of the best tech in the industry and its products have done a lot of good for the world, especially in developing countries.
1) This isn’t unique to FB.
2) The kind of interview being described has been critiqued by many people, many times on HN itself (I am definitely one of those). The problem is that there are no good alternatives. One suggested alternative, take home exercises, became a mess because a lot of companies, and individuals at companies, started treating them as free labor. Beyond that, they need to be more complex to the point that an interviewee is doing actual work.
3) The best way to look at these interviews for senior engineers is them testing your ability to learn something “new” at a very fundamental level. It’s the equivalent of them selecting people based on their success in a badminton tournament. You will most likely need to pick up the game and it doesn’t have much to do with your day to day job, but it does say a lot about your ability to pick up new skills/tech ologies. The difference is that these interviews, unlike a game of badminton, actually have something to do with your job.

To be honest, it’s not ideal, and I particularly hate it because I find it hard to find time to study and prepare when I have a family that I don’t want to neglect, and also a full time job that i would find immoral to take time away from. But it’s simultaneously hard to find better alternatives.
We would still do it if there was licensing. Doctors and lawyers still interview for jobs.
If you didn’t believe the idea could find PMF why did you believe in the teams instincts?
> I don’t think I can link Ada libraries into my Ruby or Elixir codebase

Ruby has (among others, I’m certain): https://github.com/olbrich/ruby-units
Quantum mechanics definitively contains nonlocal effects (entanglement), which does seem to imply some kind of time traveling information, at least when combined with special relativity.
The OP is suggesting to replace the term PMF with "extreme growth" or something similar. Obviously that would be wrong, because you can certainly have PMF while also not reaching extreme growth because the Market part of the PMF acronym may just turn out to be really small. For that reason, it's always been clear in order to achieve extreme growth, you have to have PMF and a large addressable market. So, no, for me personally, I wouldn't see much value with introducing a new term to describe the confluence of both, market size and PMF, and I certainly wouldn't want that term to be called "extreme growth."
> just as depression is a maladaptive persistent overlearned estimate of the world as threatening, unrewarding, and pointless, which persists despite regular experiences which should falsify those beliefs and lead to learning (but doesn't), anxiety is persistent overestimation of risks which

people with depression have been shown to have a more accurate perception of reality. it's the rose-colored glasses view which is adaptive.
You're correct; the one I was replying to wrote EASA and I mentally farted. I was also unaware that ESA had a smaller role in developing spaceflight in Europe. Thanks for correcting me :)
A different cardinal with the same condition, but with more distinct coloring.

Half white, half colored
https://www.wtxl.com/news/local-news/water-cooler/northern-c...

really interesting!
7 years ago yes - it mostly just me. Now days no. We have way too much sensitive data and it’s easy to generate good data by just using our product while developing features and we have seed data for the essential bits... like everything it’s work to develop seed files but worth it. Both security of your customer data and ease of setting up solid dev environments...
There's also this:

http://www.haskell.org/haskellwiki/Curry-Howard-Lambek_corre...
I didn't mean to pick on you specifically, it's just a trend symptomatic to posts on HN. People just tend to assume we know what a thing is just because it's been posted here.
I’ve been wanting to try that package out! Seeing NiLang discussed in the context of automatic differentiation in the Julia community was a bit mind bending, and the first time I ever heard about reversible computing.
https://www.mail-archive.com/mit-scheme-devel@gnu.org/msg015...

vs

https://docs.racket-lang.org/guide/scripts.html

MIT scheme does not love us as users. That's fine. That's entirely their decision of which this is one example. This aspect of the mit-scheme culture is a pretty significant hurdle to it gaining popularity. Probably one that was simply too big. I believe it has been replaced with python for 6.001 nowadays too.

Another example of the same mentality can be seen in the really great SICP video lectures. Jerry Sussman treats the audience like a compiler. He takes the view if he says it once correctly, successful communication of the idea is no longer his problem. That's a lot easier for the audience now we can rewind videos and listen to some small number of sentences again, and again until we get it. It's not exactly a fun way to learn things. It is also a massive contrast to the way say Larry Wall or Guido Van Rossum went about things. I've noticed since Perl ever single new language trumpets how friendly and /helpful/ the community is. I think that's probably pretty significant. This is not a criticism of Jerry, I don't know what his objectives with the language and SICP course were. Hard to get into is hard to get into whatever the reasons.
C programs would be a lot more safely portable if there was a pervasive testing culture, preferably with some new language features, so eg you could see a program doesn't actually work without 64-bit pointers.

(Without language features it's annoying to write tests because you end up exporting things that don't otherwise need exporting.)
> Had Apple explained these costs and penalties of the SSV at last year’s WWDC, wouldn’t it have been booed from the virtual stage?

Judging from past WWDC events, no. Sessions about MacOS internals, or operating MacOS at scale are lightly attended. AFAICT, there have been no posts on HN about the new firmlinks file type which made that possible, and nobody in any sessions I attended really seemed to notice how fucked it would be when Catalina went to read only root.
For me as a totally uninitiated, the database appliances sounds like the lowest hanging fruit with the fewest unknown unknowns and the biggest payoff, is that correct?

At what you described, for 6 months, that's about 200K USD per dev, so it would cost about 600K USD to develop the database appliances "superfeature"?

Do you think this is a realistic figure? And how realistic do you think it is to get that much money together from all the users?
Except Ingenuity's blades are 4 feet long.
It’s time for cities to put a hard ratio limit on office space to housing space. Bay Area especially is just building office spaces as tax revenues are lucrative and there is no other liability unlike housing which requires schools, libraries and other infrastructure. Mayors of cities are primarily responsible for this mess, companies are definitely complicit.
Virtue signaling doesn't achieve anything.

And it is an easy business decision, why politicizing it? See what Google had politicized its image and the harms that action had brought to it?

It will be stupid to claim this is done to any political reasons, e.g. human rights. And frankly speaking, they don't care.
I really have no idea how "doing business in China" works. I thought I understood it but I still don't...

An interesting thread last year suggested that in some cases companies spent many years "doing business in China" as a form of ... de-escalation to avoid nuclear war, https://news.ycombinator.com/item?id=17004546
Can you give me some more details? I thought I had a pretty good idea of how it works but I'd be happy to look into it more.
Wow, looks pretty hideous to me. And it doesn't seem to even have a proper bed. Not really what I was imagining when I heard Tesla was making a truck, look more like they made a trophy truck.

https://imgur.com/a/ewbWXwy
> From what I understand compiler frontends can be augmented to solve all of the problems Rust is trying to solve.

This is not correct. If it were this easy, we would have done it!
Not something I expected...Not sure how I feel.
I wonder if it's the same informant who targeted the 17 year old mentally-challenged Chicago high school student and lured him into a plot to blow up Wrigley Field.
You probably can't do it, because 80 respects robots.txt AFAIK.
Here's a fix for the GPS problem:

http://cellphonesignal.net/google-nexus-s-a-gps-system-leaks...
I've not familiar with his writings prior to this, but you seem really, really certain that he unfairly despises the rich and is unthinkingly attached to this position without regard for the evidence or the greater good in general. Personally, I didn't get that impression from this article at all, so I'm curious what makes you so certain of his state of mind. I didn't feel that the thrust of the article was to attack the rich in any way, just to point out that their good intentions might not manifest themselves as powerfully as we expect.

Regarding [1], the author explicitly mentions the Gates' as an exception to the rule. And regarding [2], I don't think a single piece of recent anecdotal evidence invalidates his organization's actual study.

Personally, I read the article as a reminder that the Giving Pledge's success is no reason to rest on our laurels, and not as an indictment of its contributors. Is it so wrong to do something good and still want to do better?
So it's basically historious + packratius?
Tech Wildcatters in Dallas http://techwildcatters.com
They also have an export tool.
It's likely the investigation is indeed secret. That's why the US are not explicitly asking for an extradition, nor declaring Assange a wanted person, not even publicly charging him with a crime. This means he is set out to be a sort of "enemy combadant" (code for person without rights; non-person).
It's not Facebook's data. It's the users' data.
In my personal opinion, the Facebook employee's response shows that he doesn't understand the company's high-level business goals. Their developers may think they are building an open web, but it's very clear the company is only interested in a closed web they control.

Based on my interaction with website API developers, most of them honestly believe that they are building an open web. But let's face it, the API is a benefit to them and creates a critical dependency for the user of the API. It's basically vendor lock-in.
HTML5 is not a replacement for rich media like Siverlight and Flash. The word 'audio' doesn't even appear anywhere in this article.

Yes, you should be at least dipping your toes in HTML5 - but do so with the appropriate expectations.
Obviously. But if we could make everyone understand, then we'd be covered.

Every few months here, we get a customer asking why we can't automatically handle purchase orders that they send us in PDF format, and every time they get the same explanation.
"you are guilty of 'Theft of Services'"

The legal definition is not the same as the literal or figurative meaning of a word, which also may differs from its connotation.

Edit: Also while it might be called "theft of service" and considered larceny in US, in Sweden the same act is called "fraudulent behavior" and is a lesser form of fraud.
Im not sure I would be that bold. Here is my take on it from reddit:

http://www.reddit.com/r/programming/comments/ebw1d/rubydrop_...