skysight-inc/HackerNews huggingface dataset:
This is cool, but I question that the addition of a FPGA will really make that much of a difference to make it stand out against the other products on the market that can do realtime DSP, except maybe for battery-operated devices (where maybe the FPGA can be more power-efficient than a general-purpose CPU?)

I would have expected the raspberry pi 3 to meet most needs for this market. Quad cores clocked at > 1GHz, USB ports for connecting a controller, analog audio out (or SPI/I2C to a better DAC if you're not happy with the quality), and even HDMI if you want to drive a display, or MIPI for embedded displays.

Is it not easy to drive headless, and that's why developers need a different device for this? Or does the FPGA really unlock that much extra possibilities beyond what a quad-core, 1.2 GHz ARM SoC w/ a neon fpu can achieve? Or is there a demand for lower-power devices than the rpi for audio processing? Or am I missing something else entirely?

A month back I took a raspberry pi 3 B+, wired a midi keyboard to it, and then launched an open source virtual synth, Helm. I was extremely disappointed by the perf: it was actually unplayable. So clearly there's still a lot that can be done in this domain, and there's probably a reason why already-commodified hardware like the rpi doesn't cut it.
I thought it was just adding some style/personality to the writing. Rather than saying "We were disappointed by the messy internals."

It hardly felt dramatic.
The average Western European/North American consumes 220 pounds of plastic per year. A pair of AirPods (0.016 pounds) are 0.007% of that figure. I think there are much bigger categories in our plastic consumption that we might want to target before AirPods.
This might be to prevent browser caching or otherwise provide versioning of images.
"You also don't get the same goofiness as a necromancer who slices off your finger, animates it, then pokes you in the eye with your undead finger."

Where does that happen? Ultima ratio regum?
Hey, didn’t get any email from you
To me, business is business. When a business gives to charity, I usually see that as a gimmick dreamed up by their marketing department. I would rather make more or pay less, and then donate my own money to charity. No I guess I'm not a fan of your idea, but don't let me stop you from trying!
Come again?

>2 DAC pins, 10 ADC pins

Pins 35 and 39, 2 channels of audio out.
As an aside, "The Endoscopic Classification of Representations: Orthogonal and Symplectic Groups" is a damn good title. I'll assume it means something to someone, but all I can say is that I expect it to make a big hole in the ground.
I imagine this can be combined with a media query so that you can use hyphenation differently on small screens when real estate might be lacking and the ragged edge takes up too much space.

Time to experiment!
Do ISPs in NZ have no safe habour provisions? If one of their customers downloads or uploads something illegal, the ISP can be prosecuted too?
There has to be some kind of method that does a better job balancing line widths than the naïve greedy version, and is compatible with whatever requirements browsers are subject to.

Can someone hire some grad students to tackle this or something? We are talking about a significant proportion of all reading people do every day, all over the world.

A pocket computer that can do hundreds of billions of arithmetic operations per second should be able to make text as pretty as an apprentice typesetter from 1600.
> the most disturbing Orwellian thing I’ve ever seen. The level of authoritarian curbing of freedoms that has seemingly happened overnight at the stroke of a pen should seriously concern anyone who values constitutionally limited government.

Woah hold the hyperbole. I want to give you the benefit of the doubt.

What actions specifically are you even referring to? The change in gun laws? Australia banned semi-automatics. It’s survived. Pretty sure New Zealand will be okay without them too.

This post is about the ISPs banning sites, not something that the government of either country directed. (As the post makes clear Australia’s largest telco is also banning these sites.)

> I’m all for the debate, but as an American it’s unimaginable to see such reactionary, arbitrary, far sweeping action taken by a supposed free country with almost no discussion or legal process.

What was far sweeping and done with no discussion or legal process? You pretend like there isn’t a parliament with elected members, a far more representative and democratic parliament that any US government due to the use of proportional representation. This parliament is the legislative branch and can, well enact legislation, which is doing to ban semi automatic weapons based on the results of previous government enquiries into the matter that weren’t acted on.

(Talk about throwing stones here, seemingly nobody remembers 9/11 and the Patriot Act, and mass spying on Americans, and trillions spent on false wars that followed.)

A civil debate about the actions of these ISPs and the ability of private companies operating as utilities to censor or throttle or otherwise mess with neutrality of the utility they provide is very much warranted, but you’re not doing that here.
>Maybe his comment was playful/less literal, but it didn't come off that way to me.

Why?
I can't make heads or tails of this. The author clearly has an ax to grind, that much is clear. But since she dislikes—no, hates—everything about this project, it's kinda hard to tell what the actual issue is.

It feels tribal. This thing is associated with a group I hate, so it's ugly, shallow, stupid, pointless, corrupt, and in every way unclean.

Yeesh.
> Why do you insist mathematicians become programmers?

No one is insisting that. We're insisting that proofs actually be correct, something that demonstrably cannot be done (to an adequate level) when we depend only on humans. Humans get tired and make mistakes such as failing to notice missing or invalid steps. Humans are still really good at coming up with proofs - but not so good at verifying them.

> Proofs are just a medium to convey mathematical ideas to other mathematicians.

I disagree. For example, claiming that a^n + b^n = c^n for any integer value of n greater than 2 when all values are integer is clearly a mathematical idea. But that idea is not a proof of Fermat's Last Theorem; it is simply an idea. A proof should establish, beyond doubt, that a claim is actually true.

> I bet if Erdos were required to publish his ideas in a theorem prover language his mathematical output would have at least halved.

I'm not sure about that, Erdos was pretty smart. There's relatively little investment in theorem prover languages; a little investment would go a long way. For example, today you have to prove lots of little things that really should be in libraries and tools, but the lack of investment holds things back.

This also assumes that "mathematical output" is acceptable if it is not computer-verified. At some point in the future I think a "proof" that is not computer-verified will be viewed as an unproven claim. Humans simply aren't very good at verifying proofs - and computers are extremely good at it.
As stated before, the only algorithm that satisfies the constraint that floats must be placed as high as possible is the greedy one (or, to be more precise, any such algorithm must match the output of the greedy one).
TL/DR: The message is simple: "Just send money."!
Maybe miniaturization isnt really a great goal?

At some point we are going to have to start trading convenience for environment
It'll likely become more of an issue for people numb to the point as these places refuse more and more of our refuse.
Ironically, this page itself is unavailable from AU - or is it just me?
As long as for-profit media has access to the broadcast spectrum in a way that non-profit, independent media does not, our 5th estate will be subject to perverse incentives that favor "click-based" content.

We made a choice, in this country, to give away our spectrum to the highest bidder, no questions asked. We used to restrict programs that called themselves "news" to have to present a balanced, reality-grounded perspective, but by the early 90s fear of alternatives like the internet provided the fodder to dismantle that regulation.

It wasn't necessarily bad foresight either. These days, influencers on YouTube regularly get the same viewership that cable news does. Only very recently[1] have we begun to grapple with the social decay and radicalization that results when their engagement-optimization algorithm meets vulnerable folks. Try searching for historical, economic or political content and see how quickly Related Videos draws you down a conspiracy theory rabbit hole.

1. https://www.nbcnews.com/tech/tech-news/youtube-announces-it-...
And who repairs flatscreen TVs? A very small percentage of the market
While I agree a literal reading of CSS 2.1 implies this, I'm not sure it's a deliberate implicature. I definitely don't think it's meant to imply that greedy line breaking must be used (and, IIRC, Prince for example does not).

Filed https://github.com/w3c/csswg-drafts/issues/3756 for this.
Guide to the Systems Administration Body of Knowledge

http://sabok.org

Training program to make a Novice System Administrator
(2016)

http://verticalsysadmin.com/blog/training-program-to-make-a-...
1. That situation is equivalent to the one where the text is different and longer, and generally web pages are designed to layout properly regardless of the content of multiline text sections, so probably not an issue in practice

2. One could just determine the height of the float ceiling with the greedy algorithm and run the optimization algorithm with that constraint
It's not just the number of things, but the way they combine, as in the rules for argument-dependent lookup (not to be mistaken for unqualified name lookup or template type deduction.) When you have pointers and two or arguably three types of references, and arrays that decay to pointers in some cases, there's a lot of different cases to be considered. It's quite an achievement that it often works the way you want.

https://en.cppreference.com/w/cpp/language/adl
So they haven't actually done anything to try to restrict the shooting video, at least on foreign websites (it may be illegal under existing NZ law?)

It suppose it wouldn't actually be hard for them to seize the copyright (perhaps with a new law if required) and start issuing DMCA takedowns or threats of lawsuits.
America does propaganda better than probably any other country on earth, because it’s so interwoven into the fabric of society. Freedom of the press, of speech, of creators is espoused at every opportunity.

And at the same time, the Pentagon is required to sign off on every movie script that shows any military buildings, or the White House. And they do make edits [1].

Military officials and commentators helped shape the narrative of the Iraq war, often with roles at the media outlets themselves. I’ll dig up the article I was thinking of when I get a chance. They helped shape the presentation after — any embeds had to run their footage by military editors before airing too.

What US propaganda does better than Chinese state propaganda for instance is that they don’t just tell the truth they want directly to your face even though it’s obviously and visibly wrong. They shape narratives. It’s an elegant, soft-touch approach. They make you want to hear and buy into their version of the truth. The press here hasn’t really been independent in a long time. I respect the game, tbh. It’s a free press so propaganda is impossible! Nothing to see here haha.

It’s also why I get my news from a couple of foreign sources and ideally it cancels out each providers biases. If you get a chance watch some Fox and CNN (I watch both) then compare to CBC and Al Jazeera English.

[1] https://www.google.com/amp/s/amp.theguardian.com/film/2008/n...
> A personal identification number that opens a certain lock consists of a sequence of 3 DIFFERENT digits from 0 though 9, inclusive. How many possible PINs are there?

Do people really struggle with problems like these?
Yet there could be sealed indictments that have yet to be unsealed. In fact, every single one of Mueller's indictments were originally sealed. Who's to say there aren't others that he's handed off to various federal prosecutors like at SDNY or EVDA? Assuming that Mueller has entirely cleared the president (or anyone around him) at this point is about as pointless as proving he's about to be arrested in the Oval Office.

Let it play out and see what happens. Regardless, I suspect Congress will inevitably get the truth out and eventually it will come out to the public. Like most things in a democracy, they're often slow and sometimes messy. This is a feature, not a bug!
Actually they sort of do. Domestic / foreign revenue is about split for Facebook and Microsoft, and Amazon makes twice as much in NA than outside of it, tendency increasing.

And most importantly, even those global companies constitute only a fraction of the entire US economy. Most of the US economy is not organised in publicly traded, globalized, businesses.

The bottom line is, as can be seen in the American export and import balance, a strong tendency to consume global goods rather than sell them. The reverse is true for China. That's why China pursues an expansionist economic foreign policy, whereas American economic policy is largely divorced from its foreign politics.
It makes me sad your comment is being downvoted. If people aren't happy with ads, they aren't happy paying for anything, then what's the alternative? I don't see any. Those people need to get paid for their work somehow.
It’s perhaps a digression, but where does the Bible condemn masturbation? The verses that are commonly-cited (at least in my experience, which is mostly among Protestants) are pretty clearly grasping at straws.
You don't think violating that rule would break the Web? I know quite a few Web pages are broken in Servo because it doesn't implement float ceilings inside paragraphs properly.
Intuitively:

1e100 + 1e-100 = 1e100

Because of rounding error.

(This is true for some sufficiently large and small exponent.)
Why do you think supporters of Free Speech look to the American constitution? This seems like a strawman to me.

Support for Free Speech has a very long and broad history, a great deal of which predates the founding of the USA and a great deal of which has been outside the USA. People across the world and throughout history don't like being silenced.
The K strategy theory looks reasonable, but I don't see how evolution could develop a population-control mechanism like the parent comment postulated. If you start with an overly-dense population that's half straight and half gay, the straight ones are still at an evolutionary advantage relative to the gay ones. It doesn't matter that they'll all die when they reach the reproduction rates of a 100% straight population, that's still where the evolutionary forces will take them.
Disliking other people having Sex? — You should tell the porn industry so they adapt their business model.

Maybe people don't like to be watched, but I think there is a string driver to also reproduce and for men to put one's semen, ideally replacing the other man's.
There are quite a few pages that are broken in Servo precisely because it doesn't implement that rule.
That is what Empathy is.

When you can only view the world in terms of who to hold responsible and who to Blame, you get hit in two ways. The chances of producing a reaction, defensiveness etc increase and the chances of connecting and producing healthier outcomes decrease.

Blame takes focus away from where attention needs to be. Empathy does the opposite.
doubt it. there are just a few areas in the us that are really bad, but the rest of it is fine.
https://en.wikipedia.org/wiki/List_of_countries_by_homeless_...
How we manage plans and features in our SaaS app
First, I agree that the US has an incarceration problem. We're certainly not perfect, and I think much of the problem is due to the US's drug problem. Regardless, comparing incarceration to slavery is disingenuous as slavery requires no wrongdoing whereas incarceration should require wrongdoing.

As for my comparison of disallowing hate speech to slavery, it is a very valid comparison. The two are morally reprehensible for similar reasons; one is slavery of the body, the other is slavery of the mind. History has shown time and again that what is en vogue today may be hate speech tomorrow.
It's 'acccess hollywood', and they were extensively covered in the last 4 weeks before the 2016 election. Maybe it would have had a bigger impact if it dropped earlier. One wonders if it was intentionally held back to be a last minute kill-shot, or if it was truly just discovered in October 2016:

> An NBC source said that an Access Hollywood producer remembered the conversation on Monday, October 3, and located it in the show's archives.[4][11] The celebrity news website TMZ reports a different chronology: when senior executives at NBC learned about the video, they thought it was too early in the presidential campaign season to release it with maximum effect, and (according to TMZ) those executives publicly said they learned of the video long after they actually learned about it.[12][13]

https://en.wikipedia.org/wiki/Donald_Trump_Access_Hollywood_...
The BRAIN Initiative is still happening.

We published some stuff funded by it (via DARPA's RAM/RAM Replay programs) earlier this month. I'm pretty sure there are other active grants and funding programs (RFAs, etc) out there too.

The program wasn't meant to completely solve the brain--that's going to take far longer than ten years. Instead, the goal, especially of DARPA's portion, was to give neuroscience a jumpstart and then let the promising results get picked up by more traditional mechanisms (NIH Institutes, industry, etc). That's worked pretty well: companies have come out of it (Nia Therapeutics was spun off from UPENN's work on RAM), along with a slew of new data, tools, and papers. On a very personal level, I'm working on something totally different than I planned on, and it's going well.
Ergh. And I presume they rely on the position relative to the containing block (and therefore also on line-height computation and that whole underdefined mess), rather than the position relative to the line box where the float is placed?

Regardless, if it is the case the web relies on this, we should just make it explicitly required to do greedy line breaking. Relying on an implication from here isn't great.
Technically the bombing was done by NATO. The US forces which participated were just one of several militaries acting under overall NATO command. Ironically Montenegro is now a NATO member.
> Ah yes, cheap second hand VHS players, definetly not famed for chewing up cassettes.

IIRC most of the best VCRs for digitization have been worn out from years and years of use in other digitization efforts (like home movie digitization businesses).
Yeah, he walked back the "treason" comment that I didn't mention, and said nothing to retract the "sold your country out" comment, because the two are in fact distinct claims.

"Collusion" isn't an actual crime, so of course nobody was convicted for it. But convicting people for illegal activity proximate to the collusion is exactly what happened. Al Capone was convicted for tax fraud, not being a gangster, because that was what they could prove in court.
> it's pretty disturbing how many Americans are unable to comprehend that their way isn't the "only way" that can be valid.

Don't assume everyone advocating for US-style free-speech is American - I am not.
I live in Seattle, and work for Big Tech. Your description is basically spot on. It's frustrating to me because the Seattle City Council seems so disconnected from the strife that a lot of these people face - as correctly depicted in the KOMO documentary. If the SCC wanted to extract some value from Amazon then fine, just do it explicitly. This was a half-handed way to go about it, and so disconnected from how local economies work.

I will live here for a few more years for sure. But if the SCC keeps on this same path, and Seattle turns into SF I'm leaving. It's sad, because I've been living here off and on since 2011 and I genuinely love the PNW, since it's got everything I want - access to nature and the water, smart people that I'd consider starting a company with, and a beautiful aesthetic. I'm not the only one that feels this way. Coworkers, especially those who just had kids or are about to, plan on leaving for the suburbs or ditching the city altogether.

Edit: was googling city council videos and, well, here's an example of what I mean:

https://youtu.be/gMrBFNoHBkg
The specs for this specific Cortex-M4 incarnation:

https://www.microchip.com/wwwproducts/en/ATSAMD51G19A

The DAC is only 12-bit.
Who said anything about "normal", such a useless term. The argument is that it is unnatural, when clearly that's not the case.
Best way to count distinct indexed things in PostgreSQL
> Add green dye to the asphalt instead of adding a layer of green paint.

We've had green bike lanes here for many years. I've never noticed any of them fade. We're supposed to lay new streets for one lane, for a problem which hasn't happened yet?
I can never seem to follow any of the assertions that the media's negative coverage of Trump is, on par, biased away from reality, underserved, or contributing unnecessarily to the American rift in comparison to the politically opposite media's treatment of Trump. There are certainly biased outlets that are hurting us, but they don't seem to have changed with the arrival of Trump, relative to his own extremity. In fact, when you look at what's really there to critique about Trump, the media's reaction, taken as a whole, seems almost restrained.
Didn’t see it mentioned, but bela.io is also a good hardware platform that focuses on low latency. Definitely recommend it.
I have done some, thanks for pointing to that page!

Here's a prettier version for most people (the "mpegif" version uses GIFs for math symbols, which works everywhere but doesn't look at nice):

http://us.metamath.org/mpeuni/mmcomplex.html
The danger of assigning a biological cause is that now with CRISPR there is the argument that we should find the site(s) responsible and edit them out in future embryos. Just accepting the result without assigning a cause doesn't have this problem.
Like the older examples, the media narrative on 9/11 is fascinating: http://s3.amazonaws.com/nasathermalimages/public/video/prete...
It's a great observation. I think the conservative tendency feeds the liberal tendency.

Take racial differences. If any politically problematic difference between races were to be found, then a liberal will be very inclined to suppress this. Why? Because if the conservatives ever got ahold of it, they'd go "aha! racism is justified!" and there wouldn't ever be an end to it - arguing that racism is immoral is a lot harder, pragmatically, than arguing that it's simply mistaken.

I wonder if there's feedback the other way, as well. I can't immediately see the mechanism but I suspect there is one. Perhaps seeing liberalism associated with a deranged sense of reality causes people to reject it wholesale...
I haven't done a comprehensive survey... I just notice it a lot. Mostly it comes up when sites use inline layout as a poor man's flexbox. It might be possible to make better line breaking an opt-in, though.
It's a common arrangement for upper-middle-class families in much of Europe.

https://en.wikipedia.org/wiki/Au_pair