skysight-inc/HackerNews huggingface dataset:
I'm quite new to property testing, first introduced recently via a Rust property testing framework proptest[0]. So far i've had the feeling that property testing frameworks need to include a way to rationalize complexity, as their assumptions can easily fall short as you illustrated.

Eg the simplest example might be an application where you input an integer, but a smaller int actually drives up the complexity. This idea gets more complex when we consider a list of ints, where a larger list and larger numbers are simpler. Etcetc.

It would be neat if a proptest framework supported (and maybe they do, again, i'm a novice here) a way to rank complexity. Eg a simple function which gives two input failures and you can choose which is the simpler.

Another really neat way to do that might be to actually compute the path complexity as the program runs based on the count of CPU instructions or something. This wouldn't always be a parallel, but would often be the right default i imagine.

Either way in my limited proptest experience, i've found it a bit difficult to design the tests to test what you actually want, but very helpful once you establish that.

[0]: https://crates.io/crates/proptest
Yeah the only movable surface is the letter itself. I usually find myself zooming WAY in to be able to click on the letters so I can move, and then still sometimes miss and move the whole layer...
Corporate spyware.

I have two laptops. One I own, with Windows 10, and one from work, also with Windows 10. Both Thinkpads, but not the same model.

I own the cheaper one. It’s faster.
Which is actually a good thing for the diversity of browser engines and preventing Google from commandeering web standards and “embrace, extend, extinguish”ing them.

If Chrome was allowed on iOS be sure Google would dump unlimited money to get people to use it. Websites would further go down the path of only testing on Chrome, and Google would continue stuffing their browser full of oftentimes needless features. And they’d continue all their other disgusting practices like AMP even less fettered than before.

The literal only hedge against this right now is Safari. I thank the powers that be that Apple doesn’t let other engines on.

That, and, Safari is miles ahead of any other engine in terms of performance. It’s not even close.

And answer this: how would allowing other engines increase privacy? WebKit does more for privacy than almost any other, and allows installing privacy extensions and wrappers like Firefox. Without that, you’d have people using Chrome more than using Firefox.. a regression in privacy.
This article is from 2015 which explains why it doesn't include the strangest time zone difference of all, one where timezone depends not one's physical location, but their religion:

https://www.haaretz.com/israel-news/.premium-israel-moves-cl...
>Typing it out is O(1), having N people look it up is O(N) if you allow me to abuse the notation like that ;)

