skysight-inc/HackerNews huggingface dataset:
Not a meaningful comparison.

Open source software has indeed been successful in the presence of closed source software.

However this is not true for films or books. Thus the fact that OSS is successful today is not evidence that books and films will be successful without copyright protection. It’s not evidence they won’t either. Thus it is not a meaningful comparison.

The economics of open source software and fiction books or film are wildly different.
Why does my element not align properly? The box-sizing problem – DEV
The article lists a few specific pitfalls. I don't think this justifies the claim that "it is a meaningfully distinct kind of type safety": newtype-based approaches may have further pitfalls that ground-up construction approaches do not, but ground-up construction approaches do still have pitfalls.

To get more specific:

* Safety holes of this sort are remarkably uncommon in practice, in my experience.

* Modules should be small and easily understood. If maintaining a module's invariants becomes too complex then you can, and should, recursively apply the same techniques within the module, breaking it up into smaller modules. This is good development practice anyway, as is periodic refactoring. So these cautions are a lot less costly than they sound; in fact the cost may well be zero.

* You need to resist the temptation to add unsafe trapdoors in any other approach as well; this simply isn't a disadvantage that's in any way specific to using newtypes.
Hoping they release a 6 or 8gb model, 4gb might be somewhat tight for some office environments.
The really really frustrating part is that a good alternative existed.

It was know as Google+, allowed people to post under different topics from the same account and also create multiple pseudonyms that one could easily switch between.

Besides, for some reason the most annoying people from Twitter and Facebook never "got it" so it was mostly just photographers, electronic enthusiasts, Linux people and gardeners (at least that was my bubble).

Edit: also frustrating: for some reason the focus of Mastodon and ActivityPub seems to be on Twitter-style interactions, at least that was my impression last I checked.
That’s one valid location, but since other subsets of the same set of descriptors exist, the hyphen could equally go anywhere. Or nowhere. Hence my annotation of explanatory inadequacy.
Ask HN: How to Get Better at Debugging?
I think it is the main thing that holds me back as a developer is that I take too long to debug problems. As it is a large part of my job I would like to get better at it.

I have tried
* Rubber Ducking - Explaining the problem to your rubber duck
* Invert Thinking - What do I think is true about this system that might be incorrect

These techniques have helped me greatly but I was just wondering if anyone had any other tips or perhaps a chapter of a book they could point me to that would be beneficial
You can also benefit from the cloud while still avoid putting all your eggs in one basket.

A few years ago I was happy to have all my life on Google because it's was so integrated, but recently because of (1) privacy issues are (2) risks of being banned arbitrarily, I decided to reduce my exposure to Google.

So my email is Protonmail, my browser is Firefox and my search engine is Duckduckgo. I'm still looking for alternative for my calendar and files hosting. I might shell out a pro Dropbox account.

What might be harder is Android and Play Services. I don't like the iPhone, and I don't want to bother with de-googlized custom ROMs either.
Ball-point pens are fairly useless too, When you're a lefty uou push the pen rather than dragging it so it clogs up. Gel-ink pens has made my life so much better.
Comments for this page go back to 2015. What is this random dodgy website? Just go to winamp.com.

Though, I see the version on offer at the official website is still the 5.8 beta. Same build I've been running for at least a year.
What was Professor Weber's beef with Einstein?
Headless CMS in Flutter
This site/app claims to allow you to tag people using various Corona-warn-apps, by their unique code.
I always assumed, since they're using the Google/Apple exposure notification API, these unique codes changed every 10-20 mins, as also stated by Google on: https://www.google.com/covid19/exposurenotifications/
That and it's google, will [insert service here] exist in 10 years time?
It's still more work and risk of messing it up than using a cloud service.
Again, you are conflating newtypes per se with approaches using newtype as part of an overall abstraction and interface design including constructor hiding. The post makes this quite clear and the author and others have pointed out this distinction to you multiple times here. Just because you made an inference and argued against it doesn't mean the article was making such an implication.

