skysight-inc/HackerNews huggingface dataset:
> A few other things I noticed scrolling through:

> There are very, very few politics stories

What? This is contradicted by the list of top stories given just above!

1. “‘It’s a lot of pain’: George Floyd’s brother tearfully demands police reforms during emotional hearing” (NBC News)

2. “Jon Ossoff wins Georgia’s Democratic Senate primary” (NPR)

3. “Trump will return to campaign trail with rally in Tulsa” (New York Times)

4. “Coronavirus is making a comeback in Arizona” (NBC News)

5. “2020 is the summer of the road trip. Unless you’re black.” (New York Times)

6. “Starbucks is closing up to 400 stores in shift to takeout strategy” (CNN)

7. “Amazon bans police from using its facial recognition technology for the next year” (The Verge)

8. “J. K. Rowling doubles down in what some critics call a ‘transphobic manifesto'” (NBC News)

9. “The protests come for ‘Paw Patrol'” (The New York Times)

10. “Upcoming Nintendo Switch exclusive canceled” (ComicBook.com)

2 & 3 are explicitly political, 1, 5, 7, 8 and 9 are perhaps not about electoral politics, but still focus on hot-button political issues of the day.

In what world are these "very few politics" stories?
don't.

http://www.paulgraham.com/boss.html

do what you can to not work for anyone but yourself. even if it means reducing the scope of what you can work on and earning less.

and the hardest thing of all: find people you like, respect and trust - and stick with them. loyalty and fidelity above all else.

yes this sounds weird, but to me sleepwalking through life, being constantly distracted and dealing with office politics is by far more weird. to each his own i guess.
No, the purpose of the hash is to be able to verify a password. It has to be reasonably quick - it's in the login path.

This is different from a public key - its unfeasible to derive a secret key from a public key.

Its by design trivial to verify a correct password guess against a salted hash.

In general, you won't have a lot of candidate secret keys to try against public keys - but all you need to get candidate passwords is to offer up a service that "check if your password is secure/compromised/etc".

You might not crack root@box,but can easily verify that you have access to ceo@box...
Facebook experiments with adding Face ID to Messenger inbox
> Using negative powers for applications of the inverse function is arguably consistent, because it is a generalization of the same notation for linear maps.

Except that no one will let you get away with (sin^-1)^-1 x to represent sin x. But you can do that with inverse function notation in general. Some of this is just cultural.
I believe wordpress is behind like 40% of the web.
There's a second story to Rust appeal: not just systems people hoping to gain safety rails previously only enjoyed by high-level programmers, but also applications programmers hoping to gain some low-level capability without losing safety rails. The former is far more important, but the latter is driving much of the public love for Rust (there simply aren't that many systems programmers out there)
Hyperbolic Geometry of the Olfactory Space
I really wish I started using Sage instead of maxima directly. The documentation for maxima is pretty difficult to understand for a noob just looking to solve some non linear equations
... and in conclusion, the only way to stay informed is to not read repeat offenders at all.
c) the fact that in the real world, some users will re-use "secure" passwords.
The Internet is not series of tubes. It's a series of leeches...
Interesting. A scraper scraping a scraper. I don't get what the value add is over clients just searching Google Flights directly. Not trying to be mean, just trying to understand.
NameCheap has been pretty good IMHO
I'm 100% in agreement with you. Laws and ethics are only tenuously linked, and we must expect companies (made up of people) to act ethically first and foremost.

It's interesting watching you expressing that opinion in opposition to the Chinese government/Zoom getting a very positive reaction. When I expressed a similar sentiment about the Spanish government/Github a few months ago, the reaction was much more mixed[1]. I wonder if it has more to do with the parties involved or just changing opinions.

[1] https://news.ycombinator.com/item?id=21398271

EDIT: scrolling further down, the reaction to your comment is far more negative than I had originally thought.
Objective-C has duck typing (if you want), closures, automated memory management and the ability to dynamically modify code.

And is AOT compiled.

GC can only "beat" malloc/free if it has several times the memory available, and usually also only if the malloc/free code is hopelessly naive.

