skysight-inc/HackerNews huggingface dataset:
Then I agree completely, and must have misunderstood what was proposed by a handler. Typically a handler will launch an external application such as mailto, ftp, magnet, etc.

If we want to run code in browser there is WASM.

So is the proposal that it would it be beneficial to have a DOS-like OS or x86 emulator in WASM for running COM files?

Yes, that would be better and more sandboxed than dosbox running outside the browser.
A blog can usually be static and therefore run behind a CDN. Whenever I read "look at my blog", I expect it to be HNpwned.

The postmortem followups are quite interesting though if there is a good analysis behind.
Building a Global Environmental Datastack for Climate Action
Quantum Entanglement Offers Unprecedented Precision for GPS, Imaging and Beyond
The Senate is a deliberative body, and its primary work requires debate. Already too much gets done behind closed doors and outside the public eye. Dispensing with even the pretense of open debate is somewhat concerning.
No, there's no 1. 2OEH8eoCRo0 is exactly right. Subtract 0.999... from 1 and you get 0.000...
Exactly why WalMart is still a thing
> We cannot imagine infinity

Now try imagining that some infinities are bigger than others: https://en.wikipedia.org/wiki/Aleph_number
AI can distinguish between bots and humans based on Twitter activity
Coronavirus charts can mislead us
In rust this would be expressed as multiple impl blocks with different generic parameters which show up as such in the documentation.

https://doc.rust-lang.org/std/vec/struct.Vec.html#implementa...
Looking at this I miss programming right away.

Super cool
Because the mods at HN believe that shaming people for past actions doesn't promote "intellectual curiosity" or some equally inane non-reason.

Considering it was on the front page, now doesn't appear 4 pages deep just minutes later, a mod clearly nuked this.
Remarkably I hear that Austin is going to be un-locking soon? Is that true?
Without context, it's hard to say... But I don't think you should feel guilty for looking at your phone while playing with your child.

Children will always want all of your attention, and their play is frankly mind-numbing. Due to the COVID situation, I am entertaining my toddler 14 hours a day 5 days a week and I find it impossible to stay engaged for more than a few minutes playing a child's game.
Yes, work time and leisure time should be "graded" differently. Making your leisure time about being productive makes you an automaton. Just messing around is something we should cherish.
When 5 rounds up, you can easily implement rounding as floor(x + 0.5).
People can debate remotely, too.
no, that's exactly what i described. a paid existing employee collecting location data while stocking.

i actually do think that customer-finding is a good approach, but it's up to the client to decide isn't it. the comment i'm replying to was about impossible requests by clueless clients, not about bad but possible implementations.

even if the idea is in fact bad, which again i dispute, it's always good to give a client an alternative that stinks, so that the idea you want them to accept seems "obviously" good. i forget what this technique is called.

EDIT: after an hour of searching, I believe it's called a "duck". based on the legend of Battle Chess, but of course the technique has existed long, long before Battle Chess.
It can be very clean, it can be very dirty. It depends on your roof type, weather and local environment. In most cases, it wouldn't pass most country's regulations on safe water quality [1]

[1] https://www.nature.com/articles/s41545-019-0030-5
There are ~243 years of experience built in to making the government function as intended. Changing the implementation of the key function of one of the critical components must be done with great care.

How does debate work? How is a quorum decided? How long will members have to vote? How are their votes authenticated? etc.

Done wrong, votes in Congress could be perceived as sneaky and illegitimate, and legitimacy is critical. Members take advantage of procedural details all the time. When procedures are new or ill-defined, there are going to be lots of loopholes.
Other than the visual differences in the output diagram, I think the other main difference is the way the table & columns are created.

dbdiagram is freeform text-based and parses that to generate the diagram, while in DrawSQL there's an editor supported by keyboard-shortcuts to do the creation.

Overall they achieve similar outcomes. Personally I think it's a well-built tool too!
Cleantechnica had a writer who spent some time taking a closer look at the claims made by companies in this space, a couple of links:

https://cleantechnica.com/2020/02/21/rip-google-makani-perha...

https://cleantechnica.com/2014/02/19/googles-makani-regulato...
It's a bit of a chicken and egg problem which is incredibly frustrating, I wish websites would start to respect it so users start to configure their browser properly.

Users don't configure it (and quite possibly don't know how) so many websites ignore it.

Many websites ignore it so it isn't that useful to learn how to configure it.
That's why I said "usually", the moment someone says something is impossible, someone does it ;)

Anyways, great job. I was there during the compo, it was epic, with everyone double checking the executable size, even the old guys who have seen it all. You got my vote BTW.
Wow, I just noticed this after you pointed it out. I have learned to take news with a huge pinch of salt. Many of the "reputed" establishments fail miserably when covering India or China. If you are writing an opinion piece, fine. But whatever happened to nuance and covering multiple PoVs? I think with Covid it is really important for us to wait and watch and stop competing.
When was the last time a candidate represented your views?

Does voting matter any more?
> testing far more than most countries

source?
The man from Snowcrash quoting HHGTG about a Disney Star Wars promotion. We've reached peak nerd.
1 = 0.9... is the consequence of purposely ambiguous and questionable notation. That's an old teachers' trick to make students talk and listen about mathematics.
So you look out of the window and at the modeline :).
It’s my understanding that viruses have a complex fitness function. If you think about it, the ideal virus spreads like crazy but doesn’t make anyone sick. If you make someone sick, you reduce the time they spend in the world so you spread less. Killing the host is definitely a no-no from the viral perspective, now you spread dramatically less. So viruses actually tend to evolve toward less intense disease. It’s why novel viruses kill so much more than viruses that have been around in the human population for a long time.

Forced evolution to lower infectivity is also a common way to make vaccines, so I’m quite certain one of the 100 or so vaccine efforts is trying this.

However, it’s not clear that the deletions in the OP are attenuating. If we end up with attenuated virus, it will likely come from a directed evolution experiment, not just getting lucky with a natural strain. Even such a natural strain would likely need to go through a fair bit of directed evolution to attenuated it to the point of harmlessness.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC136581/#idm1399...
There are too many possibilities to list why government might’ve decided to share this information, but couple of them that I can think of:

1. They want to create misinformation for other countries and waste their time. Perhaps to capture some high-up spy.

2. They want public to be open for existence of aliens. With new TESS and JWST satellites, there is good chance we will find proof of intelligent life very soon.

3. Perhaps they already captured some scout craft and want people not to panic when they release such information.
Terry Pratchett novels to get 'faithful' TV adaptations
How to build an eBook mailing list service in 3 steps
I've had the time to start writing a book in earnest. I've used LaTeX extensively in the past -- albeit not in the past 5 years or so.

* Refreshed my knowledge of LaTeX using the lualatex engine

* Learned how to use the Memoir class

* Learned how to use the subfiles package (highly recommended!)

* Learned how to version control my chapters using Mercurial / MacHg

* Learned how to use the Zettelkasten tool The Archive

* Switched from Terminal to iTerm2

* Switched (mostly) from regular vim to MacVim (love it)

* Discovered and am using vifm, the vi-oriented file manager (the type of classic nerdy Unix tool I love!)

* Started using Typinator to ease work with The Archive

* Started using aspell - a great spell checker
There is no infinitely small number between 0.999... and 1. The difference is 0.000... Not infinitely small, but infinitely zero.
Have you looked at deaths? Or are you suggesting india's creating mass graves that media is not aware of, or doctors who aren't speaking out.

I have a lot of relatives back in India who are doctors, and our hospitals aren't overwhelmed. There are very few cases. And they test every ICU admit for coronavirus.
On using your computer as more than a terminal
There are only 100 senators, and lots of people track their votes. A senator logging a surprising vote would be asked about it and able to correct the record.

