skysight-inc/HackerNews huggingface dataset:
How awful.

"80M+ Monthly devices hosting Luminati's SDK" &
"100% Peers chose to opt-in to Luminati's network" (https://luminati.io/network-details)

There is a 0% chance that 80M+ are agreeing "I am OK with Luminati selling access to my home internet connection to any party able to pay", which seems like an honest description of their business model. More likely Luminati is paying unscrupulous app developers to include this SDK in their apps, and some put some legalese into 10,000 word install-time agreements that no one reads.
1. About half of our processes have been defined

2. Processes are enforced heavily

3. I understand why we have certain processes but the company is ruining our ability to react by adding unnecessary red tape.
We all know that 404 is an error, but what is 5 times 404? It's 2020, this year
You're right that it's primarily a social issue, but people will always try to use the state to enforce their social beliefs, so they become political. See New York City's ordinance that can cause those who won't use a made-up "pronoun" to be fined [0], undoubtedly a use of force by the state to enforce a certain set of beliefs.

[0]: https://www.washingtonpost.com/news/volokh-conspiracy/wp/201...
Sure, but I don't think the result was necessarily worse ;)
why is the existence of sagemath have any news relevance on HN?
As far as I've seen, Mediatek has the only shipping smartphone SOC that supports AV1 hardware decoding.

It's still a bit early to get upset about other vendors, when Google's own Pixel line doesn't have hardware decode yet.
It seems unlikely that there is any great conspiracy at play here to me... they found a good solution to a problem, they implemented it. Spidermonkey is a highly optimized carefully examined code base, it's not easy to replace wholesale or particularly low hanging fruit to be replaced with rust.

Mozilla is working on replacing the wasm compiler, and eventually the compiler for "ion MIR" (an intermediate langauge that js is compiled to), with cranelift, a rust implementation of a compiler backend. See [1] for pretty pictures of this.

It's been possible to use this backend to some extent since 2018 [2]. The best place I was able to find in the last 5 minutes to describe the current state of the integration is the doc comment at the top of this file [3].

In other words it looks like spidermonkey is not not being ported, it's just not being entirely ported yet.

[1] https://github.com/bytecodealliance/wasmtime/blob/master/cra...

[2] https://old.reddit.com/r/rust/comments/9mvnrk/in_firefox_nig...

[3] https://github.com/mozilla/gecko-dev/blob/master/js/src/wasm...

Edit: Another component of spidermonkey that is being rewritten in rust is the JS parser, that project is called smooshmonkey. You can read about it in the spidermonkey news letters [4] [5] [6], and there's an nice comment describing it at the top of this reddit thread [7]

[4] https://mozilla-spidermonkey.github.io/blog/2020/01/10/newsl...

[5] https://mozilla-spidermonkey.github.io/blog/2020/03/12/newsl...

[6] https://mozilla-spidermonkey.github.io/blog/2020/05/11/newsl...

[7] https://old.reddit.com/r/rust/comments/h0ddpi/smooshmonkey_n...
I highly recommend reading The Little Typer if you want a great book that bridges math and code. It starts out describing Pi, a Lisp with some interesting restrictions (limited recursion, types can have values, etc.). They build up some cool stuff like vectors with the size encoded in the type. All of a sudden, they explain that equality is a type, and any value of said type is a proof! Turns out you can think of many proofs as manipulating data structures to get a value of a certain type.

I wonder how long until we get a somewhat mainstream language with pi types. I know Rust considered adding them. And I recently learned that Rust does allow for quantification over lifetimes^[1]. I could certainly see a language that implements dependently typed arrays. Midori for instance looked into eliding bounds checks with compiler proofs^[2].

[1]: https://doc.rust-lang.org/beta/nomicon/hrtb.html
[2]: http://joeduffyblog.com/2016/02/07/the-error-model/
The 0x that you see in the code in many languages simply means "interpret the rest as a hexadecimal number". So the digits are in the range 0-9, A-F.

There are times you need a random constant that just has to be memorable. They used CAFEBABE. Apparently someone thought it would offend someone. So they switched to the popular DEADBEEF instead.
Some people might get the impression that these rust crabs are something that needs an equal amount of input from developers as real performance related problems.
Others may see the very mention of the crab's gender on a forum about a programming language, as meaning that putting their time and effort into learning said language would equate their efforts to identifying what gender the mascot of the logo is.
Some people may find that comparison unflattering.
Just got a three pack of Iroshizuku in! The tsuki-yo, kon-peki, and take-sumi. Only tried the first so far but it's lovely. Maybe I need to get the set with asa-gao soon?

> it has a clear preference for pricy paper

Well so do I :)
Kimx Micro Offers Open Source Hardware Raspberry Pi Alternative – Tom's Hardware
Intel's Cloud Hypervisor 0.8 Adds Experimental ARM64 Support, Snapshot/Restore
I find that monadic error handling and null safety is as much of a game changer. It gets discussed less, and is obviously not unique to rust, but coming from Java I see what I’d guesstimate to be an order of magnitude difference in unhandled error cases.