And you've got the micro-benchmark / real-world thing backward: it is JITs that sometimes do really well on microbenchmarks but invariably perform markedly worse in the real world. I talk about this at length in my article (see above).
I guess their main market is VR motion sickness.

What is the mechanism of how vibration disrupts nausea? This article says it is like how white noise can block annoying sounds... But also some bits about targeting certain nerves and not other.

https://www.defenseone.com/technology/2018/11/inventor-may-h...
Are we discussing HSBC bankers or Silk Road LSD dealers?
See also:

https://news.ycombinator.com/item?id=19682126 - "Should I Resign from My Full Professor Job to Work Fulltime on Cocalc?" - 2019

https://news.ycombinator.com/item?id=19485166 - "Computational Mathematics with SageMath" - 2019

https://news.ycombinator.com/item?id=11883987 - "The Origins of SageMath" - 2016

https://news.ycombinator.com/item?id=11078220 - "Open source is now ready to compete with Mathematica for use in the classroom" - 2016

https://news.ycombinator.com/item?id=10175563 - "The Simons Foundation and Open Source Software" - 2015

https://news.ycombinator.com/item?id=10147401 - "React, Flux, RethinkDB and SageMathCloud – Summer 2015 Update" - 2015

https://news.ycombinator.com/item?id=2088871 - "SageMath: Python-based Mathematics. Rock it." - 2011 - a little bit of editorializing there...

https://news.ycombinator.com/item?id=983423 - "Conception, birth and developement of a Free math software (Sage)" - ditto...

https://news.ycombinator.com/item?id=179416 - "Sage: Can There be a Viable Free Open Source Alternative to Magma, Maple, Mathematica, and Matlab?" - 2008

Any others?
> Do they actually test both approaches, or is it more a matter of "we can code it way A or way B, and way A uses more memory, but we think it'll be faster"?

A lot of memory consumption is various caches (at various layers); those caches weren't added for no reason, they were added because they provided a demonstrable a perf gain.
MIT’s science magazine misrepresents critics of Stanford study
agreed, the 2016 elections were a real jumping-the-shark moment for 'lefty' news. it was bubbling up before, but the new normal of agenda-driven editing and editorializing of those media outlets make them no longer reliable for news. it's frustrating because it leaves no really reliable national news options.
> insurance is to protect yourself from an unknown randomly distributed loss

But when randomly distributed loss hits you'll surely expect to be subsidized by others who somehow weren't affected by this despite their aggressive driving, or bad diet, etc.

> bad diet, lack of excercise, and bad genes

Now imagine the fun times when your insurer decides which one they can use to screw you over and how badly.

Sure, I get your point but it's buried in a mountain of nuance that makes the "straight forward logic" meaningless. The insurance industry doesn't need yet more ways to screw people over, or give the people who need it most an even bigger middle finger and hang them out to dry.
see e.g. https://www.zdnet.com/article/programming-languages-rust-ent...
At 400K hospitalizations per 30 days, and $1M per patient, that’s nominally $400B transfer of wealth per month from citizens (via patients, patients’ insurance, or taxpayers) to healthcare industry, with significant percentages extracted as income and profits at each step.

Imagine if there were some way to cut out duplicative overhead and administrative costs from all these counter-parties and cut-outs...
The Rust teams do maintain some crates outside of the standard library.
The adaptation to sea and then to land reminds me of the adaptation to space (and back to Earth) described by this NASA doctor:

http://omegataupodcast.net/34-space-medicine-and-telemedicin...
Hate to be "that guy" here, but do you see any market mechanisms that will/should lead to more solid, factually reliable outlets? All the ones I see seem to point in the "get much content out fast" direction.
Why do these fonts have to be hidden in there, never to be seen by a high percentage of users?

Probably to save disk space, since Macs often have smaller storage since the switch to SSDs. People who use fonts heavily will see them in Font Book.

Similarly, 99½% of Mac users will never install the extra voices, or high-quality versions of the macOS default voices.
Thank you for letting me know. I was not aware of that rule. I do see commenters that routinely like to share the fact of who they work for, It may be that they only do that when they think it stengthens their comment. In any event, I will not make the same mistake again.

