skysight-inc/HackerNews huggingface dataset:
Let's have a simple proof so that
we don't have to argue about
more complicate issues:

For integers p, q with q not 0, suppose

2 = (p/q)^2

Then

2 q^2 = p^2

and the left size has an odd
number of factors of 2 and the
right side has an even number
of factors of 2, a contradiction.

Therefore such p, q do not exist,
and 2 does not have a rational
square root.

Done.
By way of context, https://en.wikipedia.org/wiki/Loving_v._Virginia would not be settled until 1967.

(but note also that these "race" questions were all over US forms well into the 1980s. By my time, however, it appears that "mongrel" answers were being routinely coded as "Decline To State")

Lagniappe: anyone curious about actual Caucasian phenotypes can find them on Youtube, eg https://www.youtube.com/watch?v=JTdXQabTTRg
I tested Bitwarden recently and found the UX really disappointing. Some basic operations are so counter intuitive that I felt completely lost. This is definitely not the application I would recommend to non tech-savvy people. 1Password has much smoother UX.
Can confirm, since about last year, plant-based meat is found with heavy discounts at my place (DE). I'm not a vegan or sth but I'm eating just not that much meat (maybe once a week). Why would you eat burgers, or any meal sold as intransparent compound of fat, sugar, protein anyway if your intent is to eat healthily or sustainably? There are delicious funghi and vegetables instead. Why would you replace milk by some branded food such as allpro or whatever? Though I haven't tasted it yet, oat milk might be ok, is being offered when ordering coffee all the time here; i just don't drink my coffee with milk, at all. More and more people claim lactose intolerance; which they have because they stopped drinking milk in the first place rather than because milk is bad would be my guess.
Try dating websites. The apps seem like cancer.
> Famously, if you have a problem with Google, it's often easier to post here about it than contact Google's support. That's because Googlers (Google employees) also browse this site. (also Google has no support). In this sense, posting on HN is the nerdier equivalent to @calling companies on Twitter.

I'm always nervous when people share these kinds of quirks about HN. It feels like its one viral YouTube or TikTok "pro tip" video away before it starts flooding with "can't log in to my google account".

Maybe it's an irrational thought, though.
Do these developers, who require JSON CONTAINS, know about basic normal forms and RDBMS in general?!

I understand, that sometimes for performance it is needed to de-normalize huge datalakes, but typical website controlled by CMS is not huge by any means.
I don't think there is any "staff", according to this newyorker article[1] its just 2 people. Personally I have only seen dang.

[1] https://www.newyorker.com/news/letter-from-silicon-valley/th...
we should! We have laws against oil spills, we should have laws that prohibit languages with the singular purpose of making me point a gun to my foot and pull the trigger repeatedly.

/s
> Vegans wants meat eaters to eat this thing to prevent animal harm.

I’m a vegan of nearly 25 years. My reasons are my own. I don’t care what others eat. Eat a pig, a horse, a dog, cotton candy, pomegranate. To paraphrase Thomas Jefferson, it neither picks my pocket nor breaks my leg. But I’m doubtful there are other vegans out there who want carnivores to switch to eating processed foods like this. For my family and most vegans I know, these artificial meats are useful primarily in social situations where vegans and omnivores gather.

I like the convenience of a protein substitute on the rare occasion that I eat outside my home and am sorry to see these businesses floundering. But if they went away tomorrow, I wouldn’t rue the failure of a grand conspiracy to force alternative food choices on the unsuspecting masses.

> stupid idea

Economically unsustainable, maybe, but stupid?
Totally - I don't want to be misunderstood, I wasn't saying that VC pays the bills for the site... that wasn't what I meant at all. I was using poetic license to mean that VC still has a need for some places like this, and its phantom presence keeps the pot boiling here.
The important thing about a "limited company" is precisely that the CEO and all of the other staff aren't legally equivalent to the company. That would be a partnership. This is a very useful technology in de-risking running a big business. There isn't a good reason for making the board liable for ordinary line of business failures.