The same logic can be applied in Java or C++ or probably even C, but it also comes down to the wide spread and idiomatic approaches of the language. The rust eco system is not necessarily coherent around the details of errors, but error handling is generally rigorous. The benefits of that can’t be overstated. The compiler is a huge help in getting it right in a way that Java checked exceptions never was.

I’m sure that there are other languages that are showing similar wins, though. I haven’t written much Swift, but I imagine that the experience might be similar?
Literal search, including punctuation and spaces. Ideally regex searches. Mainstream engines are case-insensitive-on-steroids. Technical searches are literal.
Loongson 3 CPUs Beginning to Work with Linux KVM Virtualization
That's surprising since there are plenty of studies that have found avoiding high-GI foods helps with weight loss

https://www.sciencedirect.com/science/article/abs/pii/S01956...

https://www.sciencedirect.com/science/article/abs/pii/S01956...

It could be that potatoes make you feel full short term, but people who overeat in the first place, left to their own devices, will eat more than they should

In your first linked study for example, they say the participants were given isoenergetic portions and then saitery was measured 2 hours later, it wouldn't be surprising if that wasn't representative of longer term weight loss
Your proposal emphasizes rapid release, not rehabilitation.
Err, hard to say exactly. Based on what certain CMSes use, probably either a standard LAMP stack (PHP + MySQL on an Apache server with a static front end) or some sort of JavaScript based solution with NodeJS on the server and a framework like React/Vue/Angular on the front end (like the MEAN stack).

The latter is because it's what many 'trendy' companies are using, especially startups and those inspired by them, and the former because it's what most 'off the shelf' solutions are built in. Like WordPress, Media Wiki, Drupal, Joomla, Magento, most forum software, etc.

Those are probably used for about 90% of websites/web apps out there.
I initially misunderstood this headline to mean the opposite: I took "drops" to mean "introduces", which is the opposite of the intended meaning -- "withdraws". Not sure where I got this non-mainstream meaning of "to drop".
> nah. what about theming? you cannot do that with inline styles.

Nobody is utilizing inline styles in that example. It _looks_ like inline styles but it not. It generates css class name behind the hood which you can override in multiple ways. Starting from the ThemeProvider or just like this:

const Footer = styled.div`
${PrimaryButton} {
color: red;
}
`

I strongly suggest to look at https://styled-system.com/ to better understand the mechanics.
There's a piece of bioinformatics software by the same name, for which this quote would be quite fitting.
Technically we can choose news by any metric we want depending on what we want, but I'd prefer the results reflect some combination of accuracy, reputability, importance, and interest. Whatever Facebook's current algorithm is doing, it's not that.

> Must Facebook control what news people are reading?

No, only what news they promote to their network. I don't care if FB manual curates the list or uses an algorithm, they're involved in the design and so they're making an editorial decision here.
Forcing the entire world to stop trading with a country is way more serious than forcing a nonlocal video conferencing company to suspend an account.

The extraterritorial application of US economic sanctions goes way beyond anything any other country is doing to impose its laws abroad.
Check out Chomsky's support for Assange [0]. Sadly there's too much going on to bring enough attention to this case.

