skysight-inc/HackerNews huggingface dataset:
> https://sourceforge.net/projects/csp/

There is already some progress on The Combat Simulator Project by Henrik Nilsson.[0]

JFTR, There is "flightsim" category on SourceForge.[1]

Also many flight simulators also could be found on GitHub.[2]

Think, there was some flightsims on Google Code[3], but in most cases all those projects archives already mirrored on GitHub too.

[0] https://github.com/nsmoooose/csp/

[1] https://sourceforge.net/directory/games/flightsim

[2] https://github.com/search?o=asc&q=flight+simulator&s=updated...

[3] https://code.google.com/archive/search?q=flight+simulator
Have the 5G towers connect to Starlink rather than running the cabling to them.
Neato. I actually tried Australian English for a while, but let me do the switcheroo to Canadian and see.
Super-bright fluorescent solids can be 3D printed in any shape
There are 8P8C copper SFP(+) modules so that isn't really a barrier.

Anyway, what you're looking for is something more like:

https://www.qnap.com/en-us/product/qsw-1105-5t
It's a great attempt, just like ReasonML.

Maybe the 'data' could be called 'enum'? I believe Rust/Swift ADT definition use keyword 'enum' and it might make it more familiar to the mainstream.

While the 'await' is pretty recognizable, the word itself seems to be too coupled with asynchronous operation too much.
The very name of that website sounds like some sort of propaganda department. Notwithstanding that, the claims it makes are all of comparatively trivial offenses. The "top 3rd" one was awarded 10 million by a US court, peanuts compared to company revenue (e.g. a US judge awarded Apple 1 billion in damages from Samsung). The "top 2nd" one links to a blog by a Cisco officer whose only technically-specific example he could give was copying some code from strcmp.c - ooooo strcmp.c! That is going to really get an edge over the competition! LOL.

The PDF link describing details about the 1st one was broken, but it sounds like a standard case of employees leaving a company to work for a competitor (allowed under California law) and the old company going sour grapes.

Didn't bother reading 4 and 5, after how overblown 2 and 3 were.
Z3 is not available on termux (I am pretty sure it has been before).

Back to the issue at hand. It is possible z3 is faster on arm64 due to the aarch64 bitfield instructions, but I find that unlikely.
The key thing here, as most people have noted, is that although it's a bit more time, the flexibility and lack of commute makes it an overall net positive.

I think this is actually already what most people doing WFH have already experienced. Whether you're WFH forever or just during this lockdown, the key thing is to be aware of your time and create some routines that break up your day in ways that bring you joy and peak productivity.

(stop reading if you dislike a little self promotion)