Your second point is certainly arguable and does represent a substantive disagreement with the post unlike your first comment. I think the post makes a solid case that gratuitous use of newtype absent any abstraction boundary is an anti-pattern that provides little benefit if conversions are done ad hoc.
Sprinkling on some newtype can certainly help some cases, but the post encourages critical thinking about these issues and explores where this reasoning falls down. If your claim is that critical thinking gets in the way of cargo-culting approaches that lead to "nominal" type safety then you would be right. Your last parenthetical doesn't seem like a reasonable response of someone who has read and understood this post. The post specifically encourages the use of newtype with abstraction boundaries where practical and works through an example.
Not sure about that, but there are lots of portable monitors that have HDMI input that should work fine; eg: https://www.amazon.com/Portable-Monitor-Display-Speakers-Inc... (Not a recomendation and I haven't tried this one).
Under GDPR right to access your own data (in Europe), you could sue over Google's refusal to honour your data rights. Your request to use data rights can be made through any means, including social media message funnily enough!

You can privately litigate breaches of GDPR, and I imagine the court would be keen to award you costs when the judge discovers the kafka-esque situation going down. Oh, and ensuring you receive your takeout as they are legally required to give.

Not sure if there's grounds for loss, as the terms and conditions are pretty tightly wrapped to say they can block you at any time and you're fine with that... Not to say that should be allowed either!
The blog's style appears deliberate. I doubt you and I are his target audience, though.

Check out this exchange: https://www.reddit.com/r/juststart/comments/jl02ba/useless_i...
My fiber optical modem broadcasts a poem via ethernet frame 0x8300
2020 Startup Mordernizes CV
Yeah, I’m not denigrating the live map. It’s great, and while it seems it’ll be a while until I can test it out in real time (thanks, COVID), the design looks fantastic to me.
Thanks for this post. Bought a Lamy several years ago and never crossed my mind it could be counterfeit. It felt so scratchy when writing that eventually I just gave up on it. Now when I compare it to the fake one from the images in the post above, it has all the telltale signs.
Ah ha, someone with the same experience as me. My degree is in Graphic Design, but I immediately ditched the idea of using it after university and took up programming instead because everyone has a fucking opinion when it comes to design.
From the article: But a lot of people on the Clinton campaign tricked themselves into the idea that they didn’t have to placate the social views of racist white people.

This seems like a pretty important insight and I really wish the interview could have unpacked this a lot better. It seems to be an operating assumption of the Democratic campaign, and I imagine if one is locked into this view (by implacable statistical analysis), then it would be really difficult to hear any other concern as anything but dog-whistling racism. While Shor did somewhat outline his thinking, it would be nice to be able to follow this trail to see why, exactly

From the article: There’s a paper by the political scientist David Broockman that made this point really famous — that “moderate” voters don’t have moderate views, just ideologically inconsistent ones.

The words a paper in that quote links not to the paper itself, but to a Vox interview, from which all links are to a draft paper that 404. I would like to read this paper for myself, but apparently it has been withdrawn

I wonder if David Shor is quick to cite papers that support his preconceptions, rather than let the quality of the papers lead him to conclusions? This is why I would like to actually see the results of these polls and such for his first assertion.
More discussion here: https://news.ycombinator.com/item?id=24965614
Privacy addresses rely on SLAAC, which requires /64s, which means you have a 2^64 space to pick random addresses from. I'd expect collisions to be rare up to about the square root of that (essentially this is a birthday attack), i.e. 2^32 active IPs.

NDP actually uses multicast, so your switches can filter out some of the NDP traffic so that only devices with IPs that share the last 24 bits will receive the NDP query. That should make it possible to scale a subnet to a substantially larger size than would be reasonable on v4.

If you're using a /112 then you're not using SLAAC, and therefore aren't using privacy extensions. DHCPv6 does have an option for assigning temporary addresses, in which case the DHCPv6 server is responsible for avoiding collisions as usual... but really you shouldn't be using /112s. If you are then someone is screwing up somewhere.

