skysight-inc/HackerNews huggingface dataset:
Two questions for those with significant experience developing in F#:

1. Have you tried using JetBrain's Rider IDE for that and, if so, how deficient your experience was when compared to using Rider for C# development? If, alternatively, you have used VS Code for F# development, how much support is there - generally and when compared to Rider - in terms of both language features and external frameworks/libraries (Fable, etc.)?

2. Could you quantify both quality and productivity gains from developing a complex system in F# versus developing it in C#?
Unless the stalkers had access to law enforcement resources that doesn’t seem relevant.
Knuth talks about this jokingly in TAOCP not expecting someone would actually do it.

I looked at the screenshots and it's not obvious to me how they map back on to ternary. Like how do you have a hex editor when 16/3=5.333?
The increase in stopping distance from 30km/h to 40km/h is significant, more than 1-2 metres, and much of it is thinking/reacting time, i.e. still travelling at 40km/h. People are much more likely to survive an accident at a lower speed.

"The results from one of these studies is presented in figure 1, which shows a fatality risk of 1.5% at 20 mph [32km/h] versus 8% at 30 mph [48km/h]." [1] (in typically British fashion, the actual data is in km/h, but this general-public version of the document is presented with miles.)

The difference is even greater at the next gap (30mph→40mph, or 48km/h→64km/h). That was the subject of a road safety video a few years ago: [2]

[1] https://www.rospa.com/rospaweb/docs/advice-services/road-saf...

[2] https://www.youtube.com/watch?v=HeUX6LABCEA
It was on the front page earlier today, and still is.

Why bother stopping a bad habit? That takes effort. Much better to play Russian Roulette with mind altering substances.
https://www.theguardian.com/commentisfree/2016/aug/26/whatsa...

https://www.forbes.com/sites/briannawiest/2019/11/04/millenn...

https://bgr.com/2018/12/09/millennials-phone-calls-survey/

https://www.telegraph.co.uk/family/mobile-chat/why-millennia...

https://www.inc.com/john-brandon/why-millennials-dont-like-t...

https://www.stuff.co.nz/life-style/nz-life-leisure/110277251...

https://jeffjbutler.com/2019/04/02/why-millennials-dont-like...

https://www.bankmycell.com/blog/why-millennials-ignore-calls

https://medium.com/swlh/why-you-should-never-cold-call-a-mil...

Etc etc etc etc

I literally don't think I've been called unannounced by someone under 40 in a decade. In fact I think it's now something of a social faux pas to call unannounced. Maybe the people around your tables are just really rude?
Minorca and Sardinia give you a path that avoids other countries’ waters, it seems (https://www.researchgate.net/figure/The-Hypothetical-200nm-l...)
You're exactly right. Not sure why you're downvoted. Not only is the F-35 a giant lemon, but US defense spending should be cut considerably.

The world is changing, air combat is changing, and the F-35 addresses none of those changes. The F-35 is nothing more than an expensive boondoggle. It's purpose, like most DoD spending, is to transfer money from public coffers into the hands of well connected private companies.
Sure. I think there are some pretty deep parallels.

The company had been really successful. That makes it easy to trust the leadership and believe they know best.

If you’re changing the world and doing the best work of your life, maybe that’s worth making sacrifices for (overtime or whatever).

On the bright side, I’m not sure there’s any equivalent of the malevolent, sexually abusive stuff we see in cults. Hard to complain about being a well-paid engineer with good benefits, etc.
You could have said that 4 years ago too
Throughout much of the world today, young and old alike communicate through Whatsapp, not the public telephone system.
Provide clear mandates and then structurally separate organizations that should exist indefinitely from most interference by elected officials. Some of the most effective institutions of the US Government are the ones that were deliberately structured to be self-organizing, the military, the federal reserve system, and (until recently) the postal service.
> I work in a fear-based culture right now

That sucks. I have been there. Awful. For me, the silver lining is that I no longer ignore stinky red flags
Anecdata of course but most of the people on my Facebook feed who constantly post status updates are not the most mentally healthy. In fact a lot of them write about their mental health struggles in these statuses. Which I suppose is good in their transparency and openness but I'm not sure the act of posting is helping. In fact I find it deeply narcissistic.
https://github.com/openworm/OpenWorm/milestone/22

This is an attempt to model the behavior of a 1mm worm with 302 neurons. The idea that we are going to jump from failing at this to succeeding at something comparable to human intelligence is pretty far fetched.
Which ought not to matter if you use a CDN and use basic source-IP based rate limiting.
> annotating your UI to the point where it can serve as the API as well

At that point you might as well serve XML and use an XSLT transform (+ CSS) to render the view on the client (yes, this is still possible without JavaScript).
Thanks for the data.
Please invest in my new startup - we provide an app that recommends LSD microdoses to address your milliphone exposure count.
Glad to hear that it works nicely :) (I am one of contributors to that software)