Remember that to argue that the comment contained an "accusation" requires that one draw some inference from the inclusion of the Wikipedia URL. Inlcuding the URL was a mistake. The statement I made however contained no accusation. It merely drew attention to the fact that Googlers often disclose their employer when talking about Google stuff on HN but in this case the person made not mention of it. I found that noteworthy. The inference to be made there would simply be potential bias. I think that's fair.

Is it within the rules to state that a commenter is an employee of "${CO}"? I note the commenter who did that did not get flagged.
All of those are MBs in size, compared to KBs for their C counterparts. Something needs to budge in Rust land for small utilities to be viable.
We just seen a news that Firefox is reusing Chromes regex c++ code, so from my point of view Firefox is barley pushing for Rust components but Rust fans expect the kernel to push harder. IMO when Firefox and all it's componetns/dependencies are Rustifed then I think we can ask for the kernel to attempt the same.
I somewhat agree. I don't think UoPeople and WGU were individually founded for this purpose. But, I think they were made necessary by cultural forces which necessitate "that piece of paper to bypass an HR checkbox."

> If you are serious about learning, look elsewhere.

This is unfair though. You can still acquire a decent education through the school. Depending on your goals, it might be better to look elsewhere.
DXM is very much like ketamine at least at normal recreational doses (not sure about K hole)
It’s bizarrely contradictory to use democracy to decrease the accountability of elected officials, because no matter how bad the supposedly democratic government is, you can always just say it’s the public’s fault for not voting good enough or hard enough.

On the contrary, I think if a government claims to be democratic, then they are accountable for aligning their policies and outcomes with what the public wants. A democratic government should be actually accountable to the public.
A couple examples off the top of my head: all the recent speculative execution stuff, OpenBSD's buggy SMAP implementation, some recent bugs ARM's PAN.
Well learning D or Rust likely will not help you get a job writing Javascript. My C# style is heavily influenced by D, for the better IMO.

I have some potential coming up to do some Typescript, it will be interesting to find out how to transfer my experience into this language.
OCaml has the equivalent of computation expressions since 2018: http://jobjo.github.io/2019/04/24/ocaml-has-some-new-shiny-s...

It definitely has async: https://github.com/ocsigen/lwt

It doesn't have units of measure but due to strong abstraction properties of modules we can fairly easily roll abstract types.

It doesn't have type providers but it does have plugins for type-directed derivation of JSON codecs, equality, comparison, printing, etc.

> The long slog towards multicore for the OCaml community has been kind of embarrassing

IMHO it's been refreshing to see the pushback against 'multicore at all costs'. There is a benefit to taking the time to do things the right way. OCaml is a 30+ year-old language with an even longer ML heritage. It's going to be around for a while; it doesn't need to rush into a sub-par implementation. Meanwhile, people are writing highly concurrent, multi-threaded applications with it right now, and using multiple processes just fine for parallel computing.
Relative to zero.
> but don't you agree that as warped as the mental space we collectively inhabit may be, that it's not under control of a specific entity?

Yes, I agree that the case of a single entity being able to use words to place thoughts directly in minds like a TV version of hypnosis or etch them out of minds as if with electroshock therapy is not an accurate description of... anything.

It's not what anyone means when they talk about words shaping thought, an idea which you disparaged so vituperatively - which would be understandable if anyone meant by it what you seem to be implying they mean. They can mean a number of things, whether it's a coach or leader influencing the attitudes of their followers, a person seeking to direct their own train of thought, a movement using language to dehumanize a minority group, an advertiser affecting how the public views a product, or a propagandist or politician attempting to move the Overton Window. Or many other things, more or less subtle.
Well, Google Flights is probably the best publicly available data on flight prices.

> Brisk Voyage finds cheap, last-minute weekend trips for our members. The basic idea is that we continuously check a bunch of flight and hotel prices, and when we find a trip that’s a low-priced outlier, we send an email with booking instructions.