> Right now criminal penalties tend to just be the cost of doing business. Breaking the law isn’t scary, it’s a calculated risk.

This, on the other hand, is a serious problem. It's why it's important for SBF and anybody who can be proved to have responsible knowledge of the fraud at FTX to go to jail for a long time.

But in general power and money make you above the law, and voters are unwilling to take enough of an active informed involvement to fix this.
Totally agreed. I just decided for my own sanity that some things just aren't worth arguing about. Obviously I have opinions on my tools, but I'm not going to force my preferences on others, or spend energy endlessly debating those preferences. Work is enough mental load as is.

In my experience, strong opinions about details tend to derail conversations, drain energy out of a group and just make things more difficult than they need to be.

At work they use a lot of tools that have better alternatives, or alternatives that I prefer, but I choose to work with what I have and just get shit done.
You're right, that's more fittings; I'll edit the post
To some degree, this is what BDD attempts to solve, separation of test mechanics and documentation of the test's intention.

I don't think it quite does it right, but it is of note.
Jacinda Ardern: New Zealand PM quits citing burnout
PMF = product market fit

>It literally means 0 people.

Not everything is literal.
How strange, we massively subsidize meat production, we don't even consider letting meat producers pay for the externalities they cause, and then plant-based alternatives have a hard time competing. It's a real mystery.
Effortlessly blend Contentful and Figma into your workflow
As a designer and developer, I constantly struggled with the disconnect between my Contentful CMS and Figma design files. I was using different tools to manage my content and design, and keeping everything in sync was becoming increasingly difficult.

That's when I decided to build the Contentful to Figma plugin.

The plugin allows seamless integration between Contentful and Figma, so you can easily manage your content and design in one place. With the plugin, you can import your Contentful content directly into Figma in real-time. This saves a lot of time and makes your workflow much more efficient.

But the plugin's capabilities continue beyond there. It also allows for multi-language support, making localization a breeze.

I've been using the plugin for my personal projects, dramatically improving my workflow and team collaboration. I am excited to share it with the community and see how it can benefit others.

Check it out on Product Hunt: https://www.producthunt.com/posts/contentful-to-figma-plugin

I hope you find it helpful, and happy hacking!
I did try some recently, and actually, it was better than I expected.

the thing that put me off for ages is we have had decades of really terrible attempts at vegi things that we're told are just as good as meat, but we all know fell far short of expectations.
Artificial meat is a one take on the sustainability problem but a more pragmatic approach that will not solve it but make a big dent is to reduce meat consumption instead of replacing it.

Sainsburys in the UK ran an advert at one point where e.g. add 50% red beans and 50% meat to your casserole. Have one vegan day per week etc. Imagine if we could reduce meat consumption by even 50% by just being more disciplined? It would make a massive difference, we can then treat meat as a special treat so if it costs a bit more and is reared in a more friendly way then that is also good.

What might then happen is that as people get used to eating veggie/vegan, they start to realise, as I did, that they don't miss meat that much (I married a vegetarian). I have meat maybe once per week if I am out but otherwise mostly veggie (and cheat with some fish too!)
And we don't need fake meat. It's just something that the food industry can make and sell to us instead of us just eating stuff that grows in the earth.

If you want something with a texture similar to meat, many mushrooms will do the job. If you want something reminiscent of ground beef, quinoa with seasoning will suffice. However, limiting yourself to vegetarian approaches of recreating meat dishes, then you are missing out on what good vegetarian food can be.

There are now enough great restaurants (as well as endless numbers of cook books) which can help you find very satisfying, or even excitingly new and wonderful meals that involve basic natural plants (and legumes etc.)