The sad irony is that none of this thread's discussion or anything else would make any difference. This article is written in "London Review of Books", not even a single news agency is interested in this currently.

[0] https://youtu.be/gxLa6jtF01g
Thanks for the links. I am kinda surprised by the activity on this blogpost, it's just something that I've put together in an hour or so, mostly as notes for myself.

I do "exporations" where I put bunch of related stuff into the wiki node and then take an evening to go over them and do some evaluation. It wasn't really meant as a comprehensive study.
My guess is that it makes more sense on a smartphone to continue down than right ?
Different languages have different ways of recording/formalizing what are fundamentally the same onomatopoeic inspirations, though.

In English, frogs croak; in Japanese, they kerokero. It’s clear that the same sound is being portrayed there, just broken up differently due to English having an alphabet where Japanese has an abugida.

Neither language’s encoding from the source “sound of a frog croaking” to a word is lossless, because humans can’t make that exact sound with their vocal cords; and so none of our systems of talking about sounds, be they written languages, spoken languages, or formalisms like IPA, can contain a good representation of the required movements. But both languages above get close enough that we can recognize the sound being referred to from its per-language encoding when we hear it spoken, and from there, know what the word is, even without speaking the relevant language.

The idea here is that there is a thing humans can communicate by making the sound of their language’s equivalent word for “huh?”, which speakers of all other human languages can equally recognize as having the same meaning as their own language’s word “huh?”, without understanding anything about the language being spoken. That communicability is what effectively makes the words “the same” word.

It’s not really that the word (written symbol; exact spoken phonemes) for “huh?” is the same between languages. It’s the abstract sound pattern that’s the same. Just like a frog’s croak, as an abstract sound pattern, is the same as any other frog’s croak, and unlike anything that’s not a frog’s croak. The difference is that all humans can make a “huh?” noise; and so we do get perfect mutual intelligibility out of it. We don’t manage to represent the “sound that ‘huh?’ makes” well in human languages; but when we say it, we still say it the “right” (mutually-intelligible) way nevertheless.
The Adventures of Julie D'Aubigny – La Maupin
It has transparent build caching, with more features coming around this, so building expensive things should not happen much.

If having access to source code seems bad to you, I don't know if this tool is for you anyway.
Debian has supported this for a while using a thing called "win32-loader":

https://deb.debian.org/debian/tools/win32-loader/stable/win3... (txt)

https://deb.debian.org/debian/tools/win32-loader/stable/win3... (exe)
That's not how analogies work, so this is completely missing the point.

For example, if you say the Colosseum is to Rome what a roller coaster is to an amusement part, you are not saying that the Colosseum is similar to a roller coaster. No, what you're comparing is the Colosseum's relationship to Rome and the rollercoaster's relationship to the amusement park.

xg15's analogy isn't meant to equate Black people in America in 2020 to Jewish people in Nazi concentration camps. Rather, it's meant to compare the irrelevance of intra-Jewish violence in the face of Nazi violence to the irrelevance of intra-Black violence in the face of police violence.

Always surprising to me how the basic structure of analogy is so commonly misunderstood.
I've never been to wikinews before, but it looks like exactly what I was talking about. They have a prioritized list of articles that need to be reviewed for bias and accuracy, so that's really good.
> After long research, his team of 120 counterintelligence officers hadn’t been able to find a single person, among the thousands of American agents and secret sources in Afghanistan and Iraq, who could be shown to have died because of the disclosures.

Sounds like the NSA who couldn't point to a single instance of stopping any type of terrorist attack/operation despite collecting anything they could get their hands on.
Still no support in any mobile browser. 35% isn't a lot of coverage. And of course Safari is a holdout -- they haven't even adopted VP9 yet.
Some of it can get in your way. I usually turn off bloom and blur, I get a higher FPS and my peripheral vision is already running a native blur function, so why waste resources on another process doing the same thing? A lot of technological innovation ends up being spent on style points for the sake of making a sexy trailer and getting pre orders. When Battlefield 3 came out with all the engine improvements, many users ended up hating all the blue and shiny flashes with everything and blur and bloom that got in the way of actual game play.