> The only problem is that there seems to be not a lot of community coordination, so I'm not sure which data types I should focus on.

So you want to know how data contributed with SC is actually used? Address data and road names are obviously heavily used, surface data is used for routing, opening hours is shown in multiple places showing shop data from OSM.

https://github.com/streetcomplete/StreetComplete/blob/master... has list of quests in terms of their priority with some mentions in comments with some examples this data is used.
Is having a second phone number and telling people when to contact you using it really easier than just... not looking at your primary phone?
Registers don't have endianness. Memory does.
F-35's have been depicted in numerous Hollywood movies already, though it seems not always in the most positive light. To get an actual F-35 filmed for a movie would probably require the cooperation of the US military though, so probably the next time a sufficiently aggrandizing American war movie calls for one? The US military has helped out Hollywood like this many times before, if they think the movie shows them in a good light.

https://www.latimes.com/archives/la-xpm-2011-aug-21-la-ca-mi...

https://nationalinterest.org/blog/buzz/why-f-35-stealth-figh...
I'm a little perplexed by the "marketing" around this --- all the archivers I know of don't require more memory than the compression state (which AFAIK for ZIP/deflate is not much more than a 64k window), since it is natural that files can be larger than available RAM.
This is just bizarre. There is no use for Bitcoin except Bitcoin. It's just runaway speculation.
> Your online and offline behavior gets more integrated and you don’t know what you did in the digital reality or the material reality.

Not sure if it's just me, but this is getting very hard to separate during quarantine. I often remember conversations that happened over text as having happened in person. Perhaps my mind is accounting for the lack of face-to-face interaction.
Compared to games today, books normally aren't developed with individually profiled feedback loops and tenfold teams with psychologists and behaviorists trying to optimize them.
It could be a moving or cyclical target.

Once the collective subconscious comes to consensus that a particular design is what looks 'cool', then it opens up a niche for someone to come in and do something 'ugly' as a demonstration of power. It's like saying, "this is so much better that we don't even care what you think about its appearance."

I think the Cybertruck is attempting to do exactly this to wedge itself into the 'badass' American pickup truck market. "Oh that's a cute little F-150 with all it's smooth curves. Does the paint job match your nail polish?"

Those without power will always look for new niches and edges to leverage their way into power. That often comes from just mentally reframing what you decide is valuable, because the market for traditionally valuable things is already too crowded.

Note; I'm not really giving a moral judgement or approval of this kind of machismo mentality. Just doing some armchair psychology.
ESXi is VMware's 'bare-metal' hypervisor. I'm not sure what VirtualBox uses, but I doubt it's ESXi, unless Oracle wants lawsuits (oh, wait...nevermind; they love them.)
Yes, but LSD is only effective when coupled with fasting.
He was deliberately trying to make people harm themselves. He wanted people getting the vaccine to get sick instead. When you can prove intent with statements like his, it does matter.

