skysight-inc/HackerNews huggingface dataset:
Team members can have their own opinion, of course. That is exactly what is happening in that thread, though Mazdak is the only language team member arguing that position. I personally wouldn't characterize this as "all development should be stopped until we have formal proofs," though, this argument is "if we commit to this API we will be locked out of one particular model and I'm not sure that we should be making that kind of decision yet."

Empirically it's pretty clear that the language is being developed. If that were the decision of the team, it would pretty much have to go through an RFC, and so we'd be able to point to that.
Highlight of part three for a logistocs geek like myself: Romans and Greeks had standardized ammunition, not just rocks that happened to lay around. That's how you build empires! And roads and aqueducts, of course...

EDIT: While the siege of Helm's Deep was perfectly done in the film, the Siege of Minas Tirith feels more like Holywood, very well done Hollywood but the difference between the two is deffinitely there.
Hoag's Object: A Nearly Perfect Ring Galaxy
In theory sure. In practice (especially if you don't know your connection is being used like this, as the article suggests), if law enforcement turn up at your door to take all your kit as evidence in a crime, they'll likely take all your kit for an extended period of time (and possibly charge you) until/unless you can prove that it wasn't you that sent the traffic.

There have been cases of this happening to ToR exit nodes and that was ones the operators could point to...
Same preference here. I use highlighted keywords to navigate and find stuff quickly in files. Especially important is highlight of some keywords like "return" so I do not miss any early returns.
The costs of a .org domain should be proportional to the cost of providing a .org domain. What costs are there for running a registry that require a huge price-tag?

There are wholesale registrars that will provide white-label service for a couple of bucks a domain per year. The costs can't be that high.
This is correct, however in theory the NSA is not allowed to spy (let's not argue about "wittingly" here, I get it) on American citizens without FISA or 702 approval:

https://www.newamerica.org/oti/blog/scope-standards-and-prot...

So if they did not know you were an American through your identifiers, they could intercept foreign traffic. However, once they identified you they would need to stop unless the above exceptions were met. IN THEORY. Exceptions have occurred, the most egregious that I can think of is that the FBI has NO ACCOUNTING WHATSOEVER of how many agents accessed the 702 database:

https://www.justsecurity.org/66622/how-to-address-newly-reve...
In my headcanon, the somewhat low accuracy of weaponry in Star Trek even at close range is explained by ridiculous amounts of trek-tech electronic warfare going on. Every ship emits enough jamming, sensor ghosts, fake warp fields, whatnot, to keep enemies' computers busy trying to make sense of it. At long range you're guaranteed to not hit anything, so ships have to fight pretty close - which explains the ranges we see on-screen.
If you want to complain to ICANN about the sale you can do it here:

https://survey.clicktools.com/app/survey/response.jsp
What if you switch out two brains from people? Who is who?
If you do not use muscles regularly the nerves that control them won’t fire intelligently and you will stumble around like a buffoon. I’ve certainly never met an obese person with precise body mechanics.
But the Librem 5 isn't a rootable Android or iOS device, it's a Linux phone. What's an example of some killer Linux-only app that's needed on a phone?
Tracking down the Comic-style font from Mortal Kombat and other 80s/90s games
I don't believe that NordVPN make it clear that user's connections could be treated like that (e.g. as bandwidth for other customers)

Unless they make that clear, it's not a great look.
Rabb.it was really cool because it was a shared web browser that was ephemeral and neutral. Both people could control it, there was very low latency, and you could keep doing sensitive stuff while rabbit was also open. I haven't been able to find a way to do that with RTMP streaming systems.
Wanting to is a kind of slavery because it eliminates individual personal choice? What?

Either I misread you, or you are saying something rather absurd...
The problem is theres's no natural distinction between "what" and "how." Every aspect of how you do your job is meaningful in some way. You have to have a good understanding with your boss about where you have discretion to follow your judgment and where you don't.
> Before Rust 1.0 it wasn't clear that such a concept of "unmoveability" would be generally useful

I'd like to ask, why is moving generally useful? Why would I want to move x to y and invalidate x?
Well, I think the argument was more about Webkit, then Chrome itself. Even flow here does not use a JS engine written from scratch - they use SpiderMonkey.

PS: As a webkit-based Chrome alternative, Brave browser does really well.
Semantic Highlighting: How to make syntax highlighting more useful
The author also verified it, if you had the decency of actually reading the article rather than exiting as soon as you found some way to state that you know better.
Signature for the type of which identifier? "for"?
This is a very unempahtetic, almost anti-educational, comment.

Pick any journey to any destination. This article occurs at many points along them.

Need to have a thorough understanding of math? Then this is a starting point.

Don't? then this is an endpoint.
We're really good at parsing code, thanks to languages designed to be easy to read and to our style guides (unless we don't have one, of course). Highlighting keywords is uselessly tiring for the eyes IMO.

What matters most is to separate code from what's not code and which doesn't follow the same rules: comments and string-like literals.

In my vim color scheme (https://github.com/Canop/patine) I only have three colors: one for code, one for comments, one for strings, and I find reading the code easier and less tiring this way.
I wonder if there is evidence that the brain adapts? I too have been having sleep problems due to a heavy footed night owl neighbor. In the beginning it was an issue, however, I found over the last two years my body kicks into a type of an overdrive and overcomes this. Obviously it's not good, however, I do notice a type of compensation.
This is a good counter argument to the article. I know instantly what a switch statement does, but if I have big bold markers for where a switch and it’s cases are, that helps me jump to the block I’m looking for.

In the case of faint comments, I may need to slow down and actually read them if they’re a little less visible. I also know instantly that comments aren’t code and I don’t want all my code faint so just them being different from each other is enough for me.

Article makes good points but doesn’t seem like it’s for me.
https://www.tockos.org does what you think nobody does
> Was Pin SUPPOSED to be resilient to unsafe code?

Remember, unsafe does not mean "I can do whatever I want," it means "I am promising to uphold some guarantee on my own." That is, let's assume we have a function:

/// Makes a new Foo.
///
/// # Safety
///
/// x must never be greater than 5
unsafe fn new(x: i32) -> Foo {

and you write

let x = 6;
unsafe {
new(x);
}

You have a bug, even though new is marked unsafe.

In my understanding of the unsafe examples above, the unsafe code was upholding the invariants that it was required to uphold, and so would be more like having written `let x = 2;` in the above example, if that caused an issue, clearly there's a bug.
This makes sense. Thanks.
Ever since I heard of an elderly man being trampled to death on Black Friday the whole holiday makes me sick. I just don't purchase anything (except utilities I guess) on black friday. I wish traditions like this would die.
CDU decision to make Free Software mandatory
Funny how slavery is pretty abstract for the western consumer nowadays, who don't see through several layers of capitalism of "best bang for your bucks". If the factory in China has to increase its minimum wage due to laws, well, "I want to build a phone factory, I want these shareholder-profit-maximizing conditions for the workers, any takers?" (Hah, even Amazon was doing this in the US with its whole HQ2 saga)
I know obese people who are really great dancers. In the social dance world heavier people are typically above-average or great dancers. This isn't to say obese people are better dancers in general - just that people are prejudiced against obese dancers, and anyone who can deal with that kind of prejudice has to be really good and motivated to keep showing up.
Get a used, 2015+, base model leaf. No nav system or touch screen crud.
I thought the same thing. They could be using their legitimate user's connections.

But even if they're rerouting traffic through their users, and if they wrote that in the terms of service, I doubt any of their users know they signed up for this.

Which is not illegal, but still kind of sketchy.

If it's hidden in their terms of service, but not explicitly written on the content the user actually reads while subscribing, I consider this very unethical.
> * Seriously creepy stuff. I hate how VPNs are being shilled by e-celebs these days as a privacy improvement.*

You may enjoy Tom Scott's video:

> I tried to write a more honest VPN commercial. The sponsor wasn't happy about it. • Get ■■■ days of ■■■ VPN free at ■■■■.com/honest

* https://www.youtube.com/watch?v=WVDQEoe6ZWY
This is still an important area of study. Plenty of very smart people don't get enough sleep and don't understand the consequences.
But it does require unsafe? The implementation of DerefMut and Clone for the type being pinned require unsafe.
Related: Parents of young children found to be completely dead inside
Saying fuck doesn't harm anyone, fetishized consumer culture does.
This "silence the noice" concept sounds like the Deming "common causes of variance". And "better forecasting" like "reduce variability to improve predictability"
We need right to repair for this to be a realty. Right now we're fighting corporations for control of our possessions.
Show HN: A site I built to donate 10k mosquito nets to charity
Given the strength of Trek weaponry, one photon would do. I remember reading somewhere that a standard photon torpedo carried 1.5 kg of antimatter on board, which is yield-equivalent to a Tsar bomba (almost 60 megaton). However, phasers could have been easily used for close air support, even from orbit - AFAIR Enterprise-D used them once as surgical tools for geoengineering.

Most episodes seem to script around the need for air support, but I remember one case where it was at least acknowledged on-screen - one DS9 episode had a ground assault at an enemy position to destroy a under-repair gateway in it, and it was said early on that the surrounding building was strong enough that a torpedo strike from orbit would not necessarily destroy the target.

Edit:

My personal favorite case of missed opportunity is the use of transporters to beam armed torpedoes directly onto enemy ships. It was used once in a Voyager episode. It's an obvious, but sadly plot-killing tactic, that hasn't been sufficiently hand-waved away in the lore, so one has to wonder why nobody uses it.

The StarGate series actually took that option seriously (the series was much smarter when it came to combat). In it, to the dismay of the species that provided humans with transporters, human ships often beamed nuclear warheads onto unsuspecting enemy vessels, achieving seemingly impossible victories.
We can go back to the reason that Pin even exists in the first place. With Rust, you create a computation, and it implements the Future trait. When you want it to execute, you give it to an executor. This often moves the data structure that represents the computation to the heap, so that it has a stable address, and can continue running after the current stack frame is over. So, before the future starts executing, it can be moved around in memory (and probably will at least one time), but after it starts executing, it must never move again.

Does that make sense?
Hi HN! (resubmitting because the first post blazed through /newest)

I was researching charities a while ago when I came across this excellent presentation by the founder of the Against Malaria Foundation, Rob Mather: https://www.youtube.com/watch?v=E5wr3u8Gjwg

During the Q&A at the end, Rob mentioned an idea for a website that would make it really easy for anyone to donate just a single net. This is the result of me building that site + reaching out to AMF!

Also the source for giveanet.org is here (vanilla js, go, postgres): https://github.com/justicz/giveanet

Please help me get to 10k! Much of the traffic so far has been from my family posting this link to Facebook, which means my mom's friend's are leaving embarrassing notes on the homepage :)
> It seems those who write sparse comments want them to pop out of the screen, and those who comment more heavily like to provide a background hum of human commentary that's useful to read in certain contexts and otherwise easy to filter out.

This has slightly increased the number of comments overall and while I think quality has gone way up, I don’t want them more visible to the point of distraction.

Yep. Put me in the latter camp. If you made my comments more visable it would be highly distracting. Thinking about it like commentary is good because along with WHY comments over WHAT comments, I’ve been making an effort to describe INTENT for future readers (me).
Wasn’t the whole point of five eyes that we’d spy on the British and they’d spy on us and merrily round we go, merging data together to bypass domestic spying laws?
> the goal was to rout the enemy

Had to google this one.

> A rout /raʊt/ is a panicked, disorderly and undisciplined retreat of troops from a battlefield, following a collapse in a given unit's command authority, unit cohesion and combat morale (esprit de corps).

Wikipedia has more https://en.wikipedia.org/wiki/Rout
> The first lunar landings were in 1966, and didn't have computers on board. Certainly, it was possible to land without a human or even a computer.

Are you saying that the first lunar landings where made without humans or any sort of computer? I think the first landings without computers or humans were mostly impacts, not actual landings where the vessel is still intact afterwards.
One piece that never works, to the point that Starfleet should really ask themselves who designed it so badly - warp core ejection system. There's lots of episodes where their main reactor is about to explode, and the emergency safeguard designed to save them from exactly that problem suddenly malfunctions for one reason or other.
If I were you I'd tell the person in charge that either the toxic team lead goes or I go.
It’s definitely subjective. For me, I see highlighted keywords as the anchors around which the creative process occurs.
So I guess my submission was not really old or dupe. https://news.ycombinator.com/item?id=21660292
How to Code? – 12
That assumes that "who you are" = "your genes", though. That's... let's just call it "not proven".
Not necessarily. Parts in some models offered by some manufacturers are simply poorly made, and are bound not to last long, regardless of maintenance.
My Python learning journey as a growth hacker [Looking for Mentors]
Actual outdoors light levels are much higher than 600 lux. More like 50,000-100,000 lux.

https://www.royalqueenseeds.com/blog-how-to-use-a-lux-meter-...
In Intelli-j IDE's (WebStorm, PHPStorm, PyCharm etc) I've used a bit of a dirty hack to get as many different comment colours as I need. This involves re-purposing the "to do" highlighting feature.

https://i.imgur.com/EKiVA0X.png

By the way @akkartik, it looks like your imgur link goes to the thumbnail rather than the image :)
> Grishnákh, leader of the Mordor Orcs, accuses Saruman's Uruks of eating Orc-flesh, which they angrily deny.

As you note, this is good evidence that cannibalism is not practiced by the orcs.

> In Cirith Ungol, Gorbag suggests that Frodo (recently poisoned by Shelob) should "go in the pot"; Shagrat indicates that Gorbag could be "for the pot" for making such a suggestion.

This isn't good evidence; the insult is suggested by the context.

> Shagrat threatens to eat a disobedient orc

Without some sort of context, this is good evidence that cannibalism is practiced.

> and after killing Gorbag he licks his blood from the blade.

But this isn't; blood licking is not unknown among humans either. (To be fair, neither is cannibalism, but they read pretty differently.)
I think I originally had “piece of a type signature”, but I didn’t actually want to figure out which piece, so I fudged it. The point is well taken, I oughtn’t pretend I have a Rust parser in my head :)
In eclipse comments such as TODO and FIXME were always bold.

