skysight-inc/HackerNews huggingface dataset:
Something lightweight like MQTT is also well suited for this. It was originally designed for telemetry messages in IoT situations but it also supports websockets so it can be used in web applications or browser extensions.
Skype has a checkbox to stop it from doing that, but then ignores the setting and does it anyway. Ruined a few podcast recordings for me.
It means they're still looking into productising it themselves, and they won't release the schematics until a) they've got a shipment to sell, or b) they give up on dealing with the chinese scammers they're currently negotiating with.
This is something I’ve been considering getting, but the lack of Bluetooth is a blocker.

I have no use for the RGB stuff (and maybe not even backlighting, since I seldom look at any keyboard), but neither will I go back to having cables across my desk…
More readable -

https://threadreaderapp.com/thread/1413326562821246978.html
Outlook also has had this problem of emails just not showing up. Sometimes it takes a whole day for an email to arrive. Amazingly low quality for such a wide used product.

MS in particular has the habit of actually introducing small bugs like this regularly through their usual updates. It's infuriating. One day something works the next it just doesn't. I know people who never update their machine because of this. Can't blame them. Once it works, why take the chance of breaking it with updates? It it is a certainty that at some point MS will break some functionality of your system with an update. It's just a matter of time. So turning off auto update is the most sane thing to do for most people. I recommend it myself, and if you update your Chrome or Firefox automatically it is safe enough to use an unpatched Windows for most people anyway.

Once MS started introducing new bugs rather than actually fixing old ones I knew the last MS machine I will service is a gaming machine for my family. As long as that needs to run, I will make it run. All my other systems are on linux now. Once the gaming craze is over I will ceremoniously burn the Windows license key that I used, and I will never, ever, run any software from Microsoft ever again.