There are a few advantages to using /64 as the subnet size: it makes it possible to generate a unique address directly from your EUI-64 address, it's used to help prevent L2 MITM attacks via SEND, and it makes it difficult to exhaustively scan a network to look for active hosts, which shuts down network scanning as a viable technique for spreading malware.

There also shouldn't be a need to dedicate more than 64 bits to the network side of the address. There are ~330 million /64s available... per person on the planet. Does it really need to be larger? And that's just in 2000::/3 as well; if we do in fact run out of space then we can restart allocations using a tighter allocation policy in one of the five other untouched /3s we have available.
Apple Expects It Will Lose $700M (1996)
I got this one: https://aliexpress.com/item/4000917130635.html

They are also available on Amazon under a bunch of different brands, e.g. https://www.amazon.com/LENCENT-1080p60fps-Definition-Acquisi...

It's recognized as UVC (USB Video Class) device. Can't say for sure if Chrome OS can handle those.
Dependent types don't provide any safety over smart constructors for parsing, which is the most common use case for types with restricted values. Validating user input, parsing emails or URLs, etc. all must deal with an invalid case at runtime, and dependent types are of no use there.
> impossible to compete with.

That's already true. Look at how Google is banning accounts without recourse. Or how Twitter and Facebook are censoring personal and public discourse to push their political agenda. Why are they able to do so? Because it is already impossible to compete with them.

I second the idea of declaring them as public utilities.
tbh not all people can run their own infrastructure (let alone manage/maintain it). I'm not sure about you but most non-techie people I know rely on online services to keep their data safe. some (maybe) have a USB drive to keep a copy.

talking about the setup I'm a bit more flexible in some regards to save bandwidth

Cloud/data storage/services

XCP-NG + NextCloud + 3TB NAS (24/7) -local
mail server+ Dynamic DNS on VPS (for mail - local sync)-online
a few small VM's for various services-local

Archiving/Backup:

40TB archive NAS for daily backups of all stuff that I keep online+offline including phones,tablets, etc

Video/Audio content:

local private copies + shared though youtube (as alternatives for content blocked on youtube I use RuTube or Youku)

Edit: Forgot about the off-site backup (different country 40TB NAS as offsite mirror)
What are the physical dimensions? I'd like to know how it compares to an 11" MacBook Air for portability.
Samy Kamkar – Nat Slipstreaming
Show HN: New release of PTerm [v0.10.1] – Pretty print everything in Golang
Not really, and hasn't been for a while, assuming your hosting your code on GitHub or GitLab. Both offer a service that is comparable to Travis, and are much better backed at this point after the acquisition of Travis and gutting of their staff.

The only thing I sometimes miss from Travis was the ability to run "debug" builds, but most of the time this was necessarily only because of how omnibus their VMs were and oddities of pathing.
Silicon Valley as a culture is dead
Seconding the post. The post focuses on strace & friends in the Linux/Mac world; for Windows, a powerful tool to look into is Event Tracing for Windows, which lets you trace events, syscalls and performance counters for everything that's running. I.e. a global trace of all (or at least most) processes.

Two main tools to look into are xperf, the cmdline tool for configuring and running trace sessions, and Windows Performance Analyzer, a GUI app for exploring recorded traces (additionally, there's Windows Performance Recorder, which seems to be an official GUI for xperf, but I haven't used it myself yet).

This is essentially a superpower that's even less known than strace is by Linux devs. I've only learned the basics quite recently, and already used it to debug two hairy issues in few hours, that have already taken a man-month worth of time and would likely take another one. Being able to explore the recordings of the process tree evolution, see all file IO operations, their times and targets and relation to everything else happening in the system, all in both visual and tabular form - it gives you a perspective you otherwise can't get.

(An unfortunate side effect is that the tough bugs, like multiprocess race conditions or silent crashes, all seem to be directed my way nowadays.)

Unfortunately, xperf and WPA don't come pre-installed in most Windows distributions; the fastest way to get them is through UIforETW[0] - Google's UI for xperf that can automatically locate and install the correct version of Windows Performance Toolkit[1].