The problem for many people is they only know the "meat and potatoes" perspective. But they want to reduce their meat consumption, so they buy the meat replacement thing; and that replacement is not particularly healthy, nor is it usually a believable substitute. (It's hard to recreate the exact pleasure that comes from animal fats and proteins.)
Dang is one of the most efficient mods on the internet. Not to place him on a pedestal too much but he's a pretty incredible individual when it comes to running and maintaining a site.
TDD wasn't rebranded BDD.

BDD is a QA concern, primarily used for QA tests against a written (BDD) requirement.

TDD is about unit testing, which is about testing the implementation BY developers FOR other developers.

TDD says nothing about the correctness of the software against a spec, only that a given implementation aligns with a developer's intention.
Meanwhile Amazon is still trying to automate order picking.

Something seems off here. Why aren't they working with Boston Dynamics?
It's very common for developers to make accessibility worse by doing things like this. I have seen things where the two states to a screen reader are something like: "disable foo toggle button pressed" and "enable foo toggle button not pressed". Why not just a checkbox labeled "foo"?
UK’s Online Safety Bill Includes Jail Time for Tech CEOs
I think "timeless" is ugly, unprofessional and not very usable. i'm happy about vector 2022, i think they did a really good job. but, of course, de gustibus non est disputandum.
The one thing academics are known for is not getting paid very well at all. Especially in computing fields.
I have a strong preference for Bonsoy soy milk over the flavor and texture of just about any alternative (including dairy). It is made in the traditional way in Japan. Just appreciate that you have to shake it at least 10X more than you think you ought to, as otherwise it is a watery mess followed up by soy goop at the bottom. It is better for not being homogenized like everything else, so it is a small price to pay.
I'm never going to be Linus Torvals or John Carmack, so does that make me a 0.001x programmer or them a 1000000x programmer or an ∞x programmer?
Yes, but password sharing in a team is no fun. You could use a completely separated password file, but then you might end up with a lot of password files with different passwords that need to be managed in another Keepass file. In theory there are child databases in Keepass, but using them with different clients and cloud sync never worked for me.
> Idk percentage wise how many companies lost a greater percent of their stock value than Bitcoin has in the past year, but we don't call them grifts.

Companies generally do other things besides being a vehicle for speculation.
Back in the good old days, a friend of mine had a sticker on his Citroën 2CV reading: "Can you also double the value of your car with one tank of fuel?"
Fortunately, though, the choice is not binary in that one could choose non-meat, non-processed foods, if one wanted.
> People who give informations for free do not understand the value of information in the first place.

I disagree. I learned most from very smart people who were willing to share their knowledge. They didn't mind providing such information for free.

Not everything in life is transactional. For example: Successful networking is not about maximizing the "profit" out of contacts you make.
Completely agree with this. As a vegetarian I'd really prefer to eat meat over the synthetic meats. The reason being the texture, flavour and nutritional value isn't there. They're also expensive, covered in horrible packaging, don't keep very well and are difficult to cook.

99% of the important bits of a dish don't come from making something meat-like but cooking something that isn't bland and uninteresting. And you don't need fake meat to work around that.
The UK and many ex-colonies that also maintain plug/outlet switches seem to generally use down for on, while the US/Canada/Central Europe often use up for on.

Especially annoying are the posh toggles, unnecessarily popular in some European countries (e.g. CH) that don’t have any physical indicator of on-off status.
Donelan confirms stiffer UK online safety measures after backbench pressure
The choice of using a toggle switch or a checkbox depends on the context.

Toggles, switches and checkboxes are all components used to switch between states, often on or off, but not always (in toggles you can also have multiple states)

UI and UX studies suggest how they would be best used to aid readability

A toggle switch is best used for actions or options that have an immediate effect on the user interface and do not have to be confirmed or reviewed.
A checkbox is more suitable when there are further changes, are within a form or need to be revised before continuing.

When designing forms, it is important to focus on the context of use rather than the function of the controls...

I recommend watching this video
https://www.youtube.com/watch?v=wFWbdxicvK0
This research shows six different ways of using the mobile phone screen to control devices with only two states (on/off). There are buttons, sliders and rockers. The ways that require sliding are safer because they avoid problems caused by accidental touches. For this reason, the iPhone uses a slider to unlock the phone
How do you avoid missing the big picture at work?
Hi. I did well in school, but I don't do that well at work. Just recently, my manager told me I fail to see the big picture.

School was easier: the path is laid out for us and we just need to, more or less, follow it. At work, not so much. Everything is ill defined and you're sort of expected to "learn by osmosis" (by going to meetings, listening to your team chatting and then forming an understanding). I'm terrible at this and the consequence is that I don't always prioritise my effort and work well.

The obvious answer is to ask, but I'm not always aware of what I'm missing or the explanations come with loads of other lingo and assumptions about my current knowledge. After failing to understand an explanation, I feel I shouldn't ask again for fear being labelled "dumb" (after all, everybody else seems to be doing well). I also try to take notes, but after a while I just end up with a pile of disjoint pieces of information.

Has anyone felt like me? Have you found techniques and strategies to cope with this that you could share?

Or anything really. Points of view and opinions are very much appreciated as well.
Upping the sensitivity and switching to the soft rim cap makes a huge difference. We have ThinkPads at work and I'm not surprised most of my colleagues don't like the Trackpoint with its default cap and settings; Lenovo aren't doing it and favours.
The information technology infrastructure library's most recent edition, ITIL 4, was launched in 2019 and is now the most adaptable, versatile, and adjustable. With more stable IT environments, lower costs, improved risk awareness, and improved customer support, ITIL 4 offers a methodical approach to ITSM. The approaches place a greater emphasis on automated procedures, the extension and integration of service management outside of IT, and the enhancement of teamwork and communication throughout the entire organization.
With the help of our service, you will be able to follow all the links that you put on your site. Our service will show you not only the indexing of the page of the donor site, but also the presence of 301 redirects, noindex tags and much more. With linkcheck.io link building is much simpler and more transparent.
Very poetically stated. Have my upvote.
> The gulf war is a better example of what happens when you achieve air superiority. It turns out that's really important in modern warfare.

Not certain if true, as this has been claimed since LeMay but has not lead to victory since 1945. Iraq was not modern, not antique, maybe vintage is the word for them. Iraq and Afghanistan show that despite air and every other material superiority, the home team advantage is psychologically decisive against a non-genocidal alien force. You might even say that WWII proves the rule in that the US made a genocidal show of force.

Is air dominance helpful? Sure. Is it really important in getting to a victory condition? Jury is AWOL.
Sozialflüchtling
And in other places (e.g. Japan), the switches are left/right. I think right is On.
If you can't say "fuck you" with a couple million in the bank, tax paid, in 2023 then you're living WAY outside your means.
These stories date from the 40s and 50s, and the author notes in one of them that the American forms now use ethnicity too. I suspect that at some point in the 40s Germany would have had a very extensive racial classification system.
>You're free to express yourself within the technological limitations. Sometimes that's more freeing than having an overload of functionality. It also makes it more of an open platform because anybody can re-implement it if they want. That's plenty "punk" to me.

Being satisfied with expressing oneself within technological limitations has never been "punk."

Punk is pushing a system to its bleeding edge, breaking it, undermining it, using it in ways it was never intended for and not giving a damn about keeping things tidy. The web in all its hypercomplex madness and ugliness is far more punk than Gemini is even capable of being. Gemini doesn't even allow site authors control over the design or layout of their content - that's entirely implemented by the browser.

Punk is rebellion against authority and systems of control, while Gemini is rebellion against freedom and the imposition of control for the sake of ascetic minimalism. Punk is anarchy, while Gemini is orthodoxy. It gets points for being anticapitalist, though.
Both switches should be turned 90 degrees and move horizontally.
I've written a CC0-licensed (basically public domain) implementation of PNG/ZLIB:

http://public-domain.advel.cz/

It also contains a simple version without actual compression which is actually a good alternative to BMP files as I was quite confused about the specifications for BMP so I rather wrote a PNG implementation.
Not writing docs is a sort of hazing. Also job security.
Some of them seem to believe they invented _cryptography_, so, well, probably. I've seen crypto people genuinely convinced that it is impossible to sign something without the Almighty Blockchain providing its blessing.
> also works great with JavaScript disabled

That was my primary concern. Last thing I need is to have a JS-only Wikipedia added to the seemingly ever-groing list of websites that try to squeeze as much data from their visitors as possible and using "functionality and features" as an excuse.
If sustainability is the goal then convinving people to switch from beef to fish and chicken is a lot easier. People don't have to go full vegetarian to make a big impact on reducing their greenhouse emissions. I feel like that's the most pragmatic approach right now.

I think the view that the only sustainable option is the vegetarian one isn't helpful. Especially since, depending on your diet, a vegetarian diet is not necessarily sustainable.
It's what Slashdot could have been had it been properly moderated and not sold off.

Although IMHO, this site has attracted toxicity and off-topic articles in more recent years. Now in the dawn of AI generated content, not many forums are going to survive the new era.
I wouldn't be surprised if the resolution of those cameras 20-30 years ago was bad enough that it'd be easy to hide one's face/features. And since the car wasn't theirs, they wouldn't care about the license plate showing up on a camera.
Are you familiar with the different stages of research? This is "basic research" -- they found a new determinant formula and analyzed it. Others can pick up their work and continue, for example creating implementations and comparing their runtimes in practice. I think including a determinant implementation would be detrimental if it were not accompanied by this additional analysis, since people might use this implementation as the standard implementation, but very likely in practice there will be many implementation tricks to get it to work competitively.

They're certainly not above writing code. You seem to have missed the appendix, where they wrote some to prove that their bound on the tensor rank of 4x4 determinants over GF2 is exactly 12. https://gitlab.com/apgoucher/det4f2

Also, a formula is not an algorithm. You can oftentimes extract an algorithm from a formula, but the value of a formula in pure math is to be able to write something in a different way. Formulas reveal structure that (hopefully) can be exploited when solving other problems.

> People could even get down to running the code just to check that the formula actually works !

This is an interesting perspective, but you have to take into account that papers are written for some audience in mind -- this one is written for combinatorialists (hence the math.CO designation on the arXiv). It's not too hard of an exercise to plug this formula into Mathematica for this audience. But also, this audience would rather see a proof than computational evidence.
Do YC no longer pay the mods’ salaries? That’s odd, I was under the impression that HN exists to serve the interests of YC. If you look carefully at the behavior of the largely negative _oinbas_ thread given its #upvotes and recency it shouldnt be so quickly off the front page compared to others now on it. Not to mention the regular job postings. EDIT— this post too, perhaps its an automated system?
Checkboxes are slightly problematic in touch UIs because they are generally scaled to a similar size as text and small enough that they are occluded by a fingertip. Sliders leak information about their state while you touch them.
I have been a pescatarian (eat fish, no meat) since 2018. For me, this has almost nothing todo with being healthy and all about the animal welfare (yes I eat fish but to me, a fish and a pig are two very different things). But, sometimes I just fancy a McDonalds Big Mac (McPlant), or chili nachos (Quorn, Meatless Farm) , or a dirty burger (Impossible, Beyond). I know its not healthy, I know its not good for me but it just satisfy my meat eating days craving every now and then. The rest of the time I eat delicious unprocessed veggies, rice, beans etc.

There is a place for these meat substitutes but should they be eaten all of the time; no. Education around veggies is the key for solving the meat production issues.
From what I remember many kids go through the stage devise various codes for "secret" communications. I "invented" one and used it to send messages to my school buddy when we were like 10-12 years old, do not remember exactly. And I was not alone.
The fact that every one of my purchases was helping some local charity of my choice was one of the few things keeping me on Amazon.