skysight-inc/HackerNews huggingface dataset:
Thank you for saying this. Memory suggested that this was the case; I think one problem that happens on this site is that people distrust Google so much that they will trust some completely unknown organization that they've never heard of before over one (Google) that has presumably made themselves legally liable if they use your data to track you.

(I would also note to everyone that you can simply disable sending referrers third party, which means that even if Google is using this data to track you, they won't know what sites you are visiting unless those sites use very specific combinations of fonts.)
Microsoft Teams also does this.
Some cameras are not designed to record HD video during long periods of time.
Hoboken is famously a tiny town with a mile square total area. Perhaps it's not right to compare it to just any town.

(Most bars per square mile as well so that should maybe increase traffic related incidents.)
So, what would be a gentle introduction to Coq? Any recommendations?
I also agree that the two are incompatible, but in a different way: why don't we ditch the liberal concept of freedom and save democracy instead?

From the Online Etymology Dictionary, "freedom":

> Old English freodom "power of self-determination, state of free will; emancipation from slavery, deliverance;" see free (adj.) + -dom.

> Meaning "exemption from arbitrary or despotic control, civil liberty" is from late 14c.

> Meaning "possession of particular privileges" is from 1570s.

Isn't it interesting that the definition of freedom has changed from escape from control, to control itself? This happened roughly around the time when the Enlightenment started and liberal thoughts were beginning to spread in Europe, which is also the time when ideas of private property and capitalism were starting to take shape. Take note that one of the most fundamental "freedoms" of liberalism which is private property, can only be enforced by the state with violence or threats of violence, usually done by the police or the army. So at this point freedom has become an oxymoron, since to be free one has to submit to total authority of the law. I think neoliberalism is just an extension of this contradiction - you are encouraged to participate "freely" in the free market, which is held by the global financial system which is backed by the dollar and consequently the military powers of the United States. No matter where you escape to, any economic activity has to be done through the hegemonic powers of the world, and losing access to it means doom for your country and your people (ex. Cuba).

So I view Thiel's search for his ultimate ideal of freedom by ditching democracy is futile, since the liberal conception of freedom itself was already contradictory and impossible to achieve. He can only think of more totalitarian ways to enforce a "free" system upon the people (so probably they can do whatever they want, like you have already said). The problem is that believing in contradictions don't automatically make societies fall, as Deleuze has said: "No one has ever died from contradictions. And the more it breaks down, the more it schizophrenizes, the better it works, the American way.” So as you have described nicely in your last sentence, most people will continue to get fucked regardless, until we fucking do something about it.

By the way, Graeber has written a lot about the subject of freedom in many of his books and papers (the most evident one being his last book "The Dawn of Everything" co-written by Wengrow.) I think you'll enjoy his works if you have some shared sympathies with Thiel's views of libertarianism, regardless of if you're labelled left/right in the current political climate. Graeber has once written about a topic Thiel was also interested in ("Of Flying Cars and the Declining Rate of Profit": https://thebaffler.com/salvos/of-flying-cars-and-the-declini...), and they've also met together and had a debate about this topic (https://www.youtube.com/watch?v=eF0cz9OmCGw).
That's not by itself sufficient to explain the Fermi paradox. You can go into the math, and you can find people online who have. I don't have time to dig that up for you now though.
What are the "Linux features" exactly? Can you install packages? What distro or packaging format are they based off?
> Gatekeeper’s role is to ensure that when users execute some code, that code meets the local system policy. The policy includes checks such as whether the code is validly signed and whether it has been tampered with in certain ways.

Weasel-word alert. I never thought I’d see the day when technologists would applaud the gradual death of general-purpose computing, but here we are. A decade from now Apple probably won’t even ship a local version of Xcode, and the transformation will be complete as all new development happens in Xcode Cloud where no line of code goes unscrutinized by the watchful eye of the mother ship. At least we’ll be Safe™.
My background is in teaching CS1 courses in undergrad (as a TA).

There have been various studies that agree with you: teaching recursion before iteration seems to have benefits! From my experience, it seems to be extremely unpopular among teachers due to the claim that recursion is "useless in industry". My personal opinion is that learning recursion first is probably a step in the right direction, but I'm curious to hear your thoughts (in terms of their claims of the usefulness of recursion in industry).
Interesting, I don’t think I’ve ever experienced that (or even heard of it). Is that something you experience every night (assuming there is sound)?
The logitech C920 can put out incredible video, if you have access to every setting. For some reason logitech puts the training wheels on and doesn't let you adjust every single setting like gain. There was an incredible app called "webcam settings" for mac that let you refine that webcam like putting a dslr into manual mode. I was able to get it so dialed in you thought it was a top of the line webcam. That software unfortunately is gone but sometimes it's not the hardware, it's the software. That said I refuse to pay monthly or yearly for software to use my phone as a webcam.
In your experience, have you ever seen somebody get hired without doing well on the typical leetcode problems? Are FAANG companies completely married to the leetcode interview idea or do they make exceptions?
I don't understand the obsession with not seeking effective medical solutions over impossible solutions that feel moral like changing human nature or society to be less obesogenic.
If you want a fast text console, get an nvidia 7600GT or similar; they are the peak of text mode speed - using them at 160x60 on 1600x1200 is instant (that's with a high-res font,like ter-u20b).

Really ticks me off how the kernel is dropping stuff like scrollback for fast framebuffer devices, and since I got downvoted to hell the last time I said how slow and complicated certain finger-in-the-pie distros are making this area this time I'll post with a throw-away account.
you might be right, but there's more to power consumption than CPU time. something that takes 250ms vs 10ms might wake more cores and/or prevent them from sleeping, might use high-perf cores instead of efficient cores, it might read from storage instead of from cache, etc.

i've certainly seen a 10x improvement in one bottleneck turn into a 20x-30x improvement holistically, due to reduction in contention, back-pressure, etc; there is almost always a cascading/multiplier effect, in my experience.
i'd work on shutting the fuck up, because your speech reflects your underlying assumptions and if you don't address them soon someone like me will address them for you, slaver
Judging by the downvotes, apparently she has a strong influence here too.

Weird the incestuous circles of tech.
I understand that, my point was to provide guidance against using a problematic phrase in the future.
The big news in Science (big S for the institution of) is the existential crises of the Anthropocene, the art and technology of sustainably occupying planet e, radically transforming human culture around primary support for the ecological planetary biosphere vs the old dominionist paradigm of human centered everything, and the fight to preserve the biological wealth of the planet against the inexorable onslaught of mass consumption and exploit, especially as it impacts global systems like atmospheric and ocean chemistry, threatening habitability of the surface. This news is very exciting!

I think one can only call science news boring if one clings to merely the old idea of science as a simple methodology for validating laws/truth of reality rather than appreciating that Science is the institution of cultural realism and the modern religion to which we all subscribe, so much so that we take it for granted. This is the problem with "science news", is that it's news performed under the presumption that the methodology of scientific practice needs to be more explicit for it to be effective news. This is only true for folks who accept superficial obeisance towards science as significant equivalence for factuality.
your body is constantly using protein to maintain your muscle. When you starve your body of protein, you lose the ability to maintain your muscle, and your body begins to lose muscle as well, even though it does a bunch of stuff to try to stave that off.
"monotonous, similar tasks. I kept freaking out and yelling in chats.

I thought the remote work was to blame — it made it hard for me to use my charisma."

What now?
A much higher percentage of what poor people buy is necessities compared to their salaries. They have much less choice as to buy or not. If a rich person were to buy at the rate a poor person does, it would be almost completely on frivolity. Sales taxes, imo, are especially targeted at the poor.
Is this even legal? Looks incredibly dangerous.
We have band-aids for both.

Both cancer and weight loss are filled to the brim with pills that do absolutely nothing.

Thousands of expensive treatments, no cure (for cancer at least, I believe the weight loss pill industry os 100% fraudulent).

Saw some pill adverts the other day at a restaurant as the tv played. The pill promised to help lose weight without diet or exercise.

At the end of the commercial it was explicitly stated it workwd if used in conjunction with diet and exercise.

This is what the US has become.
It would be a brave, new world. :)
Someone made an idle, curious comment and you called it an obsession.
I wonder if it would make sense to have the government heavily subsidize healthy, low GI, low calorie density meal preparation and delivery, bringing it down to the cost of the cheapest junk food?

I imagine it would be expensive, but only as expensive as food and delivery of it, and would reduce much more expensive health care costs, right?
Along with other comments, we have at least 10 fully working mbp 2015s. Many with upgraded 2tb storage. All used for audio work. Running 10.13 - 10.16. Little to no issues and I still buy up any I find online. Absolutely fantastic machines.
no, it means being forced to produce entertainment for others to live is slavery, and a very degrading form of slavery. work on your own fucking reading comprehension.
Susan Fowler has a guide for learning math, section 2 is "Introduction to Proofs." She suggests "How to Prove It: A Structured Approach" by Daniel J. Velleman.

https://www.susanrigetti.com/math
Not sure if Grafana operates this way but some companies make it doubly confusing by running all their feature requests through public issue trackers. It's unclear if there are users replying to issues that already pay but don't pay enough to get exclusive dev team access (which can still be a pretty hefty fee--you could pay $10k/mon but still pale in comparison to the customer with a $1m/year contract)

Azure, AWS, GCP, and Okta all have products I've used with shared issue trackers (for at least some of their software)
Model S Plaid Owner Ditched His Tesla for a BMW M5, He Explains Why
This isn't true. Your metabolism does slow down but it never slows down 1 cal per cal of food restriction. You always lose more weight the less you eat.
The Untold Story of the 2008 Financial Crisis (2019)
"The programmers don't care either. They just want to pump out features, no maintenance, no documentation, no long-term improvements."

That's how people are taught. In most companies nobody cares about quality. getting stuff out quickly is where the money is. Slow, deliberate work doesn't pay.
There's also semaglutide, which was recently approved for weight loss. It's quite safe and reasonably effective, though using it currently requires a once-weekly injection and your insurance may not cover it.

(Rybelsus is a version of semaglutide available in tablet form, but it hasn't officially been approved for obesity yet.)
If I understand the example code correctly, it's modifying a heap-allocated struct that's pointed to by a global const. So the global const contains an address which is not modified, but the thing at that address is modified. Right?

What does the intended behaviour (after the fix) look like? Are mutable fields in structs disallowed if the struct is pointed to by a const?
> Politics (ideally) requires empathy, risk mitigation, and consensus building.

Politics requires primarily the skill to get elected.
The poor auto exposure and white balance touched on by this article really affected my webcam’s quality. A lamp in the background of my office caused my webcam to choose some setting that caused my face to be very red and blotchy.

I’m not being vain. People noticed it and it strained conversations. It’s harder to effectively communicate when your audience is uncomfortable by your appearance. Something to think about elsewhere in life.

But I digress. The Logitech software is horrible. I found CameraController [0] to adequately solve the problem. It allows me to adjust exposure and white balance. Now conversations feel more natural at work.

[0] https://github.com/Itaybre/CameraController
Yes, that's the sad part.
I have the Evelyn Wood book. The first technique they teach on speed reading does work well. The other techniques I could not get to work.

I was listening to a podcast episode where the guy being interviewed was selling a speed reading course. He said it was all about improving your peripheral vision. I have not seen much on this idea online. But I think there may be something to it.
There are so many different ways to address mindfulness around eating. I'm glad you found one that works well for you! I'm a big fan of meal prep and portion control. Casual servings often end up being several times larger than necessary. I agree with you that practicing deliberate portioning is really important.

Another big issue is condiments. It's really easy to add a few tbsp of dressing to an otherwise healthy meal, which can add a few hundred "hidden" calories.
Yep.. I don't want a camera so good that my colleagues can see a wild nose hair or any other normal human imperfections via web conferencing, lol
AI is a lot of things. It's essentially just the category of algorithms, control theory, and machine learning.

If you are just referring to AI as in ML, even then ML is at its core a series of processes for tuning control systems. Those ML models are just complex versions of traditional systems from control theory with the tuning handled by the training process.

So yes in a sense, procedural generation, constraint solvers, wave collapse, etc can all be seen as AI since they are just different ways of solving the problem of "how do I believably make/do X in a useful or believable way".
Bugaroos
I still recall when that viral elf bowling game was showing up on everyone's computers, and it struck me that we were all quite fortunate it wasn't secretly malware.
The batteries are often rated for 20 years, after which you're down to 80% capacity, they don't simply stop working. Solar panels are rated for 30 years. So yeah, pretty hands off.

As for why do it, well, a right sized system allows you to be independent from the utility company so if monthly financing for it falls to the same ball park you're paying for electricity already you've simply locked in a rate and hedged against further price hikes.

If I was paying on average $99/mo to PG&E or whomever I'd eyeball a $12,000 system financed over 10 years. That would get you about 20kWh storage and enough panels to keep it full which may or may not be enough for your house.

That crossover point obviously varies from house to house and what's available to you locally. I think it makes a lot of sense for new houses, that way they might avoid a potentially very costly hookup to the grid which in some locations is tens of thousands of dollars in itself.
Yeah, it would be super tempting. But law or lawyers might find you if you’re not careful
Lots of baby words are shared amongst languages even if they're not related. The most obvious one I see are the variations of baba, papa, dada, etc for dad.

My iraqi friends say baba and arabic is certainly not originated from latin.
This might not be the best introduction for someone who hasn't proved "a = b iff a - c = b - c", and e.g. may not be familiar with "if and only if," or the fact that P => Q is considered true if P is false, even if Q is also false.
I've had similar things happen when all I did was discuss something with my brother on a phone call, and next thing you know I'm getting ads for it.

I'm willingly to believe it was coincidence, but I am suspicious.
I did in fact make it to that level, many times, and it was all the sweeter knowing that inclusion of this level was because of those who complained that D3 looked like a Saturday morning cartoon.

it was made specifically to piss you off, and I am 100% in favor of that. you played yourself with this opinion.

and yes, I have spend MANY Saturday mornings watching cartoons, spread across five decades, and I know what cartoons are like.

your problem is that you believe you are owed the games you want. no one owes you anything! want the D1 or D2 experience again? then play those games! you're an insufferable fart of a human if this thread is anything to go by. I hope you never get to play the games you want to play and I genuinely mean that.
The UX is extremely easy to use. For most users, you're just using web browsers and the window manager for chrome os is designed for just manipulating browser windows.

Unless you install Linux stuff (most users don't) you can't download any software. This means no malware is possible.

It guides you to store everything in the cloud, which allows you to treat your workstations as cattle rather than pets.
The government is meant to serve the public good. The workings of the government are oft opaque, and may need to be concealed, in the pursuit of that public good.

Thus stands the difference. Capisce?
There is a website where you can prove these things one by one, they made a little game out of it, using the leanprover software. I highly recommend it! https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g...
Adding a mention that V is still far from 1.0 in the title or at the beginning would have been honest.
> most people in this discussion would not think of mental-health therapy as a diet plan

Absolutely.

"Just eat less" is not a viable strategy for a parent working 60-70 hours per week who needs to eat a high calorie diet, among other unhealthy practices, just to stay barely functional to support their family.

Or someone who is so exhausted by their work just to keep a roof over their head that they have no mental energy to think about shopping for different food, preparing it, and so on.
Typically, when people get downvoted, the downvotes are for the tone of the comment - ad hominem attacks, extremist conspiracy theories with lack of supporting data, unwilling to see different perspectives. But the downvoted then blame this mystical "hivemind" as the cause of their downvotes, rather than try to improve their style of engagement.
This diet trick does exist and it’s called eating eggs. :) The protein and fat in conjunction with leptin are highly satiating and are easier and cheaper to feed than the macros and chemicals individually.
I think he is referring to the drone strikes based on meta data.
Well, I don't like to be a party pooper, but there's only two way this can go :

- nobody working at Bolt care that they geofencing is lame. The fault was there since the beginning and the two freelancers maintaining the web version have a long backlog, little visibility and no bargaining power. Plus, they haven't got their contract renewed yet.

- They have no idea your workaround exists. Even if they are bored enough to read Hacker News on a Sunday, their web app is going to be discontinued on the next API upgrade anyway.

Bonus point :

An app is just a nice frontend. I'm pretty sure you could make your own web client and order your own ride with a few API calls even if they patch the fault.
There is a very useful website where you can prove these basic concepts one by one, they made a little game out of it, in order to show the underlying software, which is leanprover: https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g...
Ah sorry, I meant Docker Compose, not Docker Swarm.
> It's very easy to see that tribal behavior is hardwired into the brain

All this study showed was that it was present in adult men, nothing about whether or not this is learned behavior or instinctual, or gender differences.
If governments are successful in manipulating money to avoid volatility, why are these still scores of hyperinflation failed currencies, financial crises due to too much debt, and so on? Why is these not a clear law of economics that can lead to stability and no recessions?
While it can happen, I'd say it's very rare that if a candidate does poorly on the LC interview that they would get hired at FAANG companies in the current hiring environment.

FAANG companies don't really have another better alternative to Leetcode interviews so that's what they go with.

So yes, most FAANG are married to leetcode interviews especially for SDE1/SDE2 roles.
I don’t know how much time you spend on zoom calls but if both sides have genuinely good connections and you have a good camera and lighting, you can get fairly high def video across. And it makes a big difference, especially if you’re 1-1 and want to make a proper connection and read their expression.
Constraints solvers was literally half of my AI university course lol
> some sort of homeostatic miscalibration

Possibly leftovers of a highly adaptive mechanism that let some of their ancestors survive times of extreme famine?
Well I started talking with Nim chat, and that was very good advice, thanks!
It's not really about the CPU power, more that by 2018 it was well known that the Trashcan Mac Pro was a dead-end design and a soon to have radical refresh.
Were you friends with that acquaintance on fb/instagram? Were you on the same wifi/network?

If the answer to either of those two is "yes", and if your friend googled or liked/followed horse racing content on instagram/fb, then the algo can easily determine that indeed you might be interested in it and recommend it to you. Requires zero horse racing related searches on your own devices, just requires a person with a first degree connection to you doing those searches.

If the system knows that your close social link with some similar interests interacts (searching, reading, liking, following, chatting about online with others, etc.) a lot with a specific type of content, it is a pretty straightforward idea to suggest that specific type of content to you, even if you didn't interact with that type of content online yourself yet.
I think I would identify as a jiggle programmer.
I was raised on a REPL, and in that case I find it pretty efficient, time-wise, to scribble something in the terminal, jiggle things around it until it works, and insert the working prototype into the program I'm working on.

Programming isn't my day job, but I do frequently write code from scratch (and refactor it, heh). I interviewed for one entry-level programming position; they did not appreciate my technique.