Granted, he may escape prison due to incompetence to stand trial.
I think you're making all sorts of assumptions and extrapolations here that I'm not really seeing any hints of. What I see is that someone is responsible for dealing with CVEs, judges its severity as they come in, and concludes that a lot of them are just cruft and not really worthy of a CVE as such. Nothing more, nothing less.
Getting everyone onboard would be tough, some have tried and failed like osvdb. It requires funding and passionate folks to run it. I think what we could do is spin the cve arm of mitre off into a non profit, and asked all major companies who want to be on the board to chip in and support it. This could have challenges too that would need to be addressed.
Most video call software will show your own webcam stream flipped horizontally to make it feel like a mirror, but others will see it correctly.
Just compatiblity. I was Linux for a long while for work and gaming. Constant compatibility and hardware issues.

Even something like Zoom worked like shit on Linux half the time. Or was missing features.

Audio/Video hardware had issues too. Something as simple as a webcam became this giant problem. Configuring mice and keyboards was a nightmare.

This is a lot to do with companies not supporting Linux and having to use community created reverse-engineered stuff, so it's not all Linux's fault, but at the same time, it just became a pain in the ass to maintain and fix constantly.

Also games, as much as Steam/Photon/Wine have improved, there are just some things that don't work.

So, I switched back to Windows, and even if I prefer linux, I just can't have it as my daily driver. so WSL2 is great for me.
My thermal camera[0] is 30Hz, which I assume is 30 FPS, and I'm a civilian.

[0]: https://www.bhphotovideo.com/c/product/1194041-REG/flir_431_...
I always found Charlieplexing[1] an interesting real-world use of tri-state logic.

[1] https://en.wikipedia.org/wiki/Charlieplexing
Might want to rethink your business model, unless you can get around the Apple store guidelines forbidding encouragement of drug use[0]

I'm afraid it's a pass from me on investment. ;)

[0] https://news.ycombinator.com/item?id=25605880
> Assuming the technology is safe, this will be a major game changer for society.

Will it really? 4G reaches 70 Mbps, how do you think that'll change society when we now can have a whole ~600 Mpbs? My guess is, people will stream videos faster, but that's about it.
The new Citroen Ami is a car for 14-year-olds
I'm lucky that I didn't have issues like that. For me, it was just entertainment, nothing too detrimental. But maybe if I had a computer in my pocket, it would have been different.
Every list is a list of "all known things" unless the author intentionally left something off it. It doesn't mean the author knows about all of the platforms; only that they listed all the platforms they know of. As such, it's not a very useful description.
If he was a third rate chemists there's no way he would invent PCR, even if it seems obvious after the fact and with current automation. He wasn't just at the right place at the right time; unless you want to credit it to aliens that he claims to have met.
Microsoft should come out with a new Linux distro. That would have been easier than developing WSL.
What is the purpose of misrepresenting a comment?

If it makes it clearer, suppose the market value of the assets you own increases from $10M to $15M in a year. How would you tax this? Do you start forcing people to sell? What if the asset they own isn’t publicly traded, for example land, or privately owned companies?

It’s not a “gotcha I’m against increasing taxes on wealthier people statement”. It’s a legitimate question on how to operate society when do much of the wealth is simply from increasing asset prices and decreasing currency values.
Yeah, it didn't help anything. But I don't have to invoke QFT and EM to explain why:

1) He's saying the light moves the electrons and the electrons set up a 2nd wave that interferes with the original to produce a lower frequency. That's simple enough. But then he says the lower frequency wave travels slower. Eh, what? We are try to explain is why light travels slower? Ergo, you can use "because it travels slower" in your explanation.

2) That said, the lower frequency does travel slower because light gets split into a spectrum by the glass prism. To me it seems a satisfying answer would not only explain why it got slower, but why slowdown depends on frequency.
It became a point of civic religion to believe that the virus was catastrophically dangerous. Disagreement was not just mistaken but evil.
New Data Supports the Modified Gravity Explanation for Dark Matter
"If the dark matter model is correct, the distribution of nearby galaxies should not affect the rotation curve. If MoND is correct, the distribution and resulting external field effect (EFE) should affect the curves.

Surprisingly, shockingly even, their study found a clear effect. In galaxies with the strongest external fields, the EFE was confirmed with a confidence of 8 to 11 sigma"
When you're 36, you're not really the same person you were at 19.