Sometimes people running lower specs might even play better than someone running higher specs, if that means the higher spec has more grass textures that better hide character models or something like that. Those sort of improvements are improvements for the sake of vanity, and are generally panned by a game's core players.
Few library authors understand that. In recent years libmq, libpcre, and libssh have all introduced ABI breaking changes without bumping the SONAME. Unless you have very detailed knowledge of how dynamic linking works on all supported platforms it is very hard to know what constitutes an ABI break.

The reason it mostly works on Linux is because header files are available. For example, if a function in library A that program B depends on is changed to a macro then all that is required is for B to be recompiled. Which B almost always is because most users get their software from package archives that are recompiled when dependencies are updated.

On Windows there is no such thing as an SONAME and Microsoft has essentially given up on ABI compatibility. If you write C or C++ in Visual Studio you must ship with it with the language runtime dlls for that version of Visual Studio. Microsoft doesn't guarantee ABI compatibility with any other version of the runtime.
I'm in the US and I also get the blank image.
> Why can't news be chosen on engagement? That's what people want to read. Must Facebook control what news people are reading?

They can optimize only for engagement with no curation, but they shouldn't. It shouldn't be done that way because people won't understand that this is the mechanism for content selection. They will think that because content shows up in a news section it has factual merit, and that the content being presented is an accurate representation of the current world context. If you only prioritize engagement, what you will create is a propaganda section masquerading as a news section because the most inflammatory, baseless, bullshit content is what draws the most engagement. That is in no one's best interest long term and it undermines the credibility of news media in general. If they want to create this, it should be labeled as entertainment, not news.
You'd face the small issue that forced migration is practically an act of war in most people's minds.
That actually happened.

https://tech.slashdot.org/story/03/11/19/2156246/efficient-s...
Firefox could support automatically using local DNS over HTTPS servers
I think they call it Intel 64. IA-32e is an execution mode, not an ISA.

https://software.intel.com/content/www/us/en/develop/article...
This is a poor quality rewrite of the original wired article it cites: https://www.wired.com/story/lamphone-light-bulb-vibration-sp...
https://arxiv.org/pdf/1908.08313
Looks like it's GPU is fairly well documented

https://www.youtube.com/watch?v=O1OdaokgXVg
AIMP – Winamp Replacement?
OP can maybe comment or correct (btw Congrats on making the jump, OP!) but given the business/operations language this might be the Ops Manager ladder, on which there is an entry-level manager position. IMO interesting, and cool if it works out for everyone.

https://www.amazon.jobs/en/jobs/899809/amazon-operations-are...

(trivia, Amazon is listed as having 840k employees, I knew it was high of course, but wow)
Stories like this are about the only reason to welcome the rise of China as a counterweight to the USA. Pity it's not the EU instead.
I generally have a dislike of the way docker ships binary artifacts you can't build yourself.

That being said, I think hermes could be used to build docker containers and they can work well together.
The ULX3S is great! I built myself an early prototype a year ago, and have used it every so often for occasional hacks. It has since evolved to be a first-class citizen in a number of projects and frameworks (LiteX, including LiteDRAM), which makes it great to get started with.

Also worth noting, that you can use a fully open source flow (Yoys + nextpnr + prjtrellis) for this FPGA family. Here's a repository I made that shows a basic blinky for an ULX3S: https://github.com/q3k/ulx3s-foss-blinky/
I was the last engineering employee of Novafora, which bought Transmeta. Shortly after, both were wound down.

Intel bought all the IP in a private auction for about $200k. (I was the other bidder, and hoped to Open Source the EDA tools.) The files were on a single old server, so not sure if anything still exists.

I own the tapeout server (CS22 - quad-CPU Opteron with 64 GB RAM) used by both companies, which I plan to donate to the Computer History Museum.