Hacking a senate vote wouldn't be much use in the long run.
I could have been the moron standing with a placard demanding a haircut, but I took the simpler route by buzzing my hair with a clipper :-)
You left out mentioning the "Rome Statute" and Sydney University.
0.999... + 0.000...1 = 1
0.000...1 = 1/∞
0.999... = 1 - 1/∞
It already ended. VSCode and auto inference.
Not sure things get better now but there were a few security issues with Bluezone app. I would not recommend installing it at the moment
But it doesn't. The almost-universal standard is to round so that the higher-order digit is even: 0.5 -> 0, and 1.5 -> 2.

https://stats.stackexchange.com/questions/218821/round-to-ev...
One of the non-obvious things about SICP is that there is a lot of really good stuff in the footnotes and the exercises. You aren't doing yourself any favors if you skim over either of them.
The first is an infinite series:

9/10 + 9/100 + 9/1000 + ... + 9/10^n + ...

The second is not?!
It's still live at this link (at the time of posting):

https://www.msn.com/en-us/news/politics/dr-erickson-covid-19...
Once you get "R" below 1, the number of cases goes down.

Once the number of cases is small enough, you can identify and quarantine all of them. With a good enough testing infrastructure this gets easier. You can then have a "selective" lockdown only around actual cases.
Interesting article!

Same company also wrote an interesting piece measuring the impact of COVID-19 on air pollution: https://medium.com/blue-sky-thinking/blue-skies-in-the-post-...
Get shit done the GORGEOUS way
What I wanted: The ability to query heap objects for their size.

What I got: some 50,000 foot pure functional typeless language with loads of magic in the compiler that you'll never be able to reason about without having written one yourself.
If you're a materialist, then you should accept that all of our apparent rich internal experiences can be captured by algorithms. A "world of minds" simulation need only run these algorithms, not the physics that underlie them. This is many orders of magnitude simpler.

Furthermore, a simulation also needn't simulate the physics equipment we use to test our physics. An advanced simulation of the human brain's algorithms contains semantic content about what the individual believe these machines do, what properties they test for, so they need only simulate the interface and report results consistent with those properties and subject to the expected error distribution.

You seem to be forgetting that these are post-human civilizations, so they would have such detailed understanding of the human brain.
Maybe there’s just a really big advantage to being the biggest monopoly in the room and whatever management quirks they happen to have are just window dressing?
A quick glance at the resume for a starting point is usually all I do.
Commercial Quantum Computing Made Possible
They're making sure they can vote... but yet no one has worked to make sure all of the American people can vote safely (Read also: mail in ballots for everyone).
Maybe I'm misunderstanding, but I think the issue with dates is strictly different. Dates are hard not because time is fundamentally hard, but because there is lots of complexity in human representation of time (different places at different times have had similar but different representations of time). But that's not inherent to time. Ignoring relativity, if everyone throughout time used something like seconds since Unix epoch (or some similarly arbitrary point in time), then writing programs about time would be much simpler.

I think the numerals and numbers issue is more complex because numerals are fundamentally hard to reason about. Even the question "what is a number?" is deceivingly deep.
I rarely visit HN anymore because of shit like this, but I decided to check back over here to see what everyone had to see. not surprised
Oil Traders Not Sure They Like Oil
If you can get ahold of a Facebook Inc. employee they should be able to help out through the standard internal procedure (Oops).

Sources: https://www.cnbc.com/2019/03/14/facebook-oops-special-employ... and I am a former FB employee
There's a pretty overwhelming amount of options to go through. A wizard or simplified console for home networks would be great.

I don't need Radius, GPOs, groups. I just want everyone in the family to be able to use their GSuite account to log in on any of the computers in the house... and it's hard to figure out exactly what I need to turn on/off to do that.
If your texts frequently contain a particular phrase, have aliases! Saying "purple sun" will actually dictate "eggplant emoji smirk emoji"
Thanks, I meant of Google Lens. I am going to have to try ramsom though
> Isn't the whole point of the article that this isn't the case?

