skysight-inc/HackerNews huggingface dataset:
It isn't a paradox, it can be both a religion and a race. For those that consider themselves Jews the religious component is obviously more important. I am ethnically a Jew and yet I am a Christian (not religious, more a tradition and paper thing). I don't consider myself a Jew but some would. For racists that prosecuted Jews the ethnic component was far more important.

Judaism also has an ethnic component as those that are descendants of Abraham are considered Jews. And yet, those that adopted Judaism are too.
Lately I have been wondering about that classic book listing web sites from the early days of the WWW, that everybody was making fun about. I also thought it was funny, but now I wish I had such a book. I don't even know how to discover interesting web sites anymore.
His youngest son is a programmer and prominent member of the Scala community.

https://www.linkedin.com/in/haoyi-li-3b3291182?originalSubdo...
> Sorry this blog has no substance because it doesn't articulate the elephant in the room.

This feels like a fairly shallow dismissal given that I'm sharing more detail than the vast majority of private companies.

The only reason you're able to nitpick the finances is because I'm laying out my costs, whereas most other people share only revenue, at best.

> After 4 years you have some revenue, but you don't have any profit.

TinyPilot is 18 months old. It had $3k in cash profit and ended the year with $59k in inventory on $460k in sales. I could have optimized for short-term profit, but I'm investing in long-term growth. It's a hardware business, so there a lot of up-front costs that pay dividends over years.

> therefore you are continuing to fail.

Not your judgment to make.
This is the exact example I use too. Now self-driving till AI has a proper world model, so maybe not ever.
Another case: I drive and see an empty paper bag blown onto the road by the wind. I know it is empty because of the way it flew, but "autopilot" may mistake it for the rock and suddenly stop or swerve. Though mistaking rock for a paper bag and driving on would be much worse.
Are you aiming to translate to Why3 like SPARK and Frama-C?
The whole event will be recorded by at least the SDC vehicle.
MagicBell (YC W21) Is Hiring a Founding Ruby on Rails Engineer – Remote
Once-a-week Cannabis users face SIX-FOLD increased risk of schizophrenia
The real benefits could come from making taxation easy and automatic and a requirement that all public transactions be publically accessible while private could remain private. But I don't see states implementing this at any point, but maybe the reverse will happen anonimized public transactions while individuals have to keep all transactions transparent to states.
Fuck that lizard: https://twitter.com/more_meat_loaf/status/148635640123657830...
> This is why users who disabled Telemetry would see this problem resolved even though the problem is not related to Telemetry functionality itself and could have been triggered otherwise.

It's pretty clear from the article that this was a bug, and telemetry requests failing was not intended to break the rest of the browser.

If Google had rolled out this change a year from now, it could probably have broken something other than just telemetry (e.g. maybe update checks, or certificate management) and your browser would still have been broken even with telemetry disabled.
Agreed. When people say everything is smooth sailing, there is not much to take away. When they explain how they screwed up something, you instantly have a lesson.
> Discord

Discord communities are nearly as much readable as geocities pages were as well, but that is not a compliment.
They used to have good recommendations for their DVD service with star ratings. The rental catalog was huge and varied then so a lot of interest areas were well covered and easy to extrapolate from your ratings and your common cohort. I suspect the problem they have now is most of the top tier content is gone and it's 90% filler that isn't compelling to watch.
As mentioned in a few places, the telemetry backend was not the culprit. The network stack was. The network stack is already pretty heavily tested and fuzzed, but obviously that didn't catch this specific bug.
What about... <<asking the user>>?

Shocking, right?
I don't share your cynicism.

I think the mmWave thing can and probably will be used to reduce staff in care facilities - but this is why apps that are freely available for use with commodity hardware will always have a market, too.

One end of the stick: care facilities optimizing for profit - the other end, families who simply want their loved ones to be taken care of, if they fall while taking a daily walk for health.