Bruce Dawson (of Google Chrome fame) wrote a lot about advanced usage of this tooling, see: https://randomascii.wordpress.com/2015/09/24/etw-central/.

--

[0] - https://github.com/google/UIforETW/releases - fetch the newest .zip package with binaries.

[1] - Alternative approach, if you need xperf on a computer with no Internet access (happened to me the other day with a customer's VM), you need to download the Windows SDK ISO (e.g. https://developer.microsoft.com/en-us/windows/downloads/wind...), mount it, and grab the Windows Performance Toolkit installer from the mounted image.
On board of what? Farmers were never in the energy business, why do they need to get into it now.
I looked like an idiot trying to find a power button for a meeting a few weeks back. Literally stood there feeling up the TV for a good few minutes.

I'm a 28 yr old software developer.
That's pretty neat.

It's interesting that the frame rate in Firefox seems to be at least more than double than what I get in Chrome. It's always nice to see Firefox beat the competition. Great work Firefox team!
> Education is a state subject in India

This is not true anymore. Education used to be a state subject but it is now in concurrent list; which means the union govt. has a say in education. That's how the union govt. was able to mandate three language formula in New Education Policy 2020.

[1] https://en.wikipedia.org/wiki/Concurrent_List
The British PM just had to tell a major media journalist to unmute during the press conference introducing the new quasi-lockdown, so I think we can safely say that Mute button and status is no longer a power-user feature ;)
Yes. But the free market is not magic nor perfectly efficient in short term reality, and there are many factors at play. Consider: after 9/11, or after covid, terrorism and pandemic insurance policies rose in price significantly.

The actual risk of these events is not higher just because a particularly notable event just happened - but the price still rose because of psychology. Lots of people wanted insurance from major events that were in their psyche and companies all rose prices and pocketed pure profit because they could.

Some insurance agencies in the UK have been driven bankrupt by Corona: they didn't have an accurate model of the risk. This kind of event is how a market would correct itself: insurers losing money until they leave the market or raise prices. It takes a really long time
There is another unfinished one in Edinburgh on Calton Hill:

https://en.wikipedia.org/wiki/National_Monument_of_Scotland
Maybe when the charging speeds are in the megawatt range (equivalent of pumping gas).
US spent 6.4 TRILLION in the Middle East on wars. None of that was ever “to avoid WWIII”.

It cost every working American 42,000 USD. These wars cost the lives of almost 1 mio people and 21 mio were displaced. [0]

Do you honestly believe this was for the good of the world and necessary to prevent WWIII? I am not even suggesting something like “why don’t you spend all that budget on a better health care system, free education and racial equality” because I know that would just push blood pressure. But I know that you won’t worry so much about these insane spendings - because your children and grand-children will have to pay back all the debt these irresponsible arguments accumulated. So smart your generation has been!

WWII was a consequence of WWI. Germans are pretty chill these days and complain about increasing military budgets. So who should ever want to start WWIII???

And just for the sake of completing an argument: you do know, that Europe is now taking financial responsibility and giving shelter to those people in the Middle East whose livelihoods were destroyed, right? The refugee crisis is not “a natural occurrence”. Europe learned its lesson and prefers spending money on helping others rather than showcasing military strength and gadgets.

[0]
https://www.cnbc.com/2019/11/20/us-spent-6point4-trillion-on...
I remember a left-handed teaching assistant with extremely consistent/neat handwriting; she solved this problem by rotating the page 90deg counter-clockwise, writing 'bottom-to-top' rather than left-to-right, and 'down' the page to the right.

I've never seen anyone else do that, but it certainly worked. Though I remember wondering why not rotate it the other way, so 'down' becomes left and hand wouldn't pass over the previous line either.
lol, no -- but one could imagine splitting up stem cells to grow new humans
That GPIO port looks so much like the old C64 cartridge port: https://en.wikipedia.org/wiki/Commodore_64#/media/File:Commo...