The author rather paints a skeptical view of the numbers coming out of India.
Yeah, can we have an example of an irrational number whose decimal representation repeats or terminates?

Or a rational number whose decimal representation doesn't repeat?
I feel wholly unconvinced that future civilizations will definitely build ancestor simulations. I feel like a lot of these arguments do a bad job of explaining what utility these ancestor simulations would be to the future civilizations, and basically say something like “it will be so easy to create such a simulation, members of the future society will just create them on a whim for amusement.”

But given that Moore’s law has run out and there are no pathways we can see to faster computation (we’re even starting to hit the bedrock of physics in our search) such a simulation would probably require considerable resources. We’re talking like, mining asteroids for silicon and indium and using immense solar panels for energy.

Which gets me to the point that I think strikes at the heart of the argument and kills it: A society capable of ancestor simulations would have to be extremely highly ordered. The universe abhors order and is constantly regressing to higher entropy states. So while the existence of such a society may not be impossible, it would seem to be very very unlikely (and perhaps even short-lived if it did happen), thus meaning there probably aren’t many long-lived high-quality ancestor simulations, and thus we probably aren’t living in one.
This is what gets glossed over in the quest for soundbites. There are actual legitimate arguments against this sort of thing, but they get overlooked because SENATOR X AND HIS BUDDIES ARE JUST TRYING TO OBSTRUCT A SENSIBLE PLAN!
The main reason is political: It would let senators stay in their home districts and campaign for their entire time in office, making it easier to neglect their duties to write and pass legislation. Politicians may be more motivated to work together on issues affecting the country in DC together. Staying in their home district could be a distraction because of the competing interests of being re-elected.

In general, I think these remote voting proposals should include a time limitation. That there is some "trigger" when they take effect, and they need re-authorization every 30 days until the incident is over.
And now it no longer runs!
Monaco's density is offset by the fact that it has the second highest GDP per capita (~$150,000 per person) of any country in the world. Also its borders aren't constantly shrinking.
Show HN: Code Time 2.0 – free automatic time tracking and metrics for devs
This is one of my pet peeves in maths.

Although I do understand the concepts presented, the notion of "greater" makes no sense when applied to something without boundaries.

Yet it's used all the time.
Is My Phone Listening In? Feasibility and Detectability of Mobile Eavesdropping
I'm very passionate about the UFO subject ("ufology" as some call it) and am happy that we're getting more "official" reports like this which leads to public awareness. I follow the subject pretty closely and 90% of it is all about book sales so it's annoying/pushes it back from being taken seriously in terms of science.

As far as I'm concerned this ^ and the Phoenix Lights are the most credible UFO sightings.