The thing with important comments is that they are verbose, so they can span for example 5 lines (or 3 in this example). Because of this, they already have more attention.

I think most themes are pretty sane. There's a mixture of blue, darkblue and black for keywords and methods/vars. For contrast, strings and numbers are red and green.
Comments are green, so they stand out enough for me.
I think this is a little too dumbed down for me to see the relevance to the actual problem.

Also, I believ 1&2 both require unsafe code to implement the trait that allows the unsoundness.

For what &T can I safely implement DerefMut? Is it the fault of Pin that a type has DerefMut implemented that the unsafe block of that implementation doesn't uphold safety?
Immunology Taught by Vaccines
If you are writing comments that aren’t worth reading, what is the point at all?

WHY not WHAT really helped me out. WHY is this thing here instead of WHAT it is can give a line like i++; a vastly different comment and implication for the reader.
Best Disney Plus VPN to Watch Anywhere
My understanding is that they use non-automotive grade displays because there simply were none large enough. I can somewhat forgive them for using something almost as good to achieve the design they need. The Model 3 would have to be completely different if it didn't have the large screen.
I'm pretty sure that the "high-fructose" part of the name is relative to an older process for producing corn syrup, rather than being relative to other sources of sugar. Some forms of HFCS are less than 50% fructose and are still called HFCS.
Having used one of these shady proxy pool services once in the past for some (pretty harmless) scraping (not especially proud of it), I seriously doubt a service like that is good enough for video streaming. Usually half of the proxies in the pool are high ping or unreachable, and the other half are only valid for at most a few minutes. Maybe I just didn’t pay enough for the gold tier or something.