Having already shipped a fall detector in both hardware and software form into this market (over a decade ago), I can tell you there are far more families taking care of their loved ones with this technology, than there are commercial (capitalist) elderly-exploitation facilities...
Verifying software used to control rocket fueling systems sounds like a good idea to me.
> I applaud your courage for posting here given the level of animosity in the room.

You don't need courage if you simply don't care, as evident from the responses.
Flying and maintaining a light aircraft for 100 hours in a year is a $25K-$50K endeavor. Insuring and paying the note on a six figure loan is another $10K+ expense. Hangaring can be another $5-20K. Most people would be paying these amounts with after tax dollars if it’s not for business use, so there are clear economic limits to how popular this will be.

In many ways it’s like other expensive hobbies. Horses aren’t expensive because they’re rare or complex to make. Blue water sailing isn’t expensive due to lack of innovation in boats.
India Plans to Regulate Cryptocurrencies with a Hefty 30% Tax on Gains
What I found is that google maps EXCELS in redirecting past traffic jams and what have you, when driving (cross Europe) and really no other navigation available to me (iPhone) does that even remotely as reliable.

EDIT: Meaning I am able to keep my wheels rolling and do not end up in traffic jams.
I work for a smaller company that typically only has 1 job opening at a time, and low turnover. I agree that big corps do what you said and hope for the best, but I don't think it's a valid strategy for a small company.

Especially since letting people go is emotionally damaging, even when they are incompetent. If they have barely enough skill to do the job, my ethics wouldn't let me condone firing them.
The catapult still invokes visions of "throwing shit at the wall until something sticks", so it is still not the worst name :)
Admins are tech savvy so they could protect their users' privacy with 1 toggle.

Obviously bad for business when 90% of your revenue is from ads.
He also says that creating a Hyperloop is "not that hard"
Writing High Performance Golang Client Library – Part 1: Batching on Pipeline
> The implication that physics prevents renewables and storage from being able to do the job is a despicable lie.

Pretending that I made this argument is an even more despicable lie.

> The physical attributes of existing batteries (and related energy storage technologies, like hydrogen for long term storage) are perfectly compatible with a 100% renewable grid.

It's also not what I argued against.

> I was addressing the shallow objection that it's a "lot of batteries". That's fine

No, it's not fine, and I listed the reasons why. However, you decided to invent an argument I never made and argue against that.
The legacy providers can't provide slower internet for less money because their slowest package is already unusable.
> Are there any good options for an open source headless CMS that works with a static site generator that has a page builder that has quick and accurate live previews before you deploy? E.g. so you can build new landing pages from header, testimonial and contact form blocks.

WordPress with a plug-in that spits out the static site? E.g.:

* https://wordpress.org/plugins/simply-static/

Edit/update via GUI, generate the static site, view it locally, rsync it to your hosting provider.
I've used it for about 3 years now to avoid Google, but now I even think it's better for many searches.

But it doesn't work so well for foreign languages, images, or foreign language images. Example:

DDG: https://duckduckgo.com/?q=p%C4%83l%C4%83rie+maramure%C8%99ea...

Google: https://www.google.com/search?q=p%C4%83l%C4%83rie+maramure%C...
Google+ had circles as well. I found it very hard to properly segment people properly. There are rarely such hard boundaries on relationships. If I'm snowboarding or barbecuing, it's very seldom I only wanna share that with just friends, just family, or just co-workers. It will usually be much more interest-based.