Personal note: I'll never forget the first time I saw a UFO and it was with my Dad! We couldn't believe it - my cheap Virgin Mobile flip phone camera was not capable of... well anything, unfortunate. I have seen 2 or 3 UFOs since then (one with an ex-partner so I wasn't just seeing things).

BTW, I'm you're typical "smart" logical programmer and don't just believe whatever I hear... I'm betting on more of these reports coming out and hope that science starts to factor into the subject.

🛸🛸🛸
The Senate (really all of congress, but especially the Senate) is supposed to be a deliberative body. There's supposed to be discussion and debate of any measure put forth, convincing others of the right and wrong in a given bill. This is why there's a filibuster, quorum rules, etc.

If you set up a system where Senators can live at home, Zoom in to cast a vote, and otherwise not engage with other Senators, it doesn't really fulfill the "coming together and hashing things out" aspect of congress. It's a bunch of polarized Senators staying polarized, now without even human contact.

(and it's fair to say "we're basically there already", but it's also fair to say "but we're not quite there, and we should preserve and foster whatever bipartisan interaction we have". I just don't think it's a no-brainer.)
Twitter is migrating build tools from Pants to Bazel
Cheops observes its first exoplanets and is ready for science
I don’t think it’s going away. A better question might be why are browsers still so slow that it can actually be slowed down by pictures and dom elements triggering re-layouts, or scrollling, or animations?

Maybe let’s just give up on browser apis and start building websites with DirectX/OpenGL.

I’ve seen amazing UIs in a lot of pc games that do all sorts of interesting things with the UI, and I’ve rarely seen those UIs have jank, or stutter.
Your price is out of date. I just had a 14-50 plug installed which will charge at 9kW for $700 (Basic 120V outlets will do 1kW).
> it goes all the way down to foreign key constraints introduced by a well-meaning but inexperienced developer that unnecessarily couple the accounts table to many other records.

You make it sound like developers doing things the wrong way is the exception instead of the norm.

Good developers don't, but every place I've worked at has a few chunks of the software by people who didn't know or care enough to do things the right way.
There's a third method, roughly in the middle of your 1 and 2. My wife practices this (she teaches Math at college level): keep the lectures at the times they are regularly scheduled, but on Zoom. Use an iPad-based whiteboard (Notability) and share the screen. Allow questions, give answers. Pretty much the regular class time, only online. Quizes happen at the scheduled times. Students receive the test pages via email, and they have to print them out and send photos of their worked solutions by a certain time limit (roughly the same as the one for a normal exam, plus a few more minutes to allow for printing, etc). She simply decided to trust her students. So far she has zero reasons to believe any of them cheated; in particular one submitted an empty exam. No students have dropped the class, and the attendance is better than the one prior to the lockdown.
I really don't think my initial comment was that hostile, but I can see why it could be read that way. I appreciate what you're trying to say here, and should probably work on framing things positively to avoid this kind of contention.

Part of why the Raft paper is so excellent is because is does leave you feeling like you could explain/implement the algorithm. I don't want to discourage people from being excited about these ideas, because I am too.

That being said, I am generally frustrated by the lack of humility that many software engineers exhibit. "Easy" is a trigger word for me, and I really think is something that should be expunged from most of our vocabulary when referencing software.
Yes, many aren't aware how much annotation processors and compiler plugins are capable of.

On the .NET side you have Roslyn, Attributes, expression trees and on F# quotations.

While they are all a bit cumbersome to use versus what Lisp macros allow for, they already allow for quite a lot.

Yes, there is some hope that C++23 will bring them.

The more languages support DbC the better, only so can we start seeing more widespread adoption across the industry.
> the competition provide the same product at $9 while doing all the warm and fuzzy things?

The other real question is "Will it continue to be legal for Amazon NOT to provide the warm and fuzzy things".

In virtually all other developed countries the answer is NO, but with legal bribery (unlimited campaign contributions & lobbying) the US may never change.
First, WordPress stuck with React after Facebook made the smallest licensing concession, then WordPress coordinated with Google developers on the WordPress.org source code to integrate with AMP, and now WooCommerce is partnering with Google, which of course they would feel compelled to do via a kind of prisoner's dilemma with their competitor, Shopify.

People tend to deride WordPress source code on a technical level, but they forget about it and the ecosystem's importance as _free_, GPL tools that power over 1/4 of the web. Google is swinging its full weight into undermining this ecosystem so that it can turn WordPress.org source code into more ad real estate.
I'd like to pick on one particular issue related to substrate independence. I recently watched an interview with John Searle in which he proposed that a simulated brain would not be conscious. His reasoning was that a weather simulation in a computer couldn't make anything wet.

If that's true then the simulation argument fails. I'm not convinced though. It seems to me that the materialist argument, and Searle seems to be a materialist, is that consciousness is an emergent property of neuronal activity which is basically a form of computation. Well simulated weather isn't weather, but computer simulated computations are actually computations.

So while I am highly skeptical of the simulation argument, I don't object to it in this respect. Also I feel bad disagreeing with Searle as I think he gets so much else right and has made many very valuable contributions.
Similar in my Apartment. An air hostess got quarantined for 14 days in her house with a big poster on outside door “ Flat under Quarantine “. It was not Red colour because it was not confirmed case. So basically National Disaster Mechanism are quite well planned and implemented.