Edit: Another comment pointed out that maybe only the front domain is geoblocked, but not the video CDN domains. That would make sense. Now that I think about it, youtube-dl also has a --geo-verification-proxy option that works in the same way.
This is one of the biggest human right violations on earth, dwarfs anything that westerners are aware of, yet this is seldom getting much attentions...

These people literally put their life into the modernization of the nation. Some of them died young, mostly from poor safety measures in their work environment. A lot of them suffer chronicle diseases that make their life a living torture. Yet even more of them wait to see the grim prospect of a miserable senior life. We are not even starting mentioning the tragic life of these events on their offsprings!
Disco Elysium offers a dark mirror to my mid-life crisis
This is certainly true for learnxinyminutes.com

The comments are the most important part of the document, yet they are barely visible due to colour and contrast chosen by syntax highlighter. Example: https://learnxinyminutes.com/docs/csharp/
I used to think most people had the ability to code but ~20 years of managing development has made me reconsider. Most people just really can't deal very well with abstraction and complexity (not to mention things like recursion). I think a lot of people can write some code, but it won't be good and it will require someone more senior to extend, maintain and scale it. So basically the more people who write code, the more in demand those top 10% of people with natural coding ability will be.
Azure Cosmos DB does. There is a good video about it: https://www.youtube.com/watch?v=kYX6UrY_ooA
Farmers gave cows VR goggles so that they'd be happier and make better milk
>> on our feedback forms to Apple, or IBM (X1 Carbon).