Edit: Ok, this could actually be interesting. At least in the short while. .)
A for-profit company will sell or hand-over data at the government's request anyway.
Apple's stance on encryption of phones is nice, but once health data is on a server, nothing matters.

Anything cloud is government property, just like all financial data. Now, if your health data starts in state owned DBs, like say in Germany, there is a fighting chance the data will stay in Germany.

Once it is in a global cloud like AWS, GC, Azure?
Any major government has access.

China bought so much data already, and with recent enforcement of their Cybersecurity laws, all data touching their citizens is fair game. Oracle pulled out of China, other like AWS go the route of joint ventures to continue operating.
If you watch the actual presentation, you will see clear attack vectors, exploited right there for you.
Art can be Good (2006)
I am working on a flash card app and specifically did not want to have to create a SaaS to support cross-device data sync, so have opted instead to create a journal of the data mutations on each device and having those (i.e. it's CRDT) uploaded to a simple file store (like Dropbox) for each device to share. Each device stores its own local data using SQLite, but does a merge on all the journaled commands to stay up to date.

So, basically I rolled my own sync solution that just happens to use SQLite. It's worth noting that I started this project by storing the data in my own format (JSON, at first) and quickly realized it was growing too large and was taking too long to serialize/deserialize. I'm very glad to have ended up using SQLite instead because it is super easy to use and has been reliable.
I spent my hard-earned college freelancing money on a Sony Picturebook with this chipset. It was actually a really nice laptop! 8-ish hours of battery, and tiny. It had WiFi via a PCMCIA card, so it was great for the couch. The screen was really only big enough for a single terminal.

Despite the reputation for instability / bugs, it was actually rock solid running Debian.
I can confidently say that, UoPeople has really helped me a lot in so many ways. Before, I did not understand what academic integrity was but with the help of the online education strategy that I took, has given me an indept understanding of why you need to provide a source. Time management was a problem for me because I did not have the knowledge of how to manage my time effectively. I have also come to understand different cultures from different countries. I have also made some friends through this school. To me, this school is a life changer.
Article mentions scopdex (scopolamine) for treatment found these links which are interesting:

https://www.ibtimes.co.uk/scopolamine-devil-s-breath-nasa-us...
https://youtu.be/ToQ8PWYnu04
I just bought a new 16" MBP earlier this year and I can't decide if it was the very best or worst time to do that.
The compiler has very limited "proof" capabilities even in principle, especially wrt. unsafe{} code. From a principled POV it would be nice to be able to provide a formal, compiler-checked proof that some block of code that has to rely on "unsafe" operations doesn't actually violate the language safety guarantees and can be wrapped safely. But this will have to depend on a formal model of "unsafe" itself which is still lacking. And it wouldn't even help for things like FFI, which involves calls into outside code for which the semantics are not formally known.
That must be annoying.
Another one I'm thinking about now:

Person 1: "C'est pas correct, laisse moi te montrer comment ça marche. Clique sur ce bouton, et ensuite sur celui-ci. Tu vois?"
Person 2: "Heeeeeeein!" (very long one that kind of sound like a sin wave from high pitch to lower pitch)

Translates to:

Person 1: "That's not correct, let me show you how that works. Click on this button, then that one. All good?"

Person 2: "Ooooooh, I see!"
They ensure you don't get a garbled filesystem.

They also expose an API that allows you, if you're very careful and really know what you're doing (like danluu or the SQLite author), to write performant code that won't garble files on random shutdowns. But most programmers at most times would rather just let the OS make smart decisions about performance at the risk of garbling the file, or if they really need Durability, just use a library that provides a higher level API that takes care of it, like LMDB or an RDBMS like SQLite.

To not get your file garbled, you need to use an API that knows about legal vs. illegal states of the file. So either the API gets a complete memory image of the file content at a legal point in time and rewrites it, or it has to know more about the file format than "it's a stream of bytes you can read or write with random access".

Popular APIs to write files are either cursor based (usually with buffering at the programming language standard library level, I think, which takes control of Durability away from the programmer) or memory mapped (which realllly takes control of Durability from the programmer).

SQLite uses the cursor API and is very careful about buffer flushing, enabling it to promise Durability. Also, to not need to rewrite the whole file for each change, it does it's own Journaling inside the file* - like most RDBMSs do.

* Well, it has a mode where it uses a more advanced technique instead to achieve the same guarantees with better performance
https://lwn.net/Articles/797828/

Perhaps the way to do it is to rewrite common bits that get CVEs, just so it doesn't happen again.
> Asking for hard proof is silly in software.

You can however prove that the language solves a particular attack ;)
Not really. If you have a file format that requires, e.g., changes to be done in two places then it's reasonable to write to one place, have the system shut down never having written to the second place, and now have a corrupt file.

