skysight-inc/HackerNews huggingface dataset:
Enjoy Shields.io
> And in "traditional" setup, milk availability is massive improvement nutritionally/health wise over no milk.

only if you can process lactose. A large amount of people can't. Plus, "traditional" farming is highly dependent on location.
This isn't a case of a mistaken identity, the FBI found exactly the person they were looking for. It just turned out that said person wasn't a threat, after all.

I'd say determining that is exactly the point of an investigation. That fact that it ended well doesn't change the fact that the process happened, and was triggered by said person.
What happens if you plug two USB-C laptops into each other using a USB-C cable
Yeah. While there are tools and design approaches I disagree with, I do think that for the most part most stuff kind of works, and the differences aren't actually that great between good-enough and optimal. Worrying too much about these things is the sort of majoring-in-the-minors I expect from inexperienced developers.

I'm much more worried about building something interesting than building something with interesting technology.
In the mathematical community, the best known proof assistants are Coq, Lean and Isabelle.
both fair points, tables need still improvement.

Regarding the outputted LaTeX, the idea is to grow the amount of supported templates. So there would be templates for every important journal. For now the focus is to make the thesis template flexible enough that it works for most bachelor/master thesis.
Apple used sliding checkboxes. Then everyone copied Apple. It's an annoying industry trend but in terms of clarity I don't think it matters at all in this case. For a while people also used push buttons with "lights" indicating on/off but those have been phased out almost entirely now.

I don't think there's much of a difference between a checkbox and a toggle if you size them right. Toggles are easier to size up to touch screen size so on touch screens they make sense. On desktop, in non-touch mode, the oversized control kind of irks me, though.

"On" versus "off" is always clear, but the question "did I set it correctly" depends on the phrasing of the checkbox labels. What does "FizzBuzz enabled when widgeting" being on or checked mean?

Design wise, I think generally the toggles are reserved for cases when you turn on a feature or service, and checkboxes just modify that feature's/service's behaviour. "VPN" is a toggle, but "auto-connect VPN" is a checkbox. "Accessibility" is a toggle, but "always overlay mouse cursor" is a checkbox.

On touch screens the bigger toggle buttons make more sense so I think on Android/iOS you'll always see them in the place of a checkbox.
Or don't use a Mac (https://data.firefox.com/dashboard/hardware#graphics-metric-...).
True. I admit that I just assumed that the statute of limitations for these national security-related kinds of things were indefinite.
it's not like she's never going to find out. you're making the decision right now to live in terror.
That is not true. All food in the supermarket is taxed the same.
The Lancet-EAT report puts some numbers on this:

https://en.m.wikipedia.org/wiki/Planetary_health_diet

Basically reducing red meat, dairy and starchy vegetables is good for the planet and your health.

Vegan, vegetarian, pescatarian, flexitarian can all work though and anything in moderation is fine.
If as you say Apple is deliberately making it so difficult to inspect what their OS is doing, maybe we should assume the worst, until proven otherwise.
Ah I think I wasn't clear in my message... I was speaking about the performance of WSL on Windows 10 compared to a native Windows system. The only time I tried ReactOS in a VM I didn't feel it was slow either.
This hits so close home, I need to know if the author is a former colleague :)

I agree especially with two points: no one asks “why” enough, and the best software is the one that does not need to be written. Both often conflate as “we wrote it because we didn’t know we shouldn’t have”. I have lost count of how many times we asked “why”, just to find out that some engineer was having such a good time writing software that she ended up creating and integrating a shittier version of a widely known tool.
Interesting read! :)
The chemicals in every plant and animal are a long, complicated list. If, as you suggest, we elaborate them out, "mushroom," "fig," amd even "carrot" get really weird. The point of the ingredients list is to backtrack from the food in front of you to a list of known safe components. Like it or not, "cow" is one of those - humans have been eating cow meat for millions of years.
New Version of 'A Graduate Course in Applied Cryptography'
Why is DNS resolution via UDP slower than TCP on Mac?
My understanding is that DNS queries via UDP (the default) should be faster, but I am seeing the opposite on two Macs I own, and other 3 people I have asked who are also on Mac, see exactly the same thing. It's weird, but queries over UDP are 3-5 times slower than queries over TCP. I cannot reproduce this on my Linux servers for example.