Thank you; this is a perfect way to put it. I always include links, and ideally inline text, when posting because I always try to think from the perspective of a lazy and/or context-switch-averse reader reading the comment. (Easy to do, since that's my actual perspective 99.9% of the time.) One of my highest-upvoted HN comments was just pasting the contents of a tweet someone else posted to save people a click. (https://news.ycombinator.com/item?id=25260896)
It's one thing for a problem to exist. It's another entirely for a person, a group, or a community to be informed about the problem, only to have the problem be ignored.
I don't care about Pixel devices, because paying Google prices for the same amount of updates I get on Samsung or Nokia devices isn't worth it.
No, they're probably going to keep doing exactly what they've been doing because they know that these PR embarrassments are far more ephemeral than their market position. The consumer base cares more about cost and convenience than Amazon's ethics, and will have forgiven and forgotten within a week.
`strip` the binary?
It does, I think, for the same reason GPU manufactories segment GPUs for gaming and for Deep Learning.
> today, that would mean stepping away from the FSF

While I generally agree with the meaning of your comment, I'm not sure about that point. The big storm of 2019 happened because Selam Gano wrote an article on Medium and multiple media outlets published false headlines, some of them literally saying "Stallman defends Epstein" which is an utter lie. So while I understand the concerns about the issues prior to 2019 (that is, the mention of "hot women" on the door to his office, comments about pedophilia and so on), I believe it would be a huge mistake on our part to give in and agree to what the mob is demanding because the main premises are false.

RMS has many flaws and he might be terrible at some social interactions. But he is not the person who many of these people believe he is. Stallman believes in values. His whole life he was fighting not just for Free Software, but many other human rights, including the rights of women, gay people and so on. The fact that Selam managed to convince so many to think otherwise just makes me very sad.
I fail to see the problem here. There are legitimate (often different) concerns about both of these two technologies.

The term "luddite" is often used to dismiss legitimate concerns about the negative impacts of a technology by those with no interest in addressing their impacts. If you find yourself using that term, you should go back a reassess your writing.
Yes, all other things being equal, but that's the point isn't it? QE in a deflationary environment and QT in an inflationary one.

QE was very much inflationary and cancelled out the deflationary environment. QT will do the same thing in the other direction.
> What Go is, is a great tool more than a great language. I like to use it because my output from it is usually reliable, is on time, is light on resources, is easy to deploy, and allows me to get kudos at my job and more $$$. It's wonderful screwdriver for today's screws.

You are completely right. As a language, Go totally sucks in comparison with other "modern" languages but I think no other "modern" language beats Go when you look for them as tools. Go is a "get things done" kind of language that imposes a lot of constrains on what you can do and how you can do and this limits how developers can express themselves, and it makes Go sucks as a language but these exact constrains make Go excel as a engineering tool because Go code is easy enough to read and understand so it makes your team move fast without break things, fast compilation, fast executions, easy in hardware resources.

Definitely a great engineering tool.
Ha, that reminds me of some work I was doing just yesterday, implementing a custom dictionary for a postgres full text search index. Postgres has a number of mappings that you can specify, and it picks which one based on a guess of what the data represents. I got bit by a string token in this same format, because it got interpreted as an exponential number.
PDFs whose titles are the full path to the docx they were baked from remains an all-time favorite of mine.

Especially in things like legal opinions, company media releases, ...
> when I cmd-tab to a window which is minimized, it doesn't raise that window

Hold the option key while releasing cmd, it will raise the minimized window.
Most often the least clever thing is the most clever thing. The best optimization is the one that is not needed at all.

An `std::unique_ptr<>` member is not just safer, it is also faster if it enables the compiler to generate its own various constructors and destructors.
Not sure if it's a turning point for unionisation, but it's definitely a turning point for talking about biological needs.

In Sweden, the equivalent of the US presidential debate takes 3 hours, including pre-greating and post-interview. As a man, supposedly gifted with a larger bladder, I would need a lot of planning to be 100% sure not to need a toilet break for 3 hours.

I can't help wonder: Is Sweden selecting the prime minister based on leadership skills or bladder size?
I remember seeing the early peeks at Windows NT in Byte magazine. Jaw dropped. Reading about features had me drooling over the future. It was similar to Win 3.1 at the time but with a much more serious look. As a pre-teen I was obsessed with the asthetic and the idea of having a multi-user security model and built in networking. This was during a time when you had to buy expensive products like Lantastic (hardware and software) to have a network in your small business.
There is a point to it though, enough information is likely to leak through. GFW is not perfect.
Just like Confucius centers that spread propaganda like in the USA? I have no problem if they want to set up a private NGO but they shouldn't be on public university grounds or be connected to them or contributing money to public universities.
That's helpful, thanks!

I've been learning about it in a simulation environment, not a game dev one. I think some, but not all, of the constraints are similar. I'll take a look at those references.
I agree the it can be a problem, but it wouldn't be this bad if they didn't build on a local machine, didn't include symbols or stripped the binary. All standard practice.
The point of the comments were to bring serious discussion to tech’s presence in the industry of feasting on humanities worst behaviors — not to poke fun of article or research.
Anyone watches Tour de France?
MMX is integer math only. MP3s require floating point unless you hand code fixed point version of the decoder. In real life just recompiling with MMX support gives marginal difference https://www.cs.cmu.edu/~barbic/cs-740/mmx_project.html

MMX was pretty useless (reuses FPU registers = cant run FPU code in parallel) marketing gimmick from Intel designed to tick boxes, promoted with fake "designed for MMX" campaign https://www.mobygames.com/images/covers/l/51358-pod-windows-... spoilers: MMX enables one sound filter in the whole game, no speed difference. Ubisoft just made some extra cash by printing this on the box.

MMX was one of Intel's many Native Signal Processing (NSP) initiatives. They had plenty of ideas for making PCs dependent on Intel hardware, something Nvidia is really good at these days (physx, cuda, hairworks, gameworks). Thankfully Microsoft was quick to kill their other fancy plans https://www.theregister.co.uk/1998/11/11/microsoft_said_drop... Microsoft did the same thing to Creative with Vista killing DirectAudio, out of fear that one company was gripping positional audio monopoly on their platform.
Countries around the world implemented laws : Dodd-Frank in the US. Banks have tighter rules against speculative activities in general around the world after 2008. It was a mortgage crisis foremost, with lots of speculation. Crypto is kind of the same : you invest and hope to gain a return. It stands to reason you want to curb the damage it can do if (and when) it bombs.

Laws in general should not be unnecessary broad, most countries have that general rule, and while there is certainly another debate to had on privacy and backdoors, it is a different debate. So when a law comes against Crypto, it should be very specific to curb its problems.
$21B is a crazy amount. This is $44K per headset if the Army gives one to each of their 500K active personnel.
Vi Hart - "How to Microwave Gracefully"

https://www.youtube.com/watch?v=T9E0zSpULFY
We live three flights up but the cat will only go two flights up. I think it's because the cat only skips one floor, and he can't count, not even to two: he can only register one floor-skip.
That sounds great, any pointers to get started writting more complex apps? In particular I can't seem to find a proper description of the memory system (when do I need to manage memory myself) and strings (it looks like those are managed automatically, but not? And there are like 4 types of them? Which would I need for UTF8?)
There was a joke about Delphi convention being canceled because one dev got sick, second had a funeral and third one could go but, what would he do on his own?
Nice link. Will Self wrote a book called Psychogeography. Haven't read it yet, although it sounds interesting: https://en.wikipedia.org/wiki/Psychogeography_(book).
https://phys.org/news/2021-03-classification-single-pixel-de...

https://news.ycombinator.com/item?id=26633468
It really shine in this use case:
Because only he app menu is visible, sometimes, you can open|create a file without cluttering your desktop. It’s ok for document based apps
Microsoft Power Apps | Senior Software Engineer | Bellevue, WA | Full-time

We are looking to hire a Senior Software Engineer with strong expertise in front end.

We are passionate about building things that help other teams and solving problems that span across the org. We collaborate closely with many different teams, and we pursue creative solutions to help make them successful. We embrace modern tooling and approaches, and we’re optimizing our engineering for building cloud first web applications with a faster cadence of releases to deliver innovation at an exciting pace. Our responsibilities span across multiple key areas, including building core TypeScript libraries, common React components, a GraphQL middle tier, and infrastructure to develop, build, and deploy single page applications. Our team works in an agile start-up like environment where we expect each team member to think out of the box to contribute and collaborate towards the mission of the team in a feature-crew setting.

https://careers.microsoft.com/us/en/job/1019726/Senior-Softw...
Tell me you are designer without telling you are a designer
I could read the article, OR i could find the editorialized interpretation in the comments that i most prefer, saving myself 5-10 minutes of reading the editorialized longform garbage that was linked.

Interpreting a rule against editorializing submission titles as discouraging editorializing in comments is a strange jump to make.
Eh I think the model they implemented makes sense. You are confusing the window of an application with the application itself.

Cmd + Tab switches between applications, or windows. If you had multiple windows of an application like Safari open but minimized to the dock, maybe you are switching to Safari the application and then opening a new window? I believe there is a command that actually pulls up the windows individually as well? Maybe CMD + 1 or something similar?

Personally I think this route is the most intuitive and makes the most sense to me, but I can empathize with your frustration. Kind of related but I generally feel annoyed whenever I use Windows for anything. It’s very unintuitive for me.
I love your shoelaces analogy.

I’ve expressed it as sprinting forward as fast as you can while looking straight down at your feet - which is basically the exact same sentiment.

Of course there’s always “stopping to sharpen one’s saw”

A new I came up with myself “removing the stoplights hoping it will end rush hour sooner ...”
They've also used influence to keep the Dalai Lama and others from speaking, it's kind of the opposite side of the cancel culture phenomena. The wikipedia article has dozens of examples of China trying to influence local/national politics under the guise of the "Confucius Institutes". https://en.wikipedia.org/wiki/Criticism_of_Confucius_Institu...
Even if China doesn't turn into a happy democracy, I will sleep better at night knowing I'm not involved.
This is exactly our algorithm as all. I can't really imagine flipping it the other way, since leaving dirty dishes in a dishwasher will just let them completely dry out, making it more likely they won't get fully clean when the cycle is eventually run.
This implies that reproducible builds aren’t supported by Rust. I didn’t realize that.

One step of making a build bit-for-bit reproducible is stripping out the leading parts of paths. I suppose you could achieve this with tooling that always builds in /opt and only links to /opt (or something), but the article says no such tooling exists.
When I saw the tweet I was thinking about fulfillment too.

I didn't even know Amazon emoloyed delivery drivers.
What exactly is wrong with peeing in a bottle? It's a practical solution to a very easily solved biological need. Hygienically, peeing is very different from pooing, and can be dealt with much more easily. If anything, having to beg some business to let you pee in their flushing ceramic bowl seems pretty ridiculous.

This seems more like social hangups making our lives more difficult.

If you spend a bit of time travelling/living in a van, or maybe camping in sub zero temperatures, you'll quickly come to appreciate the humble pee-bottle.

Having a job / working environment that pressures you into not taking breaks is obviously wrong though.
Why I've Stopped Taking NMN
>comic book

Huh?
Handles are the better handles?

Pointers are just handles to heap memory. All i see advocated for here is a per "system" memory manager that also has custom code that gets called on deref. On one side you get a chance to do some logic before a deref, on the other you now no longer know how long a deref takes.

I like this approach too and use it a lot, so it's good to see it advocated for. I just don't understand why they have to be "better than pointers" when they are just a different tradeoff.
I know nothing about the medical field. To me, this reads like a fictional story. Is this a plausible story? I really don't know.
So does MSVC and GCC and clang ...
I'm not sure that's relevant for privacy - for privacy, the specific thing you need is content blocking, right?

I agree it's important for functionality and the general health of the web as a platform, but those don't seem to be the point of the article.
> That, and, Safari is miles ahead of any other engine in terms of performance. It’s not even close.

How is it fair to make this statement about iOS where no other engine is even allowed? Maybe Chrome(ium) and/or Firefox would be faster than Webkit on iOS if they were actually allowed to develop for it, or maybe Safari would be the best. It's impossible to know because Apple prevents any competition here.
The cesspool of the internet is to be found in a village in North Holland
I'm copy pasting a comment I made earlier.

================================================================

I have talked with a few Egyptians on the subject. Unfortunately most think a military solution would be simple and straightforward. "Egypt has hundreds of fighter jets. Ethiopia has 20, We can turn the dam into dust".
They probably can. But then what? History is not over yet.

Egypt thinks of Ethiopia as enemy state. A lot of Ethiopians believe Egypt supports every rebel group in Ethiopia. But Ethiopians still don't view Egypt as an enemy, more like a thorn on the side. For thousands of years the Nile has been flowing toward Egypt without much objection. Bombing the dam will change that. It is the equivalent to creating a monster at your water source. Ethiopia will not try to block the water or anything like that. But it can and probably will start small irrigation projects everywhere. And it will stop consulting with Egypt. In the end, this will be much more devastating to Egypt than a hydro-electric dam which isn't even used for irrigation.

What baffles me about the Egyptian stance is, climate change is coming. Projections for fresh water in Africa in the coming decades don't look rosy. Mitigation for this is, fresh water sources should be developed and protected from environmental degradation. And you need the cooperation of upstream countries to do that. Being source of 85% of the Nile, Ethiopia's support is needed to do that.

Even if Ethiopia stops constructing the dam right now, in 50 years, at a time Egypt is sporting 200 million souls, there is potential that water levels on the Nile are probably going to decrease purely from climate change.

The talk of war is stupid. Playing zero sum game of "Only Egypt" is a bad idea.

==================================================================================

I called your opinion reductive because, it does not consider potential consequences and is oblivious to the various factors behind Sudanese change of position. I called your opinion idiotic because it contained this statement "Egypt can just occupy them, install a puppet regime and then move on. They definitely have that capability" which is an idiotic statement and because it will create more problems than it solves. I am sorry it sounds rude but some things need to be made clear.

Fyi, Egypt invaded Ethiopia twice already and were repulsed.
I don't really think is a strong argument.

You can present it wrapped in whatever glitz (or lack of) that you want, but the process is pretty much the same.

You're exchanging currency for a chance at getting something from a known subset of items.
Was it the Kings Cross and the River Fleet? https://en.wikipedia.org/wiki/River_Fleet
Windows users who switch to macOS will complain that their new shiny and expensive machine won't let them to go through their photos in a folder using the arrow keys and they have to open the photos one by one. Then you tell them to hit the space when a photo is selected, they first look at the keyboard then at the screen and they are like "O.K. that will work", you proceed to tell them to try it on a PDF or something else and that's the moment they recognise the value that they paid for :)
The idea is great and the instructions clear and easy to follow for a quick integration.
(the localhostmagicsquared.net workaround is a brilliant idea)