Whoa Whoa Whoa ;-)

As somebody who has 9 ThinkPads around his house, including the controversial T25, don't forget Lenovo completely bought and owns all Thinkpad design production branding etc for the last decade.

Would IBM have maintained their priorities if they owned the product today? Not sure. But Applezation of the ThinkPads has happened strictly under Lenovo :-<

The P series is still pretty good; X1 was never about modularity but strict portability; it's the devolution of T series that bothers me personally the most - the T420s was barely thicker than modern T490, but had swappable battery and hard drive. Not "user replaceable", literally push a button and swap it out.

[Disclaimer: IBM employee, but in a completely unrelated part and a ThinkPad fan before my IBM employment; I work in software consulting on large ERP projects and haven't seen an IBM hardware person in my 15 years of service:]
Since I don't believe I can block extension from updating, that's not going to be helpful.
Yeah... No thank you. I mostly look at/work in code
> The OP's Swatch styling looks a lot like the newly released mechanical Swatch, the "Sistem" (sic, Sigh) 51.

For what it's worth, 'Sistem' is Romansh for 'System'. And Romansh is one of the official languages of Switzerland.
I was curious, did some research. They do mention Servo in some places[0][1]. They also have their own white papers[2][3], & blog posts outlining their approach, things like how to make borders with triangles[4]. Fun stuff!

Quote: Back in 2012, Mozilla’s Servo project had started hitting headlines about multithreaded, parallel algorithms, and we decided to see if we could do similar, initially targeting our historic market of STBs[0]

Quote: Some of our early thinking was shaped by the parallel web page layout research done by Meyerovich & Bodík. That research also influenced the Servo project which was started by the Mozilla foundation around the same time that we started developing our multithreaded browser.[1]

[0]: https://www.ekioh.com/devblog/svg-browser-to-html-browser/

[1]: https://www.ekioh.com/blog/developing-a-faster-browser-engin...

[2]: https://www.ekioh.com/wp-content/uploads/Designing-a-Browser...

[3]: https://www.ekioh.com/wp-content/uploads/An-Optimal-Browser-...

[4]: https://www.ekioh.com/devblog/gpu-rendering/
Pretty much anybody writing `async` code, using `Futures`, etc. needs to deeply understand `Pin`, pinning, etc.

Otherwise it is impossible to become productive with that part of the language.
Ref: PDF of study https://msu.edu/~ema/StepanAltmannFennJEPG.pdf
I think Arthur Whitney would have a nice laugh at the phrase “In Python, every symbol you type is essential.”
ui.systemUsesDarkTheme = 0 for FF users.
Moonjit – Fork of LuaJIT to continue development
In comparison, about 70% of the sugar in an apple is fructose (most of the rest being glucose).

Apples are probably the fruit highest in fructose relative to other sugars. Most fruits (and honey and carrots) hover around 50% fructose. Cherries are probably the fruit with the lowest amount, at 30%.
I've been using nosyntax for a while ... this seems like an good addition to that.