On my Macs I switched to DNS over TLS which is much faster than the default UDP querying for me, but I am still curious.

Can readers with Macs try as well? To test, I run the command `dig @1.1.1.1 somedomain.com` to test with UDP (with Cloudflare's public DNS in this case, and any domain you want), and the same command but with the additional argument`+tcp` to query over TCP. Try each command a few times. Which one is faster for you? UDP or TCP?

Trying to understand if it's a Mac issue. Thanks in advance!
Note my edit, above. If they suspected it really was important, then they should have passed it up to the code-breakers ASAP.
What an absolutely absurd thing to say.
I don't get why folks find this depressing. If everything can be done by AI and robots - humans won't need to do "work" for all of our needs to be met. Ie, we can all go on perpetual holiday and/or work on things we truly love.

That's the endgame here. It's not like the robots can eat any of the food they'd be growing and delivering, nor would they need to live in the housing they build, or use the sewage systems they'll be maintaining. Etc.
Mcdonalds have a vegan burger. its a shittonne better than its veggie burger and pretty much indistinguishable from its cheese burger.

The chicken burger is still superiors though.

However I'm not threatened by food, so if people want to eat it, I'm not going to slighted, I don't have enough energy to project politics into food.
You're right, I confused it with a different issue requiring symlinking "workarounds"
Though I don't really like you advertising, thank you for the suggestion. As a computer science researcher I'll give you some feedback why your application is a total deal-breaker for me and my colleagues:

* It's not running on Linux. Nobody in our department runs windows or mac.

* We already have huge BibTex citation libraries that we use in papers and just reference the necessary papers. These citation library files grow and grow. I won't manually add citations for each paper.

* We collaborate and version through git. If collaborative writing and version control does not work at least as easy as our plaintext-git-handling, that's a hard no.

* You do know that for conference or journal submission word and LaTeX templates with given page limits in these templates are given, right? How would I use, say, LNCS in MonsterWriter? Writing seems not to be page-based. How do I know that I'm over the limit?

* My wife is a researcher in the social sciences, and they extensively use MS Word's change tracking and merging feature to write papers. If MonsterWriter does not support this in an accessible and visually appealing manner, it would be a hard no for her as well.

With your feature set, you're not really targeting researchers, even if you think you do.
There is always a new wave of opportunities arising from a bad economy. One should just dare to take the plunge.
Why are we allowing scams on this site. Isn't there any check?
I got hired in October by just spamming my resume to any job within breathing range of my salary demands. I did this for 1 hour a day on indeed for a month. These companies literally can't find enough developers.
What are your thoughts on those companies making plant-based "meat -- food for dogs?"
> Not everything in life is transactional.

Thanks for saying this. Posts and threads like this read like real life is some kind of war zone with tactics and plans, as opposed to a beautiful dance in which we find ourselves pleasantly surprised with how things can turn out if we keep an open heart.

I urge these people to read less Art of War, and more fiction. Go and enjoy life without thinking of how to "win" all the time.
> I will probably never know.

I wonder if the author got his answer through modern DNA ancestry.
Not sure why - just saw this message. Never used the site before but looks like a place people dropped a lot of mp3s?
(A) What? Not.

Off: https://media.istockphoto.com/photos/light-switch-in-off-pos...

Also off: https://upload.wikimedia.org/wikipedia/commons/thumb/6/65/Ro...

Unless you mean this kind that offer either way: https://m.media-amazon.com/images/I/71BTb1oUUYS.jpg

(B) The standard three way* switch would like a word.

* Which actually means two switches (or more).
As are left and right positions of a button.

Really, the only thing I can think of that clearly indicates the state of these buttons is the ⏽ vs ⭘ distinction because those glyphs have been made specifically for this purpose.
Of course, this is in the US.

Impossible doesn't sell its products in Europe (or none of the good ones anyway).

Here we have things like Burger King UK which has a more or less 50/50 plant based/meat split on its major products advertised in store.

Or McDonald's that has a dedicated menu of 100% Vegan options: https://www.mcdonalds.com/gb/en-gb/menu/vegan.html
tar -xf example.tar -C temp-dir && mv temp-dir/* $(echo temp-dir/* | sed -r 's,.*/([^/]+)-[0-9.]+,./\1,')
I use shortuuid[0] for that stuff, which also omits the capital letter I, and has some other niceties (I wrote the library). It works really well, and I like how small the IDs are.

[0] https://github.com/skorokithakis/shortuuid
https://en.m.wikipedia.org/wiki/Guangxi_Massacre
> These products exist _because_ your claims about mushrooms and quinoa being acceptable (and somewhat available) just aren't true.

No, what OP said is exactly correct, but the vast majority of people never get exposure to what good vegetarian food is or how to cook it, so they wouldn’t know.

I’ve alternated between vegetarian and omnivore for years, for various reasons (current omnivore but limiting some meats due to cholesterol). I’ve gone through the veggie phase where I think vegetarianism is about black bean burgers and various packaged soy things.

It’s unfulfilling from a food perspective, much in the same way that having a diet of fast food and packaged crap is an unfulfilling omnivore diet. If you eat it every day your body starts to enjoy it and crave it, but it’s not good.

True food enlightenment is not restricted to veggie/meat, it’s expanding your horizons and discovering new tastes and textures and appreciating the cultures and techniques that produced them. This cuts a lot deeper than at face value whether a mushroom can imitate a steak, because that should never have been the goal.
South West here and Nando's is very much culturally important.
> Plus, this might incentivize hackers to defeat the system by logging into and using email accounts pwned in these breaches.

This already happens at a large scale anyway.

There's hundreds, if not thousands of "account shops" and sellers online selling hacked accounts for all sorts of services. Everything from Spotify to Twitter to news sites.

They ingest new breaches (or use automated tools to go hack sites and dump databases), and automatically test the leaked credentials against loads of shit using tools like OpenBullet or SentryMBA.

Those tools even integrate rotating proxies, captcha solvers, etc.

There's a few good talks on this, credential spraying and account shops.
> non-processed food (meat) and ultra—high-processed food (fake meat), the former is the much healthier option.

I mean sure if you are comparing a chop from grass fed sheep from somewhere like wales (or good quality horse meat) to something like a vegan burger, then yeah.

but comparing a mystery meat burger to fake meat, no.
Good ! Enough with the industrial, processed, fake stuff.
Oh that's easy, if you freeze time with quad-phasic, flux-capacitance, dilithium crystal matrices, then when they break down from the heat, the excess energy is dissipated into the reversed output of a toroidal sub-space containment field.

Essentially, a bit like a miniature black hole created on demand to dispose of present-day physics.
I don't think light switches are a good analogy. My light switches don't turn green or red when I flip them and I don't need to slide them either. Furthermore, many light switches only toggle the state of the light because it's common enough to have multiple switches hooked up to the same light source.

The only analogy I can think of is the physical slider built into some smartphones for sound on/off. I don't think toggle sliders are common at all these days.
It's a lesson for me, to have ability to maintain system in long term.

The cost with refactoring big legacy system is too high, to the impossible.
There are no links to news articles and they are nowhere to be found. There is an obvious trademark problem which makes it harder to search for the product.

Looks really cheap and if I understand the technology correctly would only have a small area that you can see correctly through.
To me it looks like before. Translates to up to 2.6k€ take-home-pay provided you don't take advantage of any tax breaks and you're on a permanent employment contract.

That being said young people(less than 26yo) are either exempt from the first tax bracket(~20k €) or start off as contractors who pay lower taxes and contributions.
You can fix it quite easily by pulling out the whole switch and setting it in the box the other way.
Agreed, I think the author mixed several different things together and it would be better to just stay with projection.
Effective teaching requires two way communication, especially in a complex field like software development. Those are nice information sources, but I don't think they have much to do with being a good teacher, but they can teach you a lot about content creation.

Some will come and say "school is mostly one way!", but they are wrong, every school I know of has tests and those tests are checked by teaches, that part is necessary to teach, not the testing but the feedback loop, if you have any other way of providing effective feedback that works as well. Without that step we say the person self learned instead of was being taught.

In software engineering we mostly do this via code reviews, that way we systematically make engineers provide feedback to each other and it helps junior programmers learn effectively.
> this opinion is clearly a load of old bollocks.

aye, so I really like the fake kebab meat that's full of spice. I like it because unlike real kebab meat, its not going to give me TB, Scrapie or monstershits.

slap it in a microwave, dump it in a pita bread, add hot sauce, done. 4 mins tops.
Thank you for your time to answer, very much appreciated :)
And now the text is huge. Sounds like you either are sitting too far away from your monitor, or need to have your eyes tested if that actually feels comfortable.
In the largest-ever experiment, 33 companies adopted a 4-day workweek
These are mostly intentionally bad designs. I think #58 might not be.
Yeah - developers need to control their own tests. If in the weird case they don't control their tests (conformance tests) - you need to control when those tests are added.
I'm from Germany, and I can confirm that the number of vegan alternatives to any imaginable animal product have increased sharply both in quantity and quality over the last years, to the point that you can get good vegan alternatives at discount supermarkets now.