But I see you are using RS256 and that makes me think of a security issue. Since you are the only one having the private part of the key pair, you could (in the future) log in as any user on any website that uses magicsquared.net since you can generate properly signed JWTs with any possible content.

I understand that this allows for less friction (and thus, more magic) but I think it is a serious problem in case of a breach or malicious intent.

Does anyone know of a way to solve this in a more secure way without adding too much friction?
The Ogdoad
Thanks for pointing that out - I misread what they said.

If you have a link to a writeup provided by the SEC's investigation outlying this as an accident - I'd like to see that.

Plausible deniability is used by bad actors, and the existence of investors investing in founders who will do anything to protect their investment isn't a myth - it gets discussed a few times per year in threads on HN and Reddit.
>Lazarus is pretty good, although somewhat unstable

The most serious problem I have with it (I can't afford Delphi, or I would buy my way out) is the lack of actual documentation. Sure, there is a wiki, but it is just the output of a program stripping docstrings, nothing actually useful when you just need to use a part from a given library.

There are no working code examples, or tips about corner cases, etc.

Turbo Pascal had very good documentation, and it got better over time.
Honestly, I find NYTs privacy articles to be full of errors and deliberate omissions to drive the agenda. It's seriously made me question about their reputation.
I wonder if there are significant differences between video hardware or drivers, or perhaps even generations. I've watched Netflix, a local HBO streaming service and YouTube on Linux for years on Intel graphics without noticing tearing, and yes, back when there was tearing when watching video on a previous (pretty old) machine I had, I did notice it.
Yeah that's where I found out about it too, was pretty surprised it was never posted on HN over the years.
It's also worth noting there are plenty of council-run public toilets that are free, here in the UK. It might not be as clear cut as you think.