skysight-inc/HackerNews huggingface dataset:
> Which means you cannot guaranty your program doesn't exhibit memory unsafely unless you stumble upon it during testing.

Right, if you disable those checks.

> Calling it “memory-safe”, is dishonest.

The language is (or will be) memory safe, at least its safe parts -- C/C++ aren't. True, that safety can be disabled selectively. Yes, there can then be undefined behaviour if you disable that safety, but so can Rust when you disable safety selectively. The design is just different. Just remember that using a language with sound guarantees is no one's goal. The goal is to produce programs without bugs. Sound guarantees in the language is one approach toward that goal; there are others.

Generally, guaranteeing that some set of bugs cannot happen does not necessarily guarantee fewer bugs overall; in fact the opposite might be true. Nobody knows if Zig's strong safety story yields to more correct programs that Rust's, but nobody knows the opposite, either. There are good arguments either way but little data. In any event, Zig is much safer than C, even with ASAN.
SpaceX is adding visors, which solve the problem without heating the satellites.
Hexagon (Kotlin Toolkit for microservices) version 1.3 released
> That's just a legal technicality.

No, it really isn't. The vast majority of copyright infringement isn't even a criminal offence. It becomes a criminal offence if you do it as part of business, or if you distort trade to a significant amount.
Are you using snapshots in btrfs? Perhaps trying to use this feature was what caused it to be needed for my use case.
There will be websites that describe how to disable 5G in TVs. In some cases this will be as easy as putting strips of metal tape on the back of the case. In others you'll have to open the case to remove the 5G module or antenna.
Civilization VI UI, but made in Webflow (a no-code tool)
Given his Twitter feed looks like a Chinese diplomat's[1], I would assume he is part of the pro-Beijing influence network. I mean, why would someone dedicate 6 months of their life to convincing the world that something isn't happening which is reported on widely (even by some limited Chinese media)?

I have no idea if he is scheming with the the government or if he is simply trying to curry favour, but if you are a gwai lo (westerner) in China and want to get ahead for any reason (visas, job whatever), this is precisely what you would do. Whether its voluntary propaganda or paid propaganda, it's still propaganda.

edit: This is the kind of blatant propaganda I'm talking about: https://twitter.com/Jerry_grey2002/status/129826250774052044...

[1] - https://twitter.com/Jerry_grey2002/status/129669725507268608...
Only issue is if you decide to use GitHub features like issues/prs or comments on code, those won't be transferrable I think. At least easily.
Good: Fuck plain-text email.

We should stop relying on duct-taped solutions from the 70s. Web-based code review solutions are vastly better.
> I can't think of a plausible reason to suspect that developers specifically might prefer traditional mice.

I imagine that developers would prefer mice if people who use computers intensively and knowledgeably prefer mice, and I suspect people who use computers intensively and knowledgeably do prefer mice, the same way that I believe we prefer good keyboards and good monitors.
>I wish more people would do this (write and attempt to rank content), it’s what makes the internet revolutionary

At first glance, I thought, "No, that's what broke the internet." Because I was thinking of all the spammy articles I find at the top of the search results.

But I see what you mean. People with useful insight should try to rank their personal/niche content. First page of Google Search used to show me articles from personal websites 10+ years ago, not anymore.
you are reading an article about a case when the bank could not take back its money, I think this answers your question :)
I think I understand now, but just to be sure- you mean that being able to find expressions that do what you want fom examples of what you want, is a big bonus because it speeds up your programming? i.e. a sort of enhanced search function?
We follow a loose format:

1) How's the day going?
2) Interesting updates, wins, observations, challenges from that week.
3) What challenges are coming up next week, and how to solve them?
4) What's a proud moment from this week? (We wanted to add a touch of positivity and recognizing successes.)
5) Open discussion - Whatever's on your mind lately, want feedback on, etc.

There's accountability but not strict homework.
All credits to https://twitter.com/SarkisBuniatyan.