Even in the US, I wonder if what Bloomberg is calling a "flop" is a real flop or just some companies falling short of their over-ambitious forecasts (or the even more ambitious goals of their investors/stockholders)? But I'm not really qualified to talk about the situation in US supermarkets...
It's a bit of a flop in the UK too tbh. It's been pushed fairly hard, but not that much uptake.
I don’t need to replace meat with something fake. Western meatless diets try to replace meat with either way too processed of a food or a nasty mash of fake meat.

I’ve found I like vegetarian Indian way better than anything else. The dishes do not try to recreate some fake meat concoction.
Having seen so much progress in AI this year, I'm surprised to see boston dynamics still using relatively old-school methods.

I'd expect their robots to be left in a room 24x7 with various 'toys' to pick up, manipulate, move around, climb on, etc. Then hook up the actuators and sensors to a big datacenter scale training thing and get it to learn all the dynamics and stuff with some kind of reinforcement learning.

The fact they're still debugging exact foot placement, balance and how to grip items seems so very 2010's. The AI should have figured that out from tens of thousands of hours of training data by now.

I suspect the reason they can't use these AI based methods are that their robot is too expensive to make many of... Their robot is too fragile and would break itself too quickly left to try out random things.

I think they need to work on a more robust robot, with sensors to detect when anything is 'nearly damaged' (ie. like pain sensors - perhaps in the form of an air-filled inflatable coat, where any pressure increase means the body is touching on something, which can be fed back to the AI as 'pain').
Which would replace all those humans producing perfectly valid sounding explanations that if you invest some research effort have no basis in (the usually far more complex, but also far more fascinating and infinitely deep) reality. So yes, I think AI can indeed replace lots of human-produced thoughts :-)