Except at work of course, but I don't mind getting paid to be frustrated.
It is a bit discomforting seeing that discussion in hackernews just remain at the level of "bad choice of name, btw!" without no technical insights. I would have expected more sensible reactions. TeX and Emacs were initial inspirations to TeXmacs (which has been written in the '90). As such they indeed inform some of the design choices, that said TeXmacs do not conform to them. The Emacs legacy is however very clear: all the editor behaviour is re-programmable in Scheme, from keybindings to menus, to the graphics editor (see here a recent example http://forum.texmacs.cn/t/why-not-draw-circle-by-center-and-...). As for the TeX legacy, TeXmacs actually improves on it by defining a document format while retaining the power of creating user defined macros, it also allows scheme code to be called from macros, since its beginning, 20+ years before LuaTeX. An overview of TeXmacs design can be found here: https://texmacs.github.io/notes/docs/overview.html . I think people nowadays are more used to programs which are epsilon changes over existing systems, repackaged with brand new names. That is why TeXmacs could be puzzling at first. Does not fit usual categories. Maybe this says something of the current trends in (free)software design.
We've banned this account for using HN primarily for ideological battle. That's not allowed here, regardless of ideology, because it destroys what the site is supposed to be for. Please don't create accounts to break HN's rules with.

https://news.ycombinator.com/newsguidelines.html
> As for the precision, I suspect it’s to defeat the perils of floating point numbers in computers...if you only need mm precision, you rather your CNC computer do integer math and not floating point math...am I correct?

I doubt that. It would be trivial to have the computer convert from 6.000m or 600.0cm to 6000mm internally.
Even better, the NSA provides the sources which you can compile yourself:

https://github.com/NationalSecurityAgency/ghidra/releases
I think this about sums it up. Seems SA has spent its money instead of investing it wisely, and the next generations will be worse off because of it. Norway serves as a counter example of what they could have done instead, but maybe the Norwegians had the luxury of being a democracy that didn't have a need to bribe the citizens to stave off revolution. Being a dictatorship is always a hard place to be.
More isn't always better in CPU design, more means slower clocks, or longer pipelines, neither of which necessarily mean faster CPUs.

Any particular implementation of an architecture is a study in tradeoffs - gates are relatively cheap these days, but not much faster - it makes it easier to throw gates at bigger caches and more cores rather than faster ones - faster clocks likely mean longer pipelines which need lots of well predictable branches to perform which skew an implementation to particular types of benchmarks/workloads
Boeing discloses a new problem with the 787 Dreamliner
Immunocompromised might not be able to get a vaccine because the mechanism for vaccines is the immune system, which tends not be be working so great in the immunocompromised.
> What if we need systematic memetic engineering, to make lower energy consumption actually feel desirable?

lol, there has been an unrelenting campaign to do so, going all the way back to the 70s - when global cooling and population control were the hot topics at Davos. Captain Planet, he's our hero, gonna take pollution down to zero...

I'm all for abandoning conspicuous consumption and the treatment of electronics as consumable goods (sent from 2011 vintage Thinkpad), but I'm not on board with weird its-for-your-own-good social engineering/propaganda campaigns. It is a moot point anyway, as you'd be impotently counter-messaging every advertising/branding strategy that has (or will) ever exist.
This reminds of something that aggravates me to no end and cannot turn off: emoticons / emojis. I never use those but it keeps offering those by switching typing focus to the popup.

The issue comes from my main language being French. And in French, for some reason, there has to be a space between the word and the colon.

But in Teams, and even Outlook Web, whenever I put a space and colon to introduce a list on the line below, so I type <space><colon><enter>, I end up with a freakin' smiley, so I have to go back, delete it, and put a colon in again.
If you keep posting flamewar comments to HN we will ban you again. Please stop.

https://news.ycombinator.com/newsguidelines.html
It's kinda cool? But I mean, why not just buy an Anker 20k mAh 20W battery pack that you can use with every other USB device... at less than half the price:

https://www.amazon.co.uk/Anker-PowerCore-Essential-External-...
Lootcakes | Full Stack Engineer | Remote US | lootcakes.com

We've built a unique service that rewards gamers for sharing their purchase data. Our system parses free2play game receipts and major game publishers leverage the data for their user acquisition campaigns.

We raised a seed round and are now building out our first mobile app and greatly expanding our service to consumers and game publishers. We're looking for a full-time FSE to work directly with our CTO and outsource partners to take our business to the next level.

React, Node.js, T-SQL, Database design/mgmt, Docker, Azure, Git, Bitbucket, TypeScript, ESLint/Linters, Fastify/Express.

Competitive salary, significant equity, 100% health/dental/vision, 20 vacation days, work anywhere in the US.

Contact: dan.laughlin@lootcakes.com
I guess I have to add /s explicitly nowadays!
I was already able to decommission $160USD a month of infrastructure after 5 minutes on the platform. Thanks!

Is it possible to set up a billing email? I would rather not have to forward the invoices every month.
> It makes absolutely no sense for when using such standards, that results differ per browser. In our time, resolving all those differences cost a huge amount of time. Now browsers behave better, but there still may be issues.

Regardless of the technology, UNIX, C, TCP/IP, Web,.... either you get standards and differences across vendors, or monoculture.

And we all know what monoculture brings into the party.

I could use a similar argumentation to defend we should all be writing Windows applications, or Red-Hat Enterprise Linux and be done with it.
The UAE and Qatar seem fine, although their sovereign fund will be in stagnation and will be under pressure to maintain their returns.

Bahrain, Oman and Kuwait are whole different problems altogether. Bahrain is Sunni-ruled with Shia majority population, so once KSA weakens, expect to see some revolts soon. On the other hand, the UAE will step up its game and intervene in Bahrain should such a situation arise (ironically, Bahrain was going to join the UAE back in 1971, but backed away because they were richer and wanted to be the capital).

Kuwait and Oman are already falling to xenophobic pressure. They have begun expelling expats from jobs and looking for inward hiring, but this has had a net negative effect on their economies.
Thanks for your feedback - I dislike "pushing" the buy button, but you are right that it's hard to find on mobile, so I have added a [Buy a TinyPICO] and [Buy a TinyPICO Nano] button in the main body of each respective page.

Cheers :)
VoIP Market Size to Increase?
Will VOIP increase, or there will be a downfall?
Thanks for dropping that link, it feels like there's definitely a niche that OpenStack can fill in nicely!

I guess the only other alternative is to look for the lowest common denominator, which in the case of Linux servers is typically something like Ansible/Salt - to connect to VPSes through SSH and do all of the necessary configuration from bottom up in an automated and repeatable manner.

Of course, that's not to say that it's always easy and i applaud what OpenStack is trying to do with providing APIs for a lot of that stuff.
>deny me the ability to download legit software from the likes of Microsoft and other reputable vendors because

Because when your computer screws out and you're unable to work, IT is on the hook for your lost time and you get to go floppy because 'the network is down'. If IT is responsible for ensuring your technology environment supports your productivity, which in almost all organisations they are, then they need to be in exclusive control of it or they cannot provide a comfortable level of assurance to the organisation. Responsibility and control go hand in hand. I won't take responsibility for anything outside of my control, and if you're sane neither will you.

Teams that are willing to confront their organisation's established norms and assume responsibility for the continued operation of their workstations and the corporate network they are trusted members of may be able to gain permission (from management, not IT) to get install privileges. If you're in an organization that's deployed a zero-trust model this is much easier, and you only have to assume responsibility for the workstations as the network is already resilient againsts it's participants.

Everyone else needs to sit down. If you're not giving me an unlimited bank account of the company's money, I'm not giving you admin rights; And the motivation for restricting both are very similar.