(hopefully)
My TLDR: happy daily driver terminal emulator, nice project community, possible acme-like mouse features.
Not exactly. There are penty of aerodynamic limitations outside of the pilot. Aircraft might be able to pull a few more gs in some very contrived circumstances, but a pilotless fighter would not be an aerodynamic superman. for instance: Stall/flow separation speeds at paticular wing loadings are often well below the pilot's physical G limitations.
Show HN: Build your own programming language in C++
> Where does OSM provide value here and how can it beat GMaps in mindshare and keep suriving?

OSM data is on open license, so you can take it and adapt for your own use.

In case of errors you can fix it instead of begging Google t do this.

In some places and for some types of data it is much better than Google Maps.

Google is sole entity controlling Google Maps and may suddenly do 1400% price hike (they did one already).

If you want to do anything with data - with OSM you can, with Google not.

----

BTW, it is not necessary to beat GMaps in mindshare to flourish and grow.
I'm all for having Super Tucanos available for cheap counterinsurgency operations, but let's be real — they are not a strategic deterrent to Russia or China, and that matters.

Certainly we should not be blowing up pickup trucks with F-35s and F-22s, but we absolutely do need stealthy fast smart planes available in a pinch.
Phone addiction is just a collective word for it, and while not technically correct, it's a practical choice that a majority of people understand.
Interesting. For all the issues listed, the one thing I did not see mentioned is the effect on long term memory. I wonder if it is simply discarded in the way discard the fact that we used to, out of necessity, remember phone numbers and now we do not and thus considered just a cultural change.

Then again, having near constant access to almost all human knowledge can render a man rather unwilling to retain information.
The correct answer here: use the same editor in the entire suite, everywhere. Give the user a setting to decide if they want that editor to be WYSIWYG, or markdown.

In my personal opinion, Atlassian's rich text editor (or, seemingly, the 4-6 different one's you guys have built) is unforgivably terrible, so true markdown is the way to go if having both isn't an option.
I basically discourage addiction by making things “difficult” for myself on my phone:

- Minimal web bookmarks (i.e. I have to type in most web sites I want to visit; this is just enough of an encumbrance that I won’t flip open things like Reddit every 30 seconds).

- I never install apps meant for content consumption, I use their web sites. (This is usually a better experience anyway, since the vast majority of them are somehow worse than their web sites, packed with ads/notifications/spying/crap that no one should want anyway.)

- Certain web sites I refuse to use at all on mobile. This gives me a much larger and more useful view anyway, and I can enforce sanity with a lot more plug-ins that way.

- As of latest iOS, I shove most apps into the Library so they are not even on my home screen. That way, they are straightforward to retrieve with a swipe-down search but not as easy as just tapping them open. I find that I use them slightly less this way.

- I turn off many notifications, since app-makers have long abused them anyway (as virtual ads, or designed in some way to suck people back into their apps for no reason; I drew the line when apps started outright lying about things, e.g. red dots implying messages that were not actually there, etc.).

- I set it up so that my lock screen will not show most things without an extra step.
I'm doing https://www.udemy.com/share/101WeuA0EbdFZbR3w=/
> I want to remind that, parallel sysV-init was pretty fast machinery and was very manageable.

That does nothing for the fact that SysV init was a pile of shell scripts inconsistent across distros and even individual packages. I'd take systemd's declarative, portable service definitions any day over that mess.

SysV init did not take care of consolekit being an unmaintained mess either. systemd did.

Besides, systemd can recognize that I had plugged in a specific kind of device that needs this sort of setup and do that for me automatically. Hence the 'manager' part. None of its supposed 'competitors' can do that themselves.

> Kernel doesn't breach this principle either. It provides an interface between the hardware and software & lives in its own space; that's it.

I don't know, eBPF for example is an entire complex beast of its own that could be argued to violate that, well beyond what's 'required'.

If you take the view that as long as the system has a single defined job, (interfaces to hardware and exposes APIs to userspace for the kernel), systemd does have a definition like that too. It manages the system's dynamic resources during its lifetime. That's a 'single' job. It's not if you decompose it, but the kernel is in a similar situation at that point.

> When systemd overtakes a part of the system with its module, it's very hard to discover it.