I admit to have been guilty of this myself. I have a famous anecdote-example where I had a very well-paid contractor job and explained something about how my then department's software worked to someone from another department. I think I must have sounded very convincing, the person went off to change something in how they used our stuff. A few minutes later, after accidentally meeting and casually chatting with my boss for that job I realized everything I had said was total garbage. I quickly excused myself from my boss and hurried after the person to tell them to forget and ignore everything I had just explained to them because it was all wrong. I think this last step is not what happens in those cases because we don't usually realize that such a thing just happened.

The brain, or parts of it, are great at producing "explanations". I think that it was part of the more established and reproducible results of psychology that our brain first decides and acts, and only then produces some (often bullshit) "reason" when/if our conscious self asks for one? Does anybody remember if this is true and has a link?
I use pandoc to convert GitHub style markdown to PDF/EPUB ebooks. The default output is good and there are plenty of customization options too. I didn't know LaTeX/CSS but stitched a few things together with help from stackexchange sites to customize the output produced. Later came to know there are third-party templates that I could've used/started with.
https://www.cambridge.org/core/journals/mathematical-gazette...

https://en.wikipedia.org/wiki/Theodor_Estermann
Here's my "30 second assessment" criteria, pretty much gets me the right people every time:

* Are they interested, or only interesting? Interested people rock. Interesting people are sad. You are really more interesting when you take an interest. If everyone is paying attention to you, you're soaking the life out of the room. Find out something new from the people whose attention you demand, by showing an earnest and honest interest.