For anyone interested, I cofounded a startup (https://reclaim.ai) hat helps here. It lets you establish personal and professional habits and block out time for tasks, while preserving max availability for genuinely necessary meetings. If you're struggling with this stuff and on Google Calendar, give it a shot :)
That seems to be distinguishing, as the name suggests, between 'is' and 'ought', not between 'should' and 'ought'. Indeed, both the article itself, and its quotes from Hume, seem to use 'should' as nearly synonymous with 'ought'.

(Even if I've got it wrong, ryanklee claimed that "[i]t's not common" to make that distinction, and pointing to the technical work of philosophers doesn't undermine the claim about common useage.)
Write a book, create online courses.

Publish on Skillshare, Educative, Gumroad, etc.
How do you avoid bad actors in these scenarios? Sounds ripe for general havoc, targeting specific people etc
We can't do a counterfactual. Perhaps the technical superiority of mainframes could have been maintained with greater competition and investments in the "right" pursuits instead of focusing on being litigious and covetous.

Seagate also had some 80s theft but instead they chose to focus on their next technologies and making better products. "They can't steal our quality" is the quote I remember.

Corporate espionage happens a lot. I've had it happen to me, at companies I've been involved in, multiple times. Of course we are supposed to ignore how common it is and focus on China and then assume everyone else are honest moral angels getting hoodwinked. Nonsense.

The accusations are framed as if because something is Chinese we cannot trust it. There's suspicions, hunches, and feelings. You even used "suspected". As if "well we can't trust those shifty Asians". This will get us nowhere. Build better stuff.

Also you can't down vote replies, but thanks anyway. Your nonsense is entertaining
I read that as a crazy people vs non-crazy people thing.
Woah, that's an enormous sweeping generalization.

I have a friend whose parents live in rural Kansas who to this day can't get more than dialup or satellite, even though they've called up every single semi-local ISP (way more than once) and said they'd be willing to pay for installation. At this point, they have more than $20K saved for the chance that some company says maybe.

It's simply way more complicated than you're making it out to be.
To WilTimSon's point: Having been on and off Tor, 4chan, 7chan, and a number of other networks and sites that host pretty questionable and sketchy stuff, I'd easily say the vast majority of people using these back channels don't take themselves seriously.

4chan mocked the hell out of the Christchurch shooter and Elliot Rodgers. None of those comments would be agreeable to the general public. The only places I've seen these guys, as well as Tsarnaev and the Columbine shooters praised is... Tumblr, Twitter, Reddit.

While I'm concerned about child pornography, there's more of it on Pornhub and XNXX than I've seen on Tor. And it's the low barriers to access on public porn sites that use automated filters that cause more of an issue. Bing itself will find adolescents if you type in keywords like "2k4" and "2ke" with adult terms.

Maybe Bill should focus less on trying to expose private paths and more on addressing the glaring gaps that come with over-automating platforms.
I don't get it .. why am I getting the same videos for the last 4 times I've viewed this thing??? Anyone else experience that?
Right - see the MedCram lectures on the topic:

How to Beat COVID-19 with At-Home, Rapid Result Testing: 5 Min. Summary by Dr. Mina (Antigen Tests)

https://www.youtube.com/watch?v=AZWuyvBAWWQ

Coronavirus Pandemic Update 98: At Home COVID-19 Testing - A Possible Breakthrough (~ 15 min)

https://www.youtube.com/watch?v=h7Sv_pS8MgQ

At Home, Cheap, COVID-19 Tests with Results in 15 Minutes: How to Fix Testing with Dr. Michael Mina (~ 1 hr)

https://www.youtube.com/watch?v=cP-MHKU_cQE
I'm working longer because now everyone expects my availability 24/7, rather than just during office hours.
Not unless you want to control your connectivity/data. Imagine how bad ads will be if you can't block them and they follow you around without mercy.
Mathy Animations with JuliaLang
If you publish a course on Skillshare, Educative, or a book on Gumroad, you probably won't make $1000 a month. But you will earn more and more every time you create more.
Looks like some type of powerline plugin for their shell

https://github.com/b-ryan/powerline-shell
In this context, it does go to show Scott's not a very valid future predictor.
For what it's worth, Python doesn't actually use ISWIM's offside rule, as Haskell does; colons are involved.
Yeah, I could see someone have button to transmit hard braking on demand for tailgaters.
> With a laptop you don't have to assume that.

bed, right?

If you are coding in bed, well... I just don't know the ergonomics of that situation. I don't know if this requires further study or a prompt curtailment of that line of thought.
Except that cars have influenced the way we build towns and cities: separate everything by non-walkable, non-busable distances because the basic assumption is that everyone has a car.

Public transit "sucks" for a number of reasons, many of them car-related: (-) buses have to share roads with cars, so they have to put up with the congestion they are trying to solve, (-) money that would have been spent on public transit is being spent on road expansions to "solve traffic", and others.

> cars are the worst solution except for all the others.

This doesn't explain cities that have successful public transit systems...

We wouldn't have built our offices and homes so far from each other if the expectation was to walk/bike/bus everywhere.

Unfortunately this is a chicken-and-egg problem, where things may need to get worse temporarily for things to get better.
The economist is like NPR to me.

Awesome content, but if you read pay attention closely, you can basically write the story without reading, because you know what the answers will be.

The paper NYT and WSJ are a great way to go. You get clear editorial contrasts and lots of content. Science Times and other feature sections are always a treat.
Retsina seems to come with built-in geofencing for me: I like it when I drink it in Greece, and not when I bring it back home - even if I try to drink it in Greek weather and with similar food.
> It's intended to be nonpolitical

Nonpartisan, yes. Nonpolitical? Absolutely not. The reason for its foundation was (specifically) to campaign against a policy held dear by the government of the day, and (generally) to promote a specific politico-economic worldview, that of free market capitalism with a strong emphasis on cross-border trade. Sometimes this can make their positions appear a little more left-leaning than a classic US libertarian could stomach, such as supporting the existence of the EU, if not every one of its actions; and tending to prefer at least a light touch of regulation on the markets, so long as it keeps the wheels of international commerce turning smoothly. Also, they are at pains to separate their news reporting (usually impeccably balanced and impartial) from their opinion pieces. As an answer to OP's question, I would actually second the recommendation of The Economist as an excellent way to keep abreast of world events while cunningly sidestepping the hysteria and sensationalism of nearly all other media (yes, including most "serious newspapers" these days).

https://en.wikipedia.org/wiki/The_Economist#History
> you can get truly unlimited contracts in some places now

This makes it sound like this was not possible before. But e.g. my mobile provider Elisa never did have data caps in the first place, it's been unlimited since GPRS (and no weird tethering limits either).
German abbreviations work differently. You typically pick 2-3 significant syllables. "Nazi" comes from NAtionalsoZIalistische deutsche arbeiterpartei. Usual pattern is more like GEheime STAatsPOlizei = "Gestapo", which picks the first syllables of significant words.

As to the second point, in Germany at least Nazi refers to party members or close adherents like Neonazis. The catchall term is usually Faschisten (fascists). Americans use the term Nazi far more loosely, to the extent it has lost much of its descriptive value.
There’s a huge push at the US federal level to get fiber to the home in rural areas. 10s of billions in funding.

A lot of times it’s run by the electric companies (coops). They already have the right of way, pole access, and customer relationships.

There are dozens of utilities pursuing this, haven’t heard of any working with 5g.

There was a recent executive order restricting foreign equipment on the grid, and I suspect that’s going to make things harder for 5g.

I’m not saying 5g can’t be used in rural applications, just that it looks like fiber has a big head start. Now that there’s also more LEO satellite internet companies coming in with decent latency and bandwidth, that’s going to be another competitor to 5g in rural areas.
The original title is “Chinese hackers have pillaged Taiwan’s semiconductor industry”

Why was the HN title changed to add “(allegedly)”. Of course it is allegedly since such things are rarely proven, but HN generally sticks with original title.
I'm sorry I didn't analyze the source too hard before selecting. I'm only really familiar with Huawei's and Cisco's patent troubles (summarized on Wikipedia here: https://en.wikipedia.org/wiki/Criticism_of_Huawei#Cisco_pate...)
> you can add parens to function arguments if you want?

Of course. This "(x)" and this "x" are the same. You can put any expression inside parenthesis. Haskell also has tuples, that you write as "(a, b, c)" and can use as a function parameter.

There is even some functions in base for converting functions that receive a tuple into functions that receive many parameters and the other way around.
Many manufacturer demos tend to be soma variant of that: ie. replacing LXI or some kind of RT-ish fieldbus with 5G. I somehow fail to see any point in making such things wireless.
My worst customers pay the highest rates. I continually increase the bill until an equilibrium is reached between the aggravation they cause and the happiness from my increased profits.
iOS optimizes here too, by limiting how much CPU/IO background apps can use. It's frustrating to use Chromecast (for example) on iOS since it's always disconnecting from the receiver.
That's true, but it is also true no other single thing (other than sleep) in my life gets 40 hours/week from me. Not even my partner. That's simply a lot of time.

That being said, when I was working full time job, I didn't mind working extra hours sometimes if it seemed like it was a legitimate need and was respectfully asked of me, but I did expect an equal amount of time off afterwards.
Should you parallelize or serialize disk access in Node.js?
Ah, thank you, that's quite close to what I wanted. Ideally, it would be ran by a CA to work flawlessly with web browsers.

Even better if web browsers could display a message of their own, recognizing this IP address.
> I suspect that its omitted because of the use of contemporary language and attitudes to colonialism that would shock those of a twitter "pile on" persuasion.

https://en.wikipedia.org/wiki/Flashman_(novel) ? (I ask because it's from 1969, which I, perhaps wrongly, don't think of as terribly contemporary.)

> However unlike the vast majority of the novels mentioned, Flashman has a rich bibliography and good footnotes. This means that if you don't believe the story, you can check the first hand sources yourself.

Without meaning to deny the importance of a rich bibliography and good references, I would point out that you can (and ideally should) check sources yourself even if—especially if—the author hasn't identified them for you.
> In short: he's not saying security is bad. He's saying government spying isn't that bad IF the government can be trusted.

Which is a long way to say "security is bad because it might keep people safe who we don't want to be kept safe".
In Java, you can write an agent and intercept when the bytecode for a class is loaded by the JVM by the Class Loader.

ASM is just a bytecode reader/writer/visitor library that can then modify it. You could also just do it statically by having the bytecode you want injected ready to go in an array or resource.

if (className.equals("a/b/c/d$e"))
return fixedClassBytecode;
else
return bytecode;

It's possible to create custom loaders (e.g., loading a class from an encrypted zip-file, or one that creates custom bytecode on the fly) and things which are trying to obfuscate what they're doing will have custom loaders, but this is a choke point that every class that's read in and instantiated must pass through.
Thanks for the thoughtful treatment. It's absolutely a can of worms, with no obvious best answers.

The distinction (whether intended in Gates' source or of my own mind) I find interesting is between veracity and velocity.

Like you, I have enormous problems with deploying censorship to completely obliterate any type of thought from readable form. I see it as society's job to target the demand (the reader's desires and education), not the supply (the writer). If people want to start believing crackpots in large numbers, well, maybe society needs to look to its basic education systems...

That said, velocity is somewhat of a trickier matter.

As a thought exercise, what would the net effect be if Facebook implemented systems that resulted in misinformation being slowed? I.e. I share {link}, it takes x1.5 base time to propagate to my friends' feeds.

The information would still be available, and shared, but the viral velocity would also be reduced.

(Note: Of the available options, delay-only seems far preferable than anything else that could lead to a de facto shadowban)
The photos show a lot of cables stuck to walls. I’m surprised people are ok with this.

Every house I have lived in has done it too and it’s the first thing I rip out.

I see contractors (usually ISP installers) doing this inside and outside houses too and it irritates me.
UV, animals/insects, wind etc gets at them and water goes in the holes. The fixings that hold the cable rust/degrade and fall out.

Doing it right costs more and takes longer but I’m unsure if the cost is greater when you look back 5-10 years.

Maybe doing this is slightly more repairable if the place is a rental?
Ask HN: Good Codes to Start With
Hey I’m about to start coding, and I was wondering if y’all had any recommendations for any good coding books, apps, or free websites.
Maybe the computer can infer the types after you've written a correct program, but if you write down the types up front before you start the implementation, the computer will hold your hand while you implement.

It sounds like you haven't used something Hindley-Milner based - I'd recommend giving it a go, so that you can feel what it's like. Much as Typescript gives you incremental typing over JS, so too does type inference give you incremental static specification of the types over the fully inferred program. When you don't need to write down the types, the inference engine gets out of your way; when you want to use the types to constrain the possible programs you could be writing, the inference engine puts up the guardrails to stop you making mistakes.
Then you'll be wanting to look at https://news.ycombinator.com/item?id=23581841, if you didn't see it a couple months ago.
A Guide to Contiguous Data in Rust
Fuck off with your self-righteous second-guessing of what I like and what you think I've apparently only convinced myself I like. People like you are why I will be leaving tech in the next 2-3 years. Take your Messiah complex somewhere it's wanted, like a black hole.
The larger that fraction is -- 2 of 5, from the title, the more successful the lockdown was, because there is no upper limit on the denominator.
Just turn the notifications off.

I turn slack off (currently in office until notice period is up then remote) even when I'm at the office and I don't have a phone on my desk, if someone wants something so urgent it's worth distracting me they can physically come find me.
You say "of course... I'd have to learn one or more flavors/styles of it", and that seems like a reasonable assumption, but it's not accurate in practice - the extensions largely just add features, so you just turn them on if you're using that feature; there's not much of a separate style for coding around not using one. It's like, if your Java project used a Singleton class, you might feel a need to document it, but if it doesn't, it doesn't mean you have a separate "Singleton-less" style, you just didn't feel the need to use one.

Which isn't to say they're not an issue - Haskell really needs a new language standard to clean up that mess, but they don't really fragment the ecosystem the way that, say, the Python 2 vs 3 split did.
Dorking: the use of search engines to find very specific data
>I personally believe government should not allow those types of lies or fraud or child pornography [to be hidden with encryption like WhatsApp or Facebook Messenger].

So Gates is against encryption because of CP but flew on epsteins Lolita Express in 2013, years after Epstein was a convicted child molester. He also has numerous other connections to both Maxwell and Epstein.

I mean knowing what i know about him before his "billionare philantropist PR project" of rockerfellian dimensions i was already sceptical but this is getting out of hand.
Ha, thanks for letting me know :)
Military members have "no political statements" drilled into them. You will not get the Joint Chiefs or anyone else to make a statement that would be read as opposing the President, even on a matter as obvious as this. That's not aided by the fact that his party has a long-standing preference among the military in general -- far from universal, but it means that they are even less likely to want to break that injunction. They prefer to maintain a "neutral" position even though they know that their silence will be read as assent.
/It frankly sounds like he'd be on board with the EARN IT act./

"Infinite Retail Networks Invalidate Technology" can easily be achieved by segregating dot.com to its own "Internet/Network".

"Snowglobe or be snowglobed" is a better analogy than "everybody lives in a glass house except them".

ISH(water) and IRN(oil) don`t mix without constant agitation, so who better to add "business cycle" to archived knowledge and put a price on bits and bytes?
He says "lies" should not be allowed to be encrypted.

... yes ...

\sarcasm on

let's have some people decide what lies are, and once we define that, make it illegal to encrypt these lies,

teach a lesson to these lie-encrypting bastards
How malicious Tor relays are exploiting users in 2020
> I don't run antivirus on my microwave oven. There's no need.

Oh brother, I got some bad news for you. It's called the Mirai botnet.
previously: https://news.ycombinator.com/item?id=24082906
You do realize they literally bought monkeys, put them in cages, piped the exhaust from their "clean" diesel cars right into the cages to desperately try to justify their lies. This was a reactionary response and a last ditch effort to try to spin the story after they were caught cheating on the emission tests. These people are straight up psychopaths and deserve punishment.

Edit: Now I'm being downvoted, we live a society where companies do so devious acts that people sound crazy when they point them out. Yes, this sounds too heinous to be true, but the sad fact is that it is true, watch the documentary for full story: https://mobile.reuters.com/article/amp/idUSKBN1FI0VR
Gates really jumped the gun on this interview. Overly opinionated, judgmental, and paternalistic.

Listening to Gates talking about since makes the irony of it biting. Excel, the software designed under his watch keeps destroying scientific results, to the point gene names had to be renamed.

https://www.theverge.com/2020/8/6/21355674/human-genes-renam...

Not to mention how Windows did all possible to hamstring Linux for decades, setting back science for god knows how long.

thanks Bill.
I have to fix up the layout essentially manually every time I have to edit C in someone else's idea of correct layout when they haven't included C Mode rules for it. (That's assuming they want a consistent style for changes, of course.)

If simplicity of parsing, and cut-and-paste are important, we should be using Lisp, of course, but there are still different indentation styles.
It's wasted time on a large scale.

So is cooking, eating, sleeping, daydreaming...

I won't try to glorify a banal commute, but moving from place to place is pretty fundamental to living.
> Saudi Arabia and UAE also have high inequality

That's despite of their religiosity (to be more specific, against the teachings of Islam), not because of it.
Looks like it was an executive order, comment doesn't deserve downvotes.

https://www.npr.org/sections/health-shots/2019/06/24/7354323...