Apparently he's having a livestream the 29th showing how he did it.
Ah, sorry; some of them are indeed restricted, but that was just a broken link. Here's a correct link for that note: https://notes.andymatuschak.org/z4AX7pHAu5uUfmrq4K4zig9x8jmm...
The reason why THC is an issue is...because it's bad for you. At least for 90% of the population.

If THC has benefits in a narrow range of situation, doctors should absolutely be able to experiment with it. And the DEA classification should be reviewed under that light.

But there is a whooooole range of possible options that sit between "it's the worst substance ever. Anyone consuming it should be put in jail after 3 strikes. No one can even dream of making medical trials with it" and "Meh, it looks relatively harmless and fun, let's distribute that like candies with close to no control"
This feels like an advertisement wrapped in a bad take. Speaking as someone who has a couple commits in the Linux kernel, yes the email thing is a pain to get started. Configuring your client to do the text thing, keeping up with conversations, learning who's who, you definitely can't jump straight in. The only way I was able to stay sane is setting up a bunch of filters to tag conversations and people. And that's not even mentioning the different patch submission guidelines, perl scripts I have to run, and other random things to make the patch even just readable by the community.

Configuring all this stuff is definitely a barrier to entry. Now what tooling looks like to make it easier, that's an entire different conversation. Email has worked for the Linux dev community for decades and that should be protected and not disrupted. However, anyone who says there's no room to improve the onboarding experience, well, I just can't take their opinion seriously.
Show HN: Help use Audio AI to reveal Trump/Epstein conversation
Help us find the correct reference track and use it to remove the music and hear what Trump and Epstein were saying to each other in the 90s.
I did the same thing on my Ergodox with QMK, only with emacs/readline bindings. control-M for enter, control-A for beginning of line, control-E for end of line, control-N for next line, control-H for backspace etc...