Transmeta only used AMD servers for some reason, I guess it was because they felt they were in competition with Intel. Kind of like how grocery stores don't want to use AWS because it would "pay the competition" (Amazon owns Whole Foods.)
Download zoom app 5.0 version or get deleted
How about designing the web around accepting arbitrary code from remote computers and executing it the browser VM.
> Since I don't have anything to be depressed about

I think this is a case where a word is used in two different ways and it is important to be clear to keep the intended meaning clear.

"I'm depressed that she turned me down" is a very different kind of depression than clinical depression. There doesn't have to be any external negative condition to cause someone to have clinical depression.

As far as I know, when people talk about using ketamine to help depressed people, they are talking about hard to treat clinical depression, not the short term state of disappointment or sadness that people also call depression.
Show HN: Math to Code – Interactive NumPy tutorial for engineers
Math to Code is an interactive Python tutorial (all client-side) to teach engineers how to implement math in papers.

I was inspired to create it while taking the Fast.ai course and seeing Jeremy Howard share [0] how a "complicated" Frobenius norm equation could be implemented in a single line of Python.

Math to Code uses the Skulpt library to interpret Python in JavaScript.

It's open source here: https://github.com/vthommeret/mathtocode

I would appreciate any and all feedback!

[0] https://youtu.be/4u8FxNEDUeg?t=1390

> It's time to start reading papers. And papers look something like this, which if you're anything like me, that's terrifying. And I'm not going to lie, it's still the case when I start looking at a new paper, every single time, I think, I'm not smart enough to understand this. I just can't get past that immediate reaction. So I just look at this stuff and I go, that's not something I understand.
> But then I remember, this is the Adam paper and you've all seen Adam implemented in one cell of Microsoft Excel.
> 1. Even familiar stuff looks complex in a paper!
> 2. Papers are important for deep learning beyond the basics, but hard to read.
> 3. Learn to pronounce Greek letters.
Off the top of my head, the things I do more now are:
- putting more effort into my appearance in nontraditional ways (eg: makeup, androgynous clothing, haircuts, etc.)
- mentioning that I'm frustrated by something
- acting naturally when people might be goading me into confrontational behaviour
You can swap "left" and "right" in your comment and it would lose no substance and it's meaning would not change.
Reminds me of a 2014 work by MIT on extracting audio signals from vibrations of objects in a video [0] which I found was truly fascinating. I guess someone was paying attention to bring this to production mode out of the lab.

[0] http://news.mit.edu/2014/algorithm-recovers-speech-from-vibr...
Well put. I wish we could broadcast this over the news and put it on billboards.
Winamp for Windows 10
I noticed macOS has SF Mono installed. I was able to embed this in PDFs using locally available tools.

I shall therefore assume I have an implicit license to redistribute material set in this typeface.

Surely they couldn’t have meant to ship this face to me purely for my own local delectations? It must have been included so that I could make fair use by sharing work with others?! Thanks, Apple!

Not the case? So? Sue me!
yep my solution was more signin with GitHub and choose your current project but VS code extension is a no-brainer!
We really need focus on embedded GPU av1 as well. It's amazing how fast pure GPU transcoding is. H265 is supported well in modern GPU's and can transcode at dozens of times the speed. But av1 for some reason isn't getting the same treatment is seems.
I wear both a DevSecOps and a System Architect hat at work so take my experience with a grain of salt.

I spend maybe half of my time working alongside developers to define security controls that need to be added, verifying they were implemented, and testing production. I do this because I realized when reading The Phoenix Project that the only way for security to be taken seriously by a company, I have to have an integral hand in the SDLC. Ironically enough, by defining the security controls that must be put into scope this early in the process, I also am able to make sure our software maintains compliance. This experience will be very different for a company that has more technical debt then we do, keep in mind.

I spend maybe 10% of my time on compliance. However, this is because we've already achieved our benchmarks; I only focus on determining violations, remediation, and making sure the company is ready for the next audit. Like I said, we have little technical debt and I work tirelessly to make sure security controls have been identified before the scrum starts. Back when I was working to get us to this point, I spent perhaps 90% of my time learning about the compliance benchmarks we needed to achieve and when needed to happen for us to get there.