On the other hand, ensuring people have what they need to be able to do their job to the best of their ability is kinda the point of IT. Unfortunately it's never a simple job to distinguish between 'blustering and wants to run a bitcoin miner' from 'needs a legit piece of software to do their job better' without proper engagement to understand your needs. If you have legitimate needs you don't look any different from the dickhead in the other department that's taking the piss, until we've gone through that 'red tape'.
Cliché comments are often about well-known things. The point is that once something has been repeated often enough, simply repeating it again without adding new information makes for a low-quality post.

I don't know which others in this thread you're referring to, but nobody's being singled out. We just don't have the bandwidth to see everything that gets posted here. https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...
Curry-Howard isn’t that specific, nor do dependent types correspond to first-order logic. Curry-Howard is a broad correspondence between logics and type theories. System F, which is weaker than dependent type theory corresponds to higher-order logic. First-order logic actually doesn’t actually correspond to a popular type system, though the correspondence of course exists.
My current setup:

* Atari ST 520 with 4 MB RAM

* Floppy Drive and Gotek (a Floppy drive "emulator" that uses USB Sticks to store Floppy images)

* Ultrasatan (SD Cards as Harddrive)

* some other accessories (Printer, Scanner) that makes life more productive

For mobile work i use an Atari Portfolio, which turned out to be a real handy tool if your work involves often to hook up to a serial console of industrial machinery.

To exchange data with friends: Just pack everything you want to share on a USB Stick and send it via DHL or - better - just drive over and hand it out.

And yes, i have an "modern" PC too, but this is only used for the unimportant stuff (watching youtube, unimportant internet usage... lets call it "noise generation")

My friends and i are experimenting with setting up a private Dial-In BBS. It IS still possible to use a Modem over a VoIP line, so... it may be unencrypted, but the few weirdos who uses such communication vectors may be to unimportant and to far under the radar for "Saurons Eye" of the governments to monitor...
Graphics is different since usually the graphics primitives are the common substrate of all graphics languages, so the interpreter can just be adapted to a different backend. For more structured content this is not possible: the natural output of TeX is a sequence of graphics boxes for the glyphs, or something like a DVI format. It is too late to retain semantic informations, e.g. about mathematical formula. Ask anybody which writes LaTeX/HTML converters for example. TeXmacs does a good job to interpret "usual" LaTeX files but you cannot expect to be able to interpret arbitrary files and still retain semantic informations, e.g.: sectioning, references, emphasised texts, theorem statements, change of languages (e.g. from English to C++ to Math...) etc...
Ive installed pihole at home and it reports hundreds of thousands of blocked requests a day. And this isn't counting everything the browser adblockers are stopping. We are a family of four, with really only the adults using the network an average amount. It's insane.
As an engineer I very often have access to private data. The only thing protecting it was that most engineers understand privacy and the implication of modern data collection that is slowly undermined by companies like Google, Facebook, Microsoft and co and the education the newer generation tend to enjoy.

I worked on medical devices and with sensitive medical data. In this case even pictures of naked people for skin diagnostics. This data cannot be leaked so enhanced security mechanisms were in place. Wouldn't have hindered an engineer really wanting to leak the data and I think there is no way to prevent them from doing so while analyzing data.

So yes, it is actually the case. Ironically, user data access might be most restrictive in companies like Facebook, especially because their business model is somewhat opposed to restricting access to private information and they know they need to make up for it. They also have employees that aren't really trimmed on the importance of privacy, which is showing in my opinion.

A lot of administrators usually have access to all data in small and medium sized companies. And everywhere else there is at least someone who has.

The only exception are end-to-end encrypted blobs for storage applications, but you cannot be sure of that since governments are currently working to get rid of that and the provider could easily lie to you and verification is almost impossible.
I’m from Australia, I really like how we always show the 100g/100ml breakdown of ingredients, not just “serving size”.

This lets you easily compare across products with different sizes.

See https://www.wholekids.com.au/wp-content/uploads/australian-f...
The Vice President said she wouldn't take any vaccine Trump promoted. Maybe the denialism is entirely partisan.
I'll assume this is a serious question.

Once upon a time, the gaps between the well-off countries and the other was large and coherent. It didn't matter very much which requirement you used to separate the two set or where you put the threshold, because the results were more or less the same anyway.

The set of countries whose inhabitants' lifespan was high and growing was the same as the set whose inhabitants earned well, the set whose inhabitants had many years of schooling, the set whose inhabitants were mostly able to locate Italy on a world map, and so on.

China's moving up and isn't simple the classify any more. If you use e.g. average income as the test, then it really matters where you put the limit, because China's no longer really poor but not yet really rich. And you know that, so your choice of where to put the threshold is or may be influenced by what result you want for China.

