skysight-inc/HackerNews huggingface dataset:
I remember reading an argument at the time, probably from Daring Fireball, that Zuckerberg has such a feeling for growth of social media by then, that he could see that Instagram was a great deal, also the same for WhatsApp.
> You’d have to believe in ghosts...

Looked at supermarket checkout tabloid covers lately?

https://cloudfront.mediamatters.org/styles/scale_w1024/s3/st...

The believability bar may be lower than you’d hope.
in F#, yes, in TypeScript, not really. The technique involves using a combo of an opaque nominal type, and a smart constructor:

(* GreaterThanTwo.fsi *)

type t

val make : int -> t option
val to_int : t -> int

(* GreaterThanTwo.fs *)

type t = Value of int

let make int = if int > 2 then Some (Value int) else None
let to_int (Value int) = int

Now, `GreaterThanTwo.make x` gives you a value of type `GreaterThanTwo.t option`, meaning it can be `Some` value or `None`. If it's `Some` value, that means it really does contain an int greater than two and you can get that int using `GreaterThanTwo.to_int`.
I think what we need is basically markdown (with good syntax highlighting) and web assembly (with a simple Canvas-like API). Where the two are totally separate so the wasm stuff can't interfere with the markdown loading.
I'm a huge fan of SAGE! I keep using it to discover new math. I generally play with the associate Sage module of any algebraic structure to get a real feel for what is going on. Some examples of:

1. Grobner basis: http://bollu.github.io/#computing-equivalent-gate-sets-using...

2. Commutators of subgroups: http://bollu.github.io/#5age-code-to-play-around-with-commut...

3. Graph/group theory: https://github.com/bollu/bollu.github.io/blob/2f88c28efc54fb...
There is also rattleCAD app developed by Manfred Rosenberger.[0]

rattleCAD <= 3.x was fully free & open-source, but actually rattleCAD 4.0 is proprietary with freeware/demo version & few subscription modes.[1]

[0] http://www.rattlecad.com/

[1] http://www.rattlecad.com/download.html
I think an even more problematic corollary is the desire to put nothing in the standard library, which cause the proliferation of crates that are the "standard" way of doing things but don't really have the guarantees/benefits that come with being part of "the" standard library.
And some forests have a few carefully arranged trees of a different type.

https://en.wikipedia.org/wiki/Forest_swastika
Have to check out the OkCupid stuff. Thanks for the tip!

> the simple fact that Tinder and most of online dating is basically a looks based popularity contest hints at a problem for the median folks.

Why would you think real life would be any different?

There are a lot of parameters in the dating game, bug if played right, you can definitely find success on these platforms.

Best example is one of my wife's customers: a 50 year old, average looking woman, who has success on Tinder. No kidding!
I guess you’ll hit a lot of SPAs that don’t work at all, but then again you can always opt in on those.
It's not the kind of thing you will find in formal discussions, but it's a very common interjection in spoken french. I cannot tell you the rules, it's just something people use to complete their sentence or communicate something about the context.

(all the examples below are from real chat discussions)

Exemple 1: "Non mais sérieusement, c'est pas très malin, hein..."

Translates to: "Seriously, that's not really smart..."

"hein" here presses on the fact that the speaker is a bit impatient or annoyed.

Example 2: "Je suis pas forcément anti Facebook hein!"

Translates to: "I'm not necessarily against Facebook!"

Here it is used to communicate that there may have been some misunderstanding in the context of the discussion, and making clear that even if I said stuff negative toward facebook, I'm in fact not anti-facebook.

Example 3: "J'ai aucune expérience avec Haskell hein"

Translates to: "Just so you know, I have no experience with Haskell"

The "just so you know" is communicated through the use of "hein" at the end.

Example 4: "C'est de ma soeur, hein, pas de ma part"

Translates to: "To be clear it's from my sister, not me"

Here too, the "to be clear" is communicated through the use of "hein".