Trying to create interested-based circles was also hard, as the cardinality explodes quite fast (and you're back to square one with not knowing who you share what with).

I guess this is where Snapchat is onto something with giving a very rapid selection of who you want to share with. I usually have a small group of people in mind when I want to share something.

Defining that group, fast, almost on a per share level is the key challenge.

I think the "circles"-approach could be a way, but I think it must be much more dynamic and alive than how Google+ solved it. It must continuously evolve.
Why is 1ms impressive? How much time does a simple solver take?
Bulgaria's minister of e-governance:

https://techblog.bozho.net/i-have-been-appointed-as-e-govern...

is a top Stack Overflow contributor:

https://stackoverflow.com/users/203907/bozho

as well as a moderately active HN user:

https://news.ycombinator.com/user?id=bozho
Just a note Serenity OS is named after a rehab program that is named after Serenity Prayer https://en.wikipedia.org/wiki/Serenity_Prayer
No surprise there - after all, the state is the strong arm of the wealthy. Pretty much every time there's a big round of handouts or tax cuts, they go to benefit the richest in society.
I vaguely remember Rony and friends reversing the concept of the endoscope product they developed prior to have the moving fiber optic strand project light into the side of a lens which would channel the light and reflect it into eyes instead of capturing light and projecting it onto a light sensor in the case of the endoscope. Everything they did had fiber optic strands for RGB on that original idea. Having one color would have been an easier place to start. Nonetheless, it seems like they had other more difficult unrelated problems such as Vergence Accommodation Conflict.
What do you mean by no search exactly? I think there is a disconnect between the person you replied to and the person that the person you replied to replied to. Discord has a pretty good search function for messages, attachments, and embeds in servers depending on date, author, etc. As for searching for servers to join they didin't have that before and you had to rely on third party aggregators, now they do, although I have never tried it out as I prefer joining servers who advertise themselves on their own websites individually.
Eh, I don't really see what this term gives us... So C2Rust is a compiler too, since Rust is compiled to LLVM?
Thanks for sharing, this is all of the things I have been hoping an OSS CMS would be.
> The problem is that we sometimes have to rely on other people. We can’t all be experts in everything. We can’t all reproduce or witness every experiment.

Implying that anyone has to have expert knowledge.

> I trust what Y says because Y has explained the process and methods of how it was derived, ...

Doesn't that directly contravene what you said before?

> ... and I don’t have reasonable doubt to assume Y lied”.

Completely different issue, same problem though. Reformulated by sylogism, you are basicly saying "I trust that I don't have reasonable doubt, because we can’t all be experts in everything. We can’t all reproduce or witness every experiment.", which is really a definition for what you might consider reasonable. It's a recursive definition at second order when "What expert X says is true, because they do not have reasonable doubt. They sometimes have to rely on other people. We can’t all be experts in everything. We can’t all reproduce or witness every experiment." Whereby the default case for the recursion is "I don't trust X, because Y said they's an ass" or something like that where being an arse can come in many coloures.
Assimilate: A Flood-It game for Mac OS 9, released in 2021
> The good thing about the Apple Appstore, that promotional/marketing push notifications are forbidden and will get your App banned from the Appstore.

Lol, no it won't.

Apple do promotional notifications themselves even.
Misophonia is based in a severe dislike of very specific sorts of sounds (like chewing or swallowing), not a general cacophony. There may be overlap, but people with misophonia are usually quite conscious of the sounds they cannot stand.
COVID was the largest wealth transfer in our generation, from children as young as kindergarten (who will pay prices with the reduced social and IQ growth due to quarantine and school shut downs), millennials and GenZ to boomers.
Strangely, Ada, while aimed for large-scale developments (hence the 'bureaucratic' feeling?) since conception, puts a heavy weight on readability and maintainability. No implicit shortcut operators, words instead of symbols, specific block markers (for loops, ifs, lexical block, embedded functions, ...) and explicit generic instantiation. Can be a pain to write, but it's really easier for me (whose days consist mostly of Ada, java, python, C++, C - don't ask - coding and reading) to read.
The text I find with the word "race" is when explaining that the nazis are defining Jews as a race.

I cant seem but to find the idea of defining a race as "anyone belonging to this religion" so incomprehensible that I probably can't read the text the way it's supposed to be read.

Does that mean that simply being born to a Jewish father makes you a part of the Jewish race?

Does it then mean that by rejecting your religion, your race changes?

I guess I really have no idea what race means.
Also, Angela Merkel, while not a computer scientist, was a physicist and quantum chemist.
How to Protect Yourself During the Next AWS Cloud Downtime
Nesting is not necessary for the web to work.