systemd does not do that, sounds like you're blaming bad distro defaults (optional components being enabled by default) on systemd.
Org mode rocks :) Yes I would do that approach in most instances, what Medium brings to the table is SEO rankings and an audience.

I know that Medium gets a bad rap for poor quality developer blogs, but honestly I love the writing experience - apart from syntax highlighting - it lets me churn out 2000 word posts with pleasure. But maybe it just suits me well.

I usually create a pdf or free summary and host on GitHub if my blog post is good enough to add long term value to the community. Eg: https://github.com/ashok-khanna/common-lisp-by-example

There doesn’t seem to be a Medium equivalent for programming blogs? I would drool over having the style of raywenderlich.com for non iOS / Swift blogs
>I can't help but think that it will be hard to keep a plane flying at mach 1 hidden in the face of fast scanning and networked phased array radars with modern deep learning based detection algorithms.

Yes a sophisticated network of radars, sensors, and computers could potentially detect lower RCS aircraft from further away. But that problem would exist for larger RCS aircraft as well. Such a system is a prime target for first hour strike by cruise missiles as the radars required are very large and power intensive. It's not just about detection, but also being able to acquire a firing solution. A lower RCS plane is harder to track, easier to hide with jamming, and ultimately much more of a headache than a higher RCS plane.

>My understanding is that if you take away the stealth aspect the F-35 is a sluggish fighter bomber that would be outperformed by most 4th gens.

F35's performance is superior to the planes it replaces while providing both greater range and payload. It's got very high AoA capabilities which only the F-22 can surpass. Even more impressively it is able to do maneuvers which other plans cannot do without thrust vectoring.[0]

>Considering an F-35 is nearly the price of 10 4th gen fighters the choice to "upgrade" becomes pretty suspect for a lot of Nato partners.

Wrong. Lot 14 F-35A's cost $78M.[1] That's less than new Eurofighters and Dassault Rafale.

The F35 is the best thing currently in production. That's not to say it's perfect. The F-35's biggest flaws are not that of maneuverability or insufficient stealth. But of range. Despite improving on the airframes which it is replacing in range, it is not enough given the realities of Chinese A2/AD capabilities. The USAF needs a new fighter which is capable of significantly greater ranges as to not over stretch it's tanker network. The NGAD program hopes to address this.

[0]: https://www.youtube.com/watch?v=5-APFmIGo1k
[1]: https://www.defensenews.com/air/2019/10/29/in-newly-inked-de...
The take-away from this is if a vendor doesn't provide a good changelog, it's fair to assume they're trying to cover up incompetence (or some other shortcoming).

With good automated testing, a bug recurring should be extremely rare. A piece of the software that constantly has bugs is a sign there's high technical debt that needs to be addressed. New features consistently not working could be a sign of a problem in the team/org itself (not the right people, enough people, or enough time allocated).

Even with all the best practices, big faults will make it through sometimes -- that's just the nature of most software dev. I think the best way to handle them is be transparent, but also be specific. "Fix bug where entire database can be corrupted" will cause you a lot of grief (rightfully so). Something like "Fix critical data corruption bug when saving a record containing specific trailing unicode characters on systems with libzip 1.3.3 or earlier installed" is much better and helps reinforce that:

1. You have thoroughly investigated the problem

2. The scope of problem is limited, and doesn't affect all customers (even though it could be most)

3. It's understandable how such a bad bug could happen and why testing didn't catch it
https://www.vanityfair.com/news/2020/05/trump-obama-coronavi...

This article is also a nice microcosm of the whole American situation
I really liked the purpose of this series. I believe that anyone who is interested in Game Development (like me) in general will take advantage of what's to come.
That 30% is very much on the high side, and would only be true on something like a single-engine fighter.

Initial flight envelope requirements are often drafted to be the maximum a pilot can take, but there are other considerations. Designing an airframe that can handle a 20G turn will actually make it less maneuverable overall, as it requires a heavier structure. Fighter design is a delicate balancing act.
“Probably.” Assume much?
The contradiction is in being against both self-segragation and gentrification.