The journal ensures (helps ensure?) that individual file operations either happen or don't and can improve write performance, but it can't possibly know that you need to write, e.g., two separate 20TB streams to have a non-corrupt file.
If you're using it for persistent storage, its probably inevitable that a user sends in their copy as part of a bug report and a developer cracks it open.
Well, you choosing to donate your time and effort to a union project is really not analogous to a human's work improving lives by making open source software.

What you said is cool and all but I am still waiting for my money for all of the open source software that you are using.

Sane countries make you pay only if you want to participate in the union (such as when you vote).
How do neutrinos get their mass?
The bar is set by the worst programmer not the worst language.
Debuggers Make You a Bad Detective
SQLite is a fine single-file application file format, but if you want average users to be able to inspect and perhaps fix application data when things go wrong, a tree of JSON-format files is more friendly.

True, this requires care to ensure that such files are updated reliably, but that's not quite rocket science.
"This page is not here yet." was the Transmeta homepage whilst they were in stealth mode.
The only reason they don't go for it is because they don't find it useful.
FYI, you can get ICC profiles fo Costco printers and papers as well.

Here's listing for California Costcos: https://www.drycreekphoto.com/icc/Profiles/California_profil...

Instructions: https://www.drycreekphoto.com/icc/CostcoPosterPrinters.html
I think I had this reading HN one time.
Can anyone suggest a Gmail/Chrome plugin that would trim the newsletters on an ongoing basis? For many of the daily newsletters, if I haven't read them in 30 days, I very likely never will.
Google Flights isn’t a scraper, it’s an evolution of ITA matrix from what I remember, directly connected to that GDS. They aren’t piggy backing on someone else’s servers.

Which is what this guy could have done, instead of behaving like pond scum. It’s not like it’s particularly complicated to get programmatic access to a GDS API, that’s what they’re there for.
There are plenty of countries that US copyright law is enforced on a US company's platform even though there are NO trade agreements with the US with respect to copyright. Otherwise, piracy would be allowed to be hosted in numerous countries.

It's a blatant double standard.
See also the most impactful cpu no one's heard of: https://en.wikipedia.org/wiki/NexGen
Every little bit helps IMO. Rust seems like it eliminates class of bugs (and so do Haskell and OCaml), the JVM looks like it could prevent another subset of them, and I am sure there are other examples.

Not going to bash anyone for using C -- sqlite's team has their priorities and values clearly stated (performance and discipline) -- but it's probably time for all of us to admit that not all recent tech innovation is about fads. Some of it is actually genuinely useful and helps with age-old problems (though sadly, none of it addresses all of them).
No problem, by comparison the old-school weirdo's like full-size keyboards with F1-F10 on the left (compare hitting Control-F8 with the keys on the left compared to above the top row [0]).

Really old-school weirdo's were not happy with switching the position of the Control/Caps key (Control-C was so much easier on a VT100).

[0] https://deskthority.net/viewtopic.php?t=17462
If Firefox wrote a new regex module and didn't use Rust that would contradict the poster's advice, but them using an existing mature bit of coded doesn't seem to prove much.
I think the fact that it happened 3 time to describe one event warrant a pat on the head and a "we got you" article.
I used SageMath for my master's thesis in cryptography and group theory. It was awesome! I highly recommended it and its unfortunately very underrated.