* Do they let you finish your sentence? Interrupters have self-esteem issues. Patient listeners have the confidence needed to make social groups stronger. People are made stronger when they are listened to - they are made weaker when their sentences are interrupted. No matter how important you think you are: listen until the end of the sentence.

* Can they let you be wrong about something, until you are right about it? Know-best kills the fun, always. Encouragement and enlightenment, however, feeds the fun. If I'm incorrect, and you correct me in a way that I feel improved for the experience, then we are both correct and you are awesome. But if I'm incorrect and you tout some hierarchical advantage over being right as a priority over assistance, then you are right and I will try not to work too much more for/with you.

* Can they help? Can they be helped? You have to be able to accept help, as well as offer it, in equal balance with the universe. That balance is key.

* Do they control everything, or nothing? Control is a substance best applied judiciously. Does the person have the temerity to judge when good control is needed, or bad control needs to be refactored? This one is not as easy as it seems .. but when you find someone who can handle control, and use it in a good way - rather than be averse to it generally as a subject - that person is grounded.
> toggles are reserved for cases when you turn on a feature or service, and checkboxes just modify

Oh wow. I've never thought about this before but that is very intuitive.

Toggles have a physical, analog equivalent, like a switch or lever. Checkboxes don't really map to meatspace; they're strictly a logical construct.

Makes sense that toggles do big changes and checkboxes tweak.
It's funny that Verge is regurgitating an interview from a different source about ChatGPT as an article.

It's funny because that sounds like something you could do with ChatGPT!
Part one discussion : https://news.ycombinator.com/item?id=34066795
Sometimes you just can't win, though.

I used to work for a Swedish company making training simulations for surgeons. There are of course special rules regarding customs declarations of medical equipment.

Our salespeople often complained that when entering the U.S. it was basically a coin toss if the customs agent would be angry with them for declaring our simulator as "medical equipment" and wasting their time, or get angry at them for trying to sneak this medical equipment through customs without declaring it.
Which is gold material for the code breakers. The people trying to decrypt messages having to do with the ongoing war at the time.
https://xkcd.com/2570/

Tea. Earl Gray. Loud.
I think Stroustrup was quoted as saying something like "With C, you can shoot yourself in the foot, but with C++, you can blow your whole leg off."
Yes but if the codebreakers also came across a (real!) coded message, wouldn't they want to have the key already to hand so that it can be decrypted?
> Plant-based meats are primarily focused on the US market,

[citation needed]

fake meat is well established in the EU. Quorn & linda mcartney, have been in the market for many years(20+). Quorn mince is cheaper than beef mince(in the UK) where beef production is subsidised.
Traditional or basic?

Meat wasn't a staple food 100 years ago, it was too expensive for regular people. Same with milk, if you didn't own a cow, you just didn't drink it. You drank some sort of ale.
What a weird doctor you have.

You don't discuss about your actual medical condition and he doesn't tell you why he prescribe each drug and for which purpose?
Because it works well without borders. You need to have a justification for adding things - what does a border add here? Other than making it feel more boxed-in?