Wikipedia/Wikimedia does not have nesting: each page/topic is its own top-level article without hierarchy. Meanwhile BookStack, another open source wiki platform, does have hierarchical organization.
I think you're getting a lot of shit from everyone who have an axe to grind against Google. They're not necessarily wrong, but I also think your mistake is not only to sneakily re-enable a previous off setting set by users, but rather your definition of "immensely useful".

Yes, we do re-run prior searches, but they're not "immensely useful" because you have no feedback if we found what we were looking for or not. Using basic trigger detection like clicks, timings or back button is not enough, as I could have been sent into a rabbit hole that wasn't what I was looking for.

So, before you work on search history collection, you should probably focus on getting these search result relevant. Today, they're mostly garbage.

I also believe that your mission is not incompatible with everyone's feeling about data collection. Maybe a _simple_ approach would benefit both ?
Of course, there are real-life examples where the collective perception of reality ends up changing the actual reality and that are far more concerning than a car’s color (enough people believing something has led to wars, stonings, etc)

I mean that is uncontroversial but one has to be careful. Perceptions and believes about one thing might affect the course of the future and things in the world, it will however not affect the thing you perceived. Your perception and believe about the color of the car can have all kind of effects in the world but they have no effect on the actual color of the car.
When I read posts like this I'm reminded I actually studied computer engineering, not computer science ;)
Please help yourself to a free copy of my Common Lisp book (https://leanpub.com/lovinglisp and set the price to free). There are better CL books that cover a broader spectrum of the language, but my book contains both tutorial info and some of my own CL projects. Some people have fun with it.
It's definitely got more accessible. They're teaching 13yo children in England to use Blender as part of their curriculum: https://teachcomputing.org/curriculum/key-stage-3/media-anim...
You can't expect privacy from a company named "Go ogle". It is in the DNA.
Sorry about that! At which point did it stop working?

Most bug feedback I've gotten since going live has been at the verification page for your phone number. If this is the case, the solution has been to go back a page and submit your number again - happy to support here over email if you'd like!

Our strategy revolves around the intimacy of the sharing that the app has created so far. Despite being simple (and buggy it seems!), you really only need 2-3 family/close friends to make the app joyful - successful or not we've aimed set up the app so that you get that experience as soon as possible.

An (non mom-test) example here is in how it improved my close relationships. My aunt passed away from cancer a few months ago, but before that we were able to share moments on Circles that otherwise would have not made it into chat and/or the typical social apps. Beyond holding the experience dearly, the possibilities of intimate sharing outside of typical social media made her invite her friends.

We can of course bake a bunch of viral marketing features into the product (and have started doing so) but getting this single thing right is by far top of the list.
In the case of discord it stores the messages in its servers. So what is this news.
I expected that the article will draw an analogy with quantum mechanics (with "refresh" corresponding to measurement and entanglement, "forgetting" resembling a quantum eraser), or maybe lazy evaluation, but it went into search bubbling instead. Still a fun analogy, and nicely written, but not quite sure what's the point of the article.
I know its frowned upon in HN to talk monetization early, but if I am not the product, how do you plan to sustain and grow this? I believe social media inherently has only one product, social interactions. If you users are not being charged, they are the product. Do you plan to charge content creators? Do you plan to charge for premium features? I ask because otherwise it might just go the way of Google+ and disappear in a few years.

One idea might be to go the Pateron way but with a free tier. But then its something akin to youtube/tiktok not really a social network.
Do you find VPNs easy to use or annoying?
What's the alternative?
Location: EU -English,German,Dutch-

Remote only.

Willing to relocate: no

Looking for: backend work with Clojure, Ocaml, Erlang or related languages.

I'm a senior systems administrator and software architect and I'm looking to help shape the development of planned Unix-based projects or help scale and optimise/re-architect existing systems.

For my cv or a quick inquiry feel free to drop me an email. My email address is in my profile.
I think it's meant to be a quip about Ruby on Rails.
That kind of software is not usually written in Rust (or Ada), but using Simulink / SCADE or other model-based and synchronous tools, afaik.
all of the economist articles are anonymous

https://www.economist.com/the-economist-explains/2013/09/04/...
If semweb data ever becomes a significant SEO signal, it will be trivial for SEO junk to generate it. If anything junk content is the ideal case of something that's easier to attach semantic information to than messy human-produced information.

I worked on ad verification for a while and (in two radically different models!) a fuller set of `<meta>` tags was a weak pro-spam signal.
Always "good" news from Oceania. "War Is Peace, Freedom Is Slavery, and Ignorance Is Strength."
Clickable links

https://oncircles.com

https://play.google.com/store/apps/details?id=com.oncircles

https://apps.apple.com/gb/app/circles-share-more-with-less/i...
Its called the Society of the Spectacle. Here on hackernews we literally call it "Commoditize Your Compliment." The startup ethos produced this web at the behest of capital. Its kind of nuts to see this post discuss all these problems without even mentioning that capitalism, for good or ill, has created them.
> It's really not that hard.

Correction: It's really not that hard for you. It IS hard for me, especially in recent years.
Please write up how to make a simple passive detector so people can have a chance to know if they are being tracked.

This is going to be in every home in 10 years embedded in phones, TVs, smart speakers. All public venues. Trams, buses, subways. Everywhere. But most importantly homes.
Every. Single. Person. 24/7. Breathing rate. Abnormal motions. Current location. Current activity.

Maybe, just maybe if we raise a some awareness we can curb the proliferation a bit.

Surely I can't be the only one who sees this as a nightmare.
What would be an alternative path for Singapore look like?
There is no need for insults.

The argument is only irrelevant if you consider the matter solved. But it's not.

You still think "Twitter should do something", like if 30 years of big IT corporation behavior history hasn't proven it's wishful thinking.

What we need is keeping educating people to not use those platforms for anything that requires privacy, to not give all their data to GAFAM and make safe systems more user friendly and ubiquitous. So that it doesn't stay in the HN bubble.

This is not wishful thinking, as people around me are asking me more and more about privacy. Last month, my little bro told me to switch to encrypted channels to talk to him, for something I though was overkill. He is not in IT. It's a slow process, but so is teaching everyone to read.

In that regards, having such argument is a good thing, since that, even in HN, it's a healthy way to discussing between people tech saavy what we could prioritize as a community.

I assume, that, since we are discussing it, some of us are interested in the problem and our role in it.
I already do, my tool produces WhyML modules from Rust crates. But we can leverage Rust's ownership typing to drastically reduce proof obligations related to pointers and memory.

Incidentally, I've started working on a VSCode frontend to Why3 to replace the existing GTK one (https://github.com/xldenis/whycode), I'm currently rewriting the PoC as an LSP extension.

More broadly in the context of a Frama-Rust, much like Frama-C Why3 would be one of many possible backends. I specifically want abstract interpreters, test generation and other analyses to integrate and co-operate to solve proof obligations.

Ie: abstract interpretation could infer a loop invariant which is then used by a deductive backend to prove the function contract. Or a deductive failure could produce a counterexample which is transformed into a test case automatically.
I doubt it. At this price basically the only customers are in rural US and CA. And, by definition, this is not very many people.
Http2 and 3 are case sensitive at when encoding the headers:

> As in HTTP/2, characters in field names MUST be converted to lowercase prior to their encoding. A request or response containing uppercase characters in field names MUST be treated as malformed

https://quicwg.org/base-drafts/draft-ietf-quic-http.html#sec...
It is a strawman. A rock concert is not expressing an idea, on the contrary it limits the ability for others to express themselves.
> So C2Rust is a compiler too

All transpilers are compilers.

C2Rust is a transpiler and a compiler.

Not all compilers are transpilers.

Graal for example is a compiler but not a transpiler.

Just like all cheese burgers are burgers but not all burgers are cheese burgers. Nobody questions the term ‘cheese burger’ because we already have the word ‘burger’.
American Spy Agencies Are Struggling in the Age of Data