It makes using those clunky web edit boxes (such as the one I'm typing this into right now) somewhat bearable.

Getting a fancy ergonomic programmable keyboards is one of the best decisions I've made over the past few years. It's so much more comfortable in the long run.

I'm also a big fan of "space cadet shift", which makes left and right shift input ( and ) when pressed on their own. I also have a dual-function caps lock: when pressed on its own it's Escape, when chorded with an other key it's control. You can do that in software with xcape for those who want to give it a try:

xcape -t 500 -e 'Shift_L=parenleft;Shift_R=parenright;Control_L=Escape'

You'll have to swap left control and caps lock using xmodmap or setxkbmap as well.

And for those who are curious to see what a QMK config looks like, it's fairly straightforward (this one is a WIP, there are a few problems with it, but it gives you an idea):

https://github.com/simias/qmk_firmware/blob/372b71ca90df01b5...

That's of course assuming that your board is already supported, adding support for a new board is a bit trickier and requires some embedded C know-how.
Contributing to the Intellij-Rust plugin: writing an intention from scratch
Those projects have found git's email collaboration model to be a great bozo filter.
This. It was privacy badger blocking connect.soundcloud.
Try https://vizhub.com/
I had USPS report a package "delivered" but it never showed up. Waited a few days, contacted the vendor who shipped out a replacement (it was a couple of bucks of mechanical bits).

Two months later I open up the mailbox and there's the original shipment.

I have to wonder if they actually track anything. It feels more like they make an estimate of the delivery route/time and play it back to you regardless of whether it's actually happening.
The problem is with the exposure. 1min exposures are common in astrophotography, but astronomers are complaining about the types that need night-long exposure - ones that try to study cosmology, stellar composition etc. Many observations (like SDSS) are also large field observations that observe many objects simultaneously. Even a single streak can ruin an entire exposure. The odds just grow considerably.
his usefulness expired, and now HQ want to control the nego directly. Just like any foreigner used as a local hired gun.
Risk: An employee can transfer all of a customers funds to an oversees bank account
Mitigation: Multiple employee must approve transfer of funds
Mitigation: No individual employee can deploy modifications to the computer system actually doing the transferring.
Mitigation: No team can both write code and access (the important) production systems
Mitigation: Must stand on head while deploying code, because people standing on their head are more honest
Status: Risk accepted, we'll have 10 more meetings to review this next month.

The idea that bank transfers are reversible is false. Some are, some aren't, the adversaries are interested in the ones that aren't. The idea that manual review is a trivial fix is very false. Even if there was a trivial fix, the idea that you could get this past the numerous gatekeepers with a simple and easy process is probably false in most banks.
Contact lenses may slow nearsightedness in children
Great article! Could you speak a bit about how you spec out a project without being directly in the field?
Funny. I wonder when this (perception?) shift occurred. 15 years ago, it was distinctly the perception that Mac users were the tech-illiterate ones. Have all the tech-illiterate users abandoned Apple, or have they just been drowned out by the bay area macOS dev culture?
Even Google has this problem[0].

[0]: https://i.imgur.com/kusIhDh.png
- Reduce risks early on

- Trade offs, everything is a trade off

- Make desicions easy to change later
Why should "Microsoft's representative on the Linux Foundation board" exist in the first place?
Population panic lets rich people off the hook for the climate crisis
To be fair, today's media is slanted towards audience engagement the same as it ever was. The only real difference is that now no one producing the content pretends anything but emotional engagement matters. It's unfortunate but coincidental that the most engaging emotions happen to be anger and fear.
>Effect of High Add Power, Medium Add Power, or Single-Vision Contact Lenses on Myopia Progression in Children:
The BLINK Randomized Clinical Trial

https://jamanetwork.com/journals/jama/article-abstract/27692...
The written language should be Standard Mandarin in combination with one or more of Uyghur, Kazakh, Kyrgyz, Mongolian, Xibe etc. depending on the composition of the local population. They're written in scripts related to the Arabic script, but the languages themselves are very different.
Well, okay, I do have messenger lite on my phone and use it like two times a year. It doesn't have nearly as much crap in it as the full version, and doesn't relentlessly run in the background. Also doesn't spam me with notifications about things that aren't actual messages actually sent by actual people (looking at you, "you're celebrating %d years of friendship with %s").

It's cool to live in a place where Facebook never took off, I guess?
I agree, i've had not insignificant amount of delivered then show up three days later packages with USPS over the past 5 or so years. Mostly business deliveries, but i've had a few I had to report as lost to the shipper. In a couple instances we've had things show up two months or so later found. Which I suppose happens, but I've only had one UPS package lost in the same time frame and none for fedex.

At my house we have a communal mailbox bank (which seems to be normal now for most new construction). I would bet that 1/4 packages of mine are delivered to the wrong box / placed in the wrong box. So some of it now can at least be attributed to those mistakes.
> and rust is taking inspiration from it already

But C++/Rust can never have Zig's primary feature -- simplicity. Zig's power is not that it has comptime, but that it has little else.

> I can't wait before Zig2 comes and eventually adds generics…

No need. Zig gives you the same capabilities as generics do, only through a separate feature that other languages also have in addition to generics. In other words, it has generics, but without having generics as a special construct. Zig recognises that once you have that other feature (compile-time introspection) you don't need generics as a separate construct, but they can be just an instance of that single construct.
Id love to know how you got your first clients. After being at AWS for about 3 years, I have been working in humanoid robotics in Japan for another 3 years and am really eager to do something on my own and get out of the Japanese work-life balance nightmare. Any advice is appreciated.
While folks are rightfully bashing macOS’s hidden scroll bars, I would like to advertise an iOS feature that is actually pro-scroll bar. As of iOS 13, you can grab the scroll bar to scroll at hyper speed rather than repeatedly flicking the screen. Not sure if there’s a proper name for this feature but it’s explained here https://www.idownloadblog.com/2019/08/05/scroll-faster-iphon...
Show HN: Hexagon Microservices Toolkit (For Kotlin)
Hexagon is a microservices toolkit written in Kotlin. Its purpose is to ease the building of server applications (Web applications, APIs or queue consumers) that run inside a cloud platform.

I would appreciate the feedback. Thank you very much!
it's a different role. he signed on to be a media exec and cut licensing deals. suddenly he's in the middle of a trade war and politics with some of the worst people on the planet. "fine people on both sides"
> While we like to consider the mainstream press as completely free and unbiased, I think it's fair to remind everyone that in the early 2000s all publications were parroting the US lie that Iraq was hiding WMDs. Something similar happened last year with the election in Bolivia and subsequent coup.

That's true, taking that observation too far leads to a quagmire or cynicism, paranoia, and/or ignorance.

If RFA basically has the problems of the mainstream press, then it's actually pretty good, since the mainstream press, despite its issues, is the best press we have. It definitely compares favorably to outlets like RT and Xinhua.
>However, anyone who says there's no room to improve the onboarding experience, well, I just can't take their opinion seriously.

From TFA:

> I agree that the UX of email-driven development could be better!

This is followed by six examples of such improvements, the first of which is explicitly targeted at improving onboarding:

https://git-send-email.io
> I am not sure you are looking at the correct numbers. according to NHTSA – https://www-fars.nhtsa.dot.gov/Main/index.aspx there are 1.18 fatalities per 100 millions miles driven.

Proper number seems to be ~40k, and the rate is ~ 11/100,000

This isn't a fermi question, it's just google-able.

https://en.wikipedia.org/wiki/Motor_vehicle_fatality_rate_in...
On a long page, it's really annoying and for some users not possible to flick scroll a long way. On desktop at least I can hit home or end. Removal of the scrollbar is arguably more user hostile on mobile than it is on desktop :/
Satellites naturally cross paths over time, there is no “ESA” path. This is standards and expected, SpaceX is only guilty of a support failure, which has been corrected.

And SpaceX has designed and is implementing shade visors on all new Starlink satellites at their own expense, for the sole reason of reducing their reflection and brightness for astronomers.

No one made Elon do that, he chose to significantly increase the cost and complexity of his satellites to help astronomers.
Yeah I agree, but can you blame them? They've almost single-handedly borne the cost of supporting open source in the most tangible way you can (hosting the code, supporting "remixing" and innovation) for so long. As you say, these things never last, but this is what happens when you don't have a Stallman-esque BDFL/figure involved in some product. People (myself included) might under-estimate how insane the free software movement was/is -- it just isn't normal to find something that is free and stays free.

Whether I/we can blame them or not, it does feel good that there are some other business models in the space, I personally am a huge fan of GitLab[0] (I pay for an upgrade membership though it's nothing crazy), and on the more home-brewed front there's HN darling sourcehut[1]. Honestly if I was a GitLab project manager that browses HN... I might try and shark this idea -- you already "pay" for Gitlab Pages, why not streamline it, offer a netlify-like experience on top of it and try to get there ahead of Github?

[EDIT] - the "them" in "can you blame them" is intended to be the early Github team and/or their Microsoft equivalents. People like to put out good PR releases, but selling means something. The people who sold are aware of the the risks of selling and the loss of control/vision. Along with that realization/knowledge I think it's expected for them to have felt some fatigue/been expectant of some recompense for supporting open source as much as they have over the years.

[0]: https://about.gitlab.com/

[1]: https://sourcehut.org/
Would someone mind talking this down a bit? It seems like we are pre-dithering the textures so that, when rendered, the noise is less visible. Is that right?
Prop planes don’t work well at higher elevation. There’s nothing for the prop to work against. It’s why jet engines, with their compression, work better.

Props work better than jets at low elevation where the span of a propeller can work against a lot of high density air.
> How is git designed to use email?

https://git-scm.com/docs/git-send-email

https://git-scm.com/docs/git-format-patch
> Calling it “memory-safe”, is dishonest.

I'm not sure why we desperately need to classify languages into "memory-safe" or "not memory-safe". The fact is that all languages have various levels memory-safety (sun.misc.Unsafe anyone?) and I do think that Zig deserves recognization for addressing it heads on:

- There's a separate ReleaseSafe optimization level which has all the optimizations, but remains safe. If you care about memory-safety (which most people do!) then this should be your default production build.

- The documentation is very clear about what can cause undefined behavior in ReleaseFast.

- You can override the safety-level (both ways!) for a single scope. If you have something performance critical that can't be expressed in safe Zig you can opt-in to potential undefined behavior. If you have something safety-critical you can opt-in for correctness even though the overall program is compiled with ReleaseFast.
Ask HN: What resources do you use when trying to explain security topics?
For example, whenever I need to explain the problems with failing-open, I use the Wikipedia article on the Three-Mile Island accident.

There, a valve failed-open and vented necessary coolant. It’s not exactly the same scenario, but it gets the point across.
Rust supports a global custom allocator.

Per container allocators are on the roadmap :
https://github.com/rust-lang/rfcs/blob/master/text/1398-kind...
My first experience with email was the summer of 1984 on the VAX/VMS systems at IIT at a summer institute. That was when I created my first e-zine called Stuff which was mostly gossip about the staff and my fellow high school students. What I remember more than anything else was that I had discovered that putting ^H at the beginning of a line would make the letters of that line print at double height if you printed the file on the line printer.
Linux on laptops is getting much better too. Is a great alternative now for developers.
Exactly it never went away. You voluntarily support discrimination in the form of exam results, when your rulers have no qualifications other that being popular or birth right. You must be stupid for continuing to support such a system. At least I'm trying to point out the stupidity, but someone people dont like it, or rather dont like the way its pointed out.
Why guaranteed file compression is impossible (2009)
In my case this was an advantage because my previous GPU had a bug where presence detection for HDMI was only done on boot. So if I forgot to switch my display on before UEFI or before Windows boot manager started, it would boot headless. With DisplayPort you have to unplug & replug at best (though on/off should work because of what you described, not to mention detecting a new display when it powers on).
I really like the dichotomy presented in the argument that I should change my settings so scrollbars are always visible because they're ugly and not needed.
Upgrade aversion is the natural consequence of the automatic upgrade subscription business model. If developers don't have to sell the next version and the customer can't easily leave, ...
I just broke my Oneplus 7T. What I wouldn't give for a phone with 10/10 repair score.
Optimization with NumPy and Rust
Looks cool. One thing though, the page says

> Actors are a great model for concurrent programming because they automatically prevent race conditions (thanks to atomicity and encapsulated state) and deadlocks (because execution never blocks)

This isn't really true afaik. You can still have logical race conditions if you don't synchronize messages (but they won't be architectural races), and you can still have deadlocks if two actors wait on messages from each other at the same time.

I feel like people often treat race conditions and deadlocks as small, computer-architecture ideas when really they're quite broad concepts. You may be able to prevent them automatically at certain scales, like say a single uint64, but when you try to treat two uint64s as a single uint128 then suddenly race conditions are possible again, despite the guarantees your language has made on the smaller scale.
All those don't sound like git was designed to be used with email.

>It includes many features for email-based collaboration out-of-the-box with no need for a centralized hosting service of any kind.

What many features?
It seems to me that Starlink will become, in the near future, an essential tool to fight oppression as it will serve as a secondary solution to citizens. That is unless the government uses something like an EMP to deny service.
Few-Shot Learning with Fast.ai
using laptop screen? How is your posture?
So your argument is entirely about the headline, and has nothing at all to do with the content of the article?

You're getting downvotes because talking about the headlines is always fucking tedious, especially when you ignore the content of the article.
When I bought my first Samsung Smart TV, it was on sale. It was slow as molasses, so I got an Apple TV in order to watch Netflix.

Then my TV broke down, I got a newer Samsung, and its speed runs circles around my Apple TV (2nd gen I think). The Apple TV seems painfully slow next to the Samsung Smart TV.

That's one reason :)