Be aware: the interpretation is purely subjective and depends on the context, and mostly the tone, so it's not that clearly communicated via text! Also, my french is actually swiss-french.

Hope that helps, and tell me if "huh" would communicate the same meanings :)
So explain to me -- since Zoom is not a Chinese company, then what's the purpose of falsely claiming that it is?

If it isn't meant to tap into some kind of prejudice against Chinese people, then what is the purpose of spreading false rumors like that?

You can of course be against the Chinese government. But when you start fearmongering that a public American company is "actually Chinese", "more than commonly discussed"... based on zero evidence except that the company has a lot of Chinese people... then if it's not meant to trigger veiled racism, what is it meant to trigger otherwise?

Since, again, Zoom is not part of and has nothing to do with the Chinese government, except for when it obeys the government in its operations within China, like every other American company has to do too.
Yes, it does. If I have a properly salted/hashed password dump, I can easily check common passwords against all users.

Assume 5m users. The odds of finding any user with password: "Password2020" is pretty high.

But you'd need 5m requests against the service to do the same thing.

There's no rate limit on local, offline attacks.

Are salted hashes better than, hashed, or plain text passwords? Yes!

But there's still more attacks possible with access to the data.

This gets much worse, if the password/secret is limited, say a 4 digit pin - or a social scurity/government id number with error correcting code (eg the Norwegian government ID is 11 digits, but 2 are error correcting, and 6 are a date - so it's pretty much impossible to store them hashed in a secure fashion. You only need to try 365.25 * ~60 years * 1000 numbers to find/recover all - a far cry from 10^11 - which is pretty low anyway).

If the passwords are all truly random, well over 64 bits of entropy, and never re-used and/or leaked... then properly hashed, a dump would not leak much information.

But there'll always be re-use, and at that point, exposing the salted hash along with a linked login name will expose information (of course, sometimes the login will be the same as well - but it's still valuable to know login is possible before trying to login to a service).
Do you have a more reliable source than this website? I worked on content moderation at Facebook for several years, I highly doubt that the accounts were deleted because of government pressure
CBD Hemp Flower
We are a USA based CBD Hemp company. We provide the best premium quality CBD Hemp Flowers or Buds and Hash available in the UK. Free Shipping On All Orders, Same Day Dispatch If Ordered By 2pm
Something tells me "phantom protesters" was not the angle they were going for.
The last week or so YouTube has consistently pushed Fox news feeds into my suggested view list. The only 'political' content I occasionally watch is stuff by Mark Blyth... Now I get that Google is just pimping the general outrage addiction and delights in the easy profits from that, but how many times do I have to down-vote a video, and report it as 'inappropriate' before the algorithm gets that i'm just not into this particular brand of horseshit. Come on google, give it a rest. And please 'antifa' is not a thing, and it absolutely means fuck-all to an Australian who could not give a bee's dick about what happens in Trumpistan.
Nah you don’t read more than me. It’s funny that someone who claims to read so much can’t get through an article because it’s “too long”. I’m pretty sure you don’t read very much.
You might find an almost-practical (not shipping yet, but should very soon) example helpful: https://community.arm.com/developer/ip-products/processors/b...
Yeah, and but there are SO many plugin systems designed decades after Explorer that do the same thing. Hindsight is 20/20.
How would SQLite go as for something like Audacity projects? Audacity projects are a pile of files: an XML file that declares the project metadata, tracks, channels, envelopes (an example of non-destructive editing), and references to the zillions of audio files that it drops in a directory beside the XML file (typically less than 1MB each).

I presume it splits all the audio up into small files so that most types of edits can only need to touch a small area.

If you directly ported that to SQLite, would it work fairly well, or would you want to restructure it somehow? Things like additions or deletions, would it need to write lots of extra data to the disk (would it be doing something like defragmenting, or would it grow larger than it should, or are there other tricks that I don’t know about to delete a chunk from the middle of a file without needing to rewrite all of the file beyond that point)?
Claws Mail uses it as well: https://www.claws-mail.org/downloads.php
Eh, we'll see, I'm hoping we get some news in August after the TCL contract ends officially but I'm not holding my breath.