And interestingly, the US and a couple of other countries are also not simple. What do you call a country whose inhabitants have a long but shrinking lifespan, for example? Or one whose health/education/income statistics are bimodal or more? That is, there are several quite different groups so it's difficult to a single average income or other index, but the old definition of developing country assumes one index per country.
I'm suggesting that monitoring an application for malicious behavior to detect it after the fact is the wrong approach. Once the data is sent, it's too late to do anything about it.

Oh you first try fake data? That's easy to counter. For example probabilisticly: the app tosses a coin and only sends the data with 50% chance the first time. Now half of people using your approach will think the app is safe and get their data stolen anyway. Or use some side channel, delay activity, ...
It's kind of funny that all 3 authors of this paper claim on LinkedIn/Twitter "it wasn't me"
US could not lost. Japan was running out of resources - steel, oil (in fact blocked access to resources was what pushed them to the war they could not win). Maybe war on Pacific would last a bit longer, probably it will cost more lives, but from the beginning it was lost for Japan.

That's why using atomic bomb had no real military justification, it was just a very powerful political demonstration and USA retaliation on Japanese people.
isn't also that all communication is required to be unencrypted?
I've tried a standing desk at about 30 years old, not really overweight, and my ankles became slightly swollen.
Please don't perpetuate flamewars on HN. We're trying to avoid this here.

https://news.ycombinator.com/newsguidelines.html
It's interesting to think about what mathematics might have been like if geometry hadn't been developed so early. If algebra or number theory had come first, the history of mathematics might have been quite different.
Alternatively, you could start from the Peano axioms and grind your way up to number theory.

High school mathematics spends much time on plane geometry as a formal system for historical reasons, not because it's a particularly interesting or useful formal system.
Pro tip: don't press Ctrl before release mouse button

This is annoying.
Ahh understood - I would say that there are many "smaller" countries with covid outbreaks and if you add them all together then it's reasonable to expect some mutations from that group. Peru and other places in latin america had very high percapita infection rates.
Currently used at my workplace.

A day never goes by without a delight.

Edit: IBM Notes
Dear Microsoft: When I change the volume in Windows whilst something is playing audio, please DON'T issue an annoying 'bong!' sound.
MongoDB 5.0 introduces Time Series Collection
13% of the population doesn't even have electricity, that would take more work than mitigating climate change.
> Florida arrested a statistician who was attempting to publish the real death toll. So can we seriously accept thier count as the truth?

If you actually want to know, the answer is "look at excess deaths." You can game the numbers for confirmed COVID deaths by doing less testing but it's a lot harder to hide the raw number of people dying. Per NYT[1], as of March 6, 2021 (which is when their data ends), Florida had 31,616 confirmed COVID deaths and 35,900 excess deaths (1.14 excess deaths per COVID death, 1,671 excess deaths per million) and California had 51,974 COVID / 69,800 excess (1.34 excess deaths per COVID death, 1,767 excess deaths per million). Since then California's wave has subsided a bit faster than Florida's but either way the difference in outcomes between the two states is very small.

> California and New York were hit before they could implement lockdowns.

This is true of New York. It is not true of California.

California was not hit particularly hard
before it could implement lockdowns, and in fact before winter of 2020 it was doing much better than most states. In the first 6 months after people started taking COVID seriously (mid March 2020 to mid September 2020), about 15,000 Californians died of confirmed COVID cases, or about 375 people per million (and excess deaths track at pretty much a constant multiple with the level of confirmed COVID deaths). Since mid October, there have been another 48,000 confirmed COVID deaths in California. 35,000 of those happened in the 3 month period between December 1 2020 and March 1 2021. Not coincidentally, that period is also when restrictions were at their most severe: starting around November 25, outdoor dining was banned, parks and beaches and campgrounds were closed, a curfew was put into effect, travel was restricted, and so on. Cases continued to rise for the following month after that, peaking in early January.

Really, there is significant reason to doubt that government-imposed restrictions (as opposed to behavior changes people were going to make whether they were mandatory or not), as they were actually implemented in the US, had very much positive impact at all. It's not so much a question of "are the deaths ok?" as it is one of "is this actually helping, or is it just doing something visible so that the politicians can say they tried?".

I know this is an emotionally charged topic, and we probably won't have a clear picture of what worked and didn't work for at least a few years. But certainly government-mandated restrictions were not a slam-dunk obviously effective and worthwhile solution in the way that vaccines were.
Yes we can talk about that, let's start with the FSB an why they are always so stupid ;) to left the compilation time with the working-hours of moscow and the cyrillic keyboard in the compiled binary.
A security audit is still useful when you have sources to the program. There may still be some intended or just accidental security problems with it. Having the sources makes such an audit a lot easier to do.
I've got an annoying thing - not sure if it's a bug, probably) where the media volume on my iphone maxes out. So there's a nonzero chance now of shitting myself when hitting the unmute buttons on autoplaying videos.