Wouldn't it be fun to ship cartridge games again?
It should be noted that the -- to use the terminology of the article -- extrinsically safe example module Data.List.NonEmpty.Newtype can be converted into an intrinsically safe one by changing the definition of the NonEmpty type from

newtype NonEmpty a = NonEmpty [a]

to:

newtype NonEmpty a = NonEmpty (a, [a])

(and changing the associated functions accordingly -- which can now be implemented without the use of error).

EDIT: Upon further thought, I'm not sure the above distinction makes sense. The implementation of e.g. Data.List.NonEmpty.Newtype.head would still involve the use of "error" through the use of Data.List.head:

head :: NonEmpty a -> a
head (NonEmpty (x, [])) = x
head (NonEmpty (_, lst)) = Data.List.head lst
No, it's not. But it's far more prevalent and organized on the right. There was a recent study (which was posted on HN a week or two ago) in direct reply to this essay demonstrating an asymmetry in conspiratorial thinking: https://onlinelibrary.wiley.com/doi/full/10.1111/pops.12681

> Results reveal that conservatives in the United States were not only more likely than liberals to endorse specific conspiracy theories, but they were also more likely to espouse conspiratorial worldviews in general (r = .27, 95% CI: .24, .30). Importantly, extreme conservatives were significantly more likely to engage in conspiratorial thinking than extreme liberals (Hedges' g = .77, SE = .07, p < .001).

Also that's a bit of a straw man representation. Compromised, sure, but full on sleeper agent is a fringe belief at best.
Researchers have discovered the “quantum dilation of time”
The notion that loneliness is the biggest distraction is a revelation to me. I have worked from home for 12years but didn't recognise this as an issue I face until now.

Sometimes I just crave talking with someone about what I am working on. If I am designing something I can't just call the people that do fabrication on my team because they are busy working on the last thing I designed. We're so asynch and efficient that I hardly ever talk with anyone about my task at hand so I spend a lot of time staring at the wall above my screen, second-guessing myself because I can't thrash out decisions with another mind.

Then I end up browsing HN for a distracting but familiar endorphin hit....
I don't know why everyone is so tense in here :D I am planning to write a series of posts about concurrency (not because I am an expert but I want to improve myself by this way), including the executor framework, completable futures, locks and synchronisation. Obviously it is not possible to go into details of all in a single post. For one who knows operating system level details, and new to java I thing this is where you start, simply with Thread API. Even if you are using high-level abstraction this is these are basics to know. It is quite popular in the job interviews. And also it is quite common for people uses the Executor framework daily but does not know how to properly stop a thread, or non-daemon threads etc.
Build a Collaborative Chatbot with Google Sheets and TensorFlow
Sound-free, loving-kindness meditation app
This link no longer points to an article with that title.
Try the Pi4 Compute Module IO board

https://www.raspberrypi.org/products/compute-module-4-io-boa...
I know what you mean to some extent. I feel hooks are very powerful but I think they are only a refinement on a fundamental problem which is handling reactivity in your view layer is always going to have issues. I would guess you kind of hit on something similar by having your localized Redux states.

Something I'm looking at right now is Effector. It encourages many smaller stores and allows for handling of effects quite easily. The smaller individual stores avoid the performance issues that people bring up often with Redux and I feel the API is more fluent, avoiding some of those boilerplate concerns, some of which are admittedly addressed by Redux Toolkit.

I'm not sure how my time with Effector is going to play out but I suspect it is at least the right idea. I wouldn't be surprised if a similar library came out that was embraced more by the community
Doesn't mean you have to be afraid of debugging your runtime. May be too much noise, or too much info, but sometimes getting a crashing runtime to dump core may be enough to clue you in on what's going wrong.

The other day I did exactly that with JVM to discover why our JavaFX app crashes to desktop on customer's machine. Going through the crash dump, I immediately spotted DirectX calls being prominently displayed (IIRC top of one of the stack frames), and upon investigation, it turned out that the computer haven't had its graphics drivers updated in a long, long time.
So they don’t take a cut of the margin, everything is free and yet they provide services. How is that sustainable?