I'm still dailying my Key2 and have a UniHertz Titan setup ready to go for when it dies. It's not perfect, but it beats typing on glass :)
Its only moat is a better experience than competitors. This shouldn't be much of a moat, but having used competitors' products, it somehow is.
A Round Up of Our Favorite Office Separation Solutions
I agree there's good reason to be skeptical about claims that certain language is inherently harmful, but let's be charitable and believe people are genuinely offended.

I have 2 questions:
1. Does offence in this case constitute harm?
2. What percentage of the population needs to be offended before it should be taken seriously? 51%? 10%? A single person? Perhaps the majority of people in an affected group?
> It's literally possible in BeOS/Haiku to lower the priority of a single radio button.

This is not true, individual widgets most definitely do not have their own threads. Windows each have their own threads, which is indeed different from virtually every other OS which does not have this (or even allow off-the-main-thread UI operations.)
Ask HN: What is the most popular tech stack for a website with back end?
> that memory safe languages have fewer memory safety issues than languages

That's what I would assume ;-)

By the end of the day it's also a question of performance. For embedded, realtime or mobile core technologies there will always be a need to shortcut.

> Asking for hard proof is silly in software.

Not only in software. That's what the scientific method is for. That needs time. Currently there is a debate whether the switch from Ada to C++ for the F-35 is the cause of all the observed problems and budget overruns. There is still not enough data to know. But there was a decade-long track record for Ada in avionics. And C++ also had to establish itself for twenty years before anyone dared to develop an F-35 with it.
Necessity is the mother of invention! If the demise of the Mac / Cocoa API's is nigh—expect there to be some work on it.

This guy is doing some interesting work: https://mulle-objc.github.io

One more factor: my guess is that GNUstep picked the LGPL—which although more permissive than the GPL—turns away the money / status seeking Mac folks.
The exploit works with any query performed on the sqlite db file.

The expected tables are replaced by views that execute the arbitrary sql.
That's brilliant, and I retract my statement completely. Thanks for sharing!
University of the People is changing the way we see education. Firtsly, it is showing that education is freedom and hence it should not be the privilege of a few. It is also showing that the traditional educational system is outdated and needs to be rethought and reformulated into something that fits the needs of the modern world.
Definitely check out the hackaday prize finalists; everything in the top ten every year is usually spectacular. Example: https://hackaday.io/project/5030-low-field-mri
> Lots of unsafe code is safe.

This seems like a weird statement to make to me when defending Rust simultaneously. The whole selling point of Rust is that it's supposed to let you write provably safe code. When "unsafe" is used, what you're writing can no longer be proven as safe by the compiler. Maybe you've convinced yourself it's actually safe via some other argument, but people have been convincing themselves that their code is memory safe for decades and they're often wrong. More insidiously, relying on anything in Rust that uses "unsafe" makes it seem like the compiler is proving your own code is safe, but that is no longer true.

With that said, I don't really disagree with what I think your main point is. But seeing unsafe code in Rust is similar to seeing unsafePerformIO in Haskell libraries. Both of these are much more common than the languages' respective evangelists would have you believe, and at some point it actually does start to call into question whether the languages are successful at their basic design goals. (Spoiler: I believe that they are successful more than they are not, and even in the face of the proliferation of "unsafe" code in both languages, they're still worth using.)
See also:

2017 (a bit): https://news.ycombinator.com/item?id=15948326

(another bit): https://news.ycombinator.com/item?id=15947744

2015: https://news.ycombinator.com/item?id=9805071

2015 (a bit): https://news.ycombinator.com/item?id=9801620
I've contributed some code to matroid optimization.
The people working on it are very knowledgable, often professors at universities donating their time. I definitely learned a lot through implementing some algorithms from the 70s.
I'm a student from Nigeria, and I'd say UoPeople educational system is something I really enjoy. The peer-to-peer system is quite nice, and is primarily meant for learning and not grading as the instructor goes through the grades and re-awards unfair grades. The communication and the instructor-student relationship for me, is commendable. They also embrace self learning which is even more effective when done properly. Even if there are lapses, they'll get better with time.
Shameless ...
Google cloud has significantly cheaper prices and a more generous free tier than AWS, so they kind of already are.
You're right about mainstream media, but remember that in 2020 we have many alternative media sources.

A lot of them are hideously slanted garbage, but I they make for it in volume :)

Hopefully in a few years, some new reliable news institutions will have emerged.
As someone who needs math software somewhat infrequently, I had assumed that SageMath was a sort of de facto standard for people using Python with math. I was surprised to see that Google Colab doesn't support Sage in its notebooks.

I asked a coworker about it, someone who had previously worked on Sage. It sounds like some parts of the community are now favoring using lighter-weight libraries directly (like SymPy for symbolic math).

I discovered that Sage is not pure Python: Sage is translated to Python before running, which is how it can support syntax like "f(x) = x + 1" to define a function (whereas in pure Python you would need to use "def".
Haiku already has support for encrypted partitions via "DriveEncryption" ... but no support for encrypted boot drives, yet, indeed.
Boehm is conservative, unfortunately.
Media outlets have always "put their thumb on the scale", but there's a big difference bias and lies. when they portray stories in a way that highlights one side over another, or choose to cover certain events and not others in a way that pushes a certain narrative, they are still publishing true information. As long as they're publishing biased but true information, it's possible to get a more accurate picture by consuming news from multiple sources to try to balance out the biases. If fox news were honest, you could read Fox to try to balance out the bias you know exists on MSNBC.

Publishing straight-up lies is another thing entirely. When news sources publish lies, reading multiple news sources doesn't give you a more accurate picture, it gives you a less accurate one.
I wouldn't called the school "innovative." It's fairly unique in higher ed, but definitely not innovative. The pedagogical approaches it uses have been around for decades in most cases.

And the faculty can be hit-or-miss. Some are awesome, some of okay. A few are just awful.

Personally, I had an instructor for Java who had difficulty managing different JDKs one a single machine. If I, as a student new to Java, can figure it out, I absolutely expect my instructor to know how to do so. Granted, this particular instructor was a "standout" in the negative sense. Most have been okay.

Fortunately, instructors are mostly inconsequential as there's very little interaction with them.
> I think the fact that Rust is very popular in the polls, but still hardly ever used

In what sort of polls is Rust's popularity overrepresented (when compared to industry usage)? A lot of people on Internet forums like Rust, but a lot of people on Internet forums like a lot of languages, especially new ones.

And what is your definition of "hardly ever used"? I can think of plenty of programs I use frequently that make use of Rust (e.g. Firefox). Compare the use of Rust to, for example, Racket or Haskell or Julia (all fine language). I've definitely interacted with programs written in Rust far more than any of those three languages. So at least Rust is seeing some niche usage.

Not trying to come to Rust's defense, just trying to understand this point.
In practice, firms controlled by shareholders tend to be run for the benefit of shareholders. Facebook is controlled by its founder so it's a different situation.
Check this:
https://sciter.com/wp-content/uploads/2020/06/ide.png

that one has menu, check menu.htm in that sample:
https://github.com/c-smile/sciter-sdk/tree/master/samples/id...

> So can you run the benchmark suite with Sciter or not?

Yes, I may do that but purpose is not clear. Their compiled C versions in Sciter will run definitely faster.

These functions have nothing with UI per se.

Yet, you can extend Sciter with native DirectX or OpenGL code (see: https://sciter.com/sciter-and-directx/) , that will definitely beat any possible browser/Electron solution. So script benchmarks are orthogonal to the reality.

They make sense in Electron case as JS is the only realistic option to write app code. But not in Sciter case. It is not a browser for that matter.
I think that bar is met by some term which means something synonymous with "this is better than C". When dealing with "correctness" I generally would like the program to do what I intended.
Have you heard of ketamine making people "immune" to alcohol and other drugs like hallucinogens?
I said that your post is _not_ "we think this is legal so YOLO," whereas the Internet Archive's actual behavior _is_.
see https://insights.stackoverflow.com/survey/2019

Only a small fraction of "Rust fans" are actually using it.
I 100% agree. But isn't a competing news outlet writing an article about a missing label just a bit on-the-nose? Particularly when considering the photo in question.
Memory leaks are not bugs, they are a fundamental design error.
For my applications: latency. The fact that writers do not block readers is just a nice bonus.
It would indeed be nice to have some sort of middle ground, where a selection of outstanding-quality crates can be officially "endorsed" by the Rust development team, but the endorsement can be withdrawn freely if something better comes along. C++ has something like this via Boost, and Haskell has their Haskell Platform, so it's not a new idea.
Was this thread posted on Yammer or in a WhatsApp group?
We've had these discussions many times. Of course it makes sense to use libraries.

For me, what stood out in this submission was that none of the 100 lines are talking about markup. Thus what we have here is 100 lines of front-end and tests.
I mean, that’s a bit of the stretch. The implication in “an offer he can’t refuse” is that the mob is going to kill you if don’t accept the offer, not that they are going to drown you in more dollar bills than you can swim through.
See also Ocaml, which has had some news relatively recently about improved multicore support.
> I can search documentation or start to guess at intentions even if it's something I'm not familiar with. I'll probably need to read the documentation associated with some classes or methods to fully understand, but my tools make that readily available.

I don't see it all that difference in mathematics. A given piece of math will make assumptions on the notations and expects the audience to share those - the example of integrals is a good one. Usually within a particular subdiscipline (or from the context) you'll know if this is a Lebesgue or a Riemann integral - so they don't bother having separate symbols for them. If you're new to the discipline, you may not know the convention, so you have to ask or search.

The thing with software and programming is that it is usually "complete", and that's why you can use your tools to access the docs/definition. It is complete because the universe of options for a given program is relatively small. In mathematics, though, it isn't that small, so the challenge of making all the definitions, conventions available to you for a given piece of math you're reading is much greater. Textbooks typically are good about this, but the more advanced you go, the more you are expected to know as "these are the conventions in this subdiscipline".

A lot of this is probably historical, and no one today wants to bother with making a consistent set of tooling that will get you what you want.
Thanks -- I'll give that combo a go.
I knew a wannabe geek in high school who loved to brag about bullshit for nerd cred. My favorite lie was his boast about his dual core "transmeata crusoe" and how he morphed one of the processors into a 3D accelerator which made a GeForce unnecessary.
I see. I had thought of that more as a format for applications to store their persistent data than for data interchange. When used for the latter, the danger seems clear enough. (I also just noticed that the original post is half a year old.)
In what sense?

Just because I don’t work there anymore doesn’t mean that I won’t recommend others give it a shot if they think they might enjoy it.
In his book Just for Fun Linus talks a bit about the company and why he chose to work there.
You should perhaps read the rest of this thread if you haven't had a chance since you seem to be rehashing (whee!) an argument that was just had.
With strange failures like that, I'm surprised the system even booted at all.
> What is the exact aspect of "systems programming" that precludes the use of higher-level languages which are safe by default? Unless we are writing device drivers or OS kernels, why are we using these low-level languages for mission-critical applications?

IMHO "systems" here means running on an OS, not network systems or internet apps.

So None, but you want to write libraries that are easily linked to all manners of 3rd party languages and can squeeze the last drop of OS performance. Your language with automatic garbage collection cannot do that. If all you end up doing is wrapping stuff with C or C++ headers then better use C or C++ at first place.
Not only that, but Rust depends on LLVM.