skysight-inc/HackerNews huggingface dataset:
can't tell u how many times I asked American construction workers/contractors about this, and none knew the answer. Glad to finally have an answer. thx.

Site note: can't stand the amount of noise(!) going throw the house as opposed to concrete.
“We kill people based on memory safety.” - Michael Hayden, probably
I think addictive is a buzzword that people use nowadays. It doesn't mean the same as an alcohol or gambling addiction. It's more like finding something that just works and that you enjoy using. TikTok does have some actually damaging aspects but when the author uses addictive here, I think he's talking about building something that doesn't annoy people from using it.
I get screen-recorded TikToks sent to me all the time--for some odd reason, that download feature is actually only available on a seemingly random selection of videos, and creators can't control it either.

Source: I've uploaded a lot of TikToks, and some of them just don't have a download option. Doesn't seem to matter whether there's copyrighted content present or not, genuinely seems almost random.
What happens to a concrete home in termite country?
https://en.wikipedia.org/wiki/Point-in-time_recovery
At least not in Portugal, you can work as a software developer even without going to school.
Especially nowadays when ppl learn some specific JavaScript framework, think they know how to best do stuff (because the framework is hyped), and then the learning curve stagnates.
On their website, the claim is more ambitious: "The main result of the project is the CompCert C verified compiler, a high-assurance compiler for _almost all_ of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors." (https://compcert.org/)
(Sorry for the slow reply! Your response made me want to dwell on this some more before answering.) One, whatever my replies may be, I am by no means either a purist or an exemplar. I appreciate delicious foodlike products as much as anyone. I just wish it didn't stop there. But I'm also terrible at keeping up with purity. At the end of the day I usually just eat whatever I'm craving, usually mac and (shitty) cheese more than anything pure or whole.

Two, yes, I'd love to meet up in Austin at some point! I've heard good things about it and always wanted to visit. If I make it out there at some point I'll definitely hit you up.

Three, I have to admit I never thought about the First Amendment issues around this, with Schinner vs the meat industry lawyers as to what the word "dairy" means or "cow" or "burger". Miyoko's is (frankly) just aight, but that they're fighting the good fight means a lot. I have mad respect for the idealists.

What would your ideal world be like?

I used to think I knew the answer to that. As I got to know more people and animals, I'm no longer sure I do. Predator-prey gives way to primary producers and decomposers, with humans caught in the middle trying to oversimplify it all.

Our fatalistic flaw may not even be our selfishness, but our hedonism. We don't plan evil, we just act according to our (base) urges. 99% of us, anyway. We're doomed by genetics, not immorality.

Sorry. I'm pretty drunk. Would love to hear your thoughts, here, or over a beer someday in Austin.
First link in the article:

http://www.imdb.com/title/tt0196229/quotes?item=qt0375868
That depends on purpose of the teaching. If you want to teach them basics what the thread starter mentioned is enough. If you want the deeper understanding you should teach them how it boils down to machine code or add a bit of Assembly to the menu. It explains pointers and other such things pretty well.
App of the Week #2-Ajulu's Thoughts
>mail delivered to your address is legally yours

Is this in anyway based on any facts whatsoever or is this something you weer once told and are now repeating?
A quick Google says it's up to 5 years jail for keeping misdelivered mail in the USA (depends on jurisdiction).

https://www.hg.org/legal-articles/theft-or-receipt-of-stolen...
I don't know if the algorithm is so good or if it's because the app actively engages your brain without you realizing it. You're constantly thinking about whether you like the current video or not that you don't see the time go. If instead you were forced to make a conscious decision of what to watch before watching the video, it would be much easier to stop watching by just consciously making a decision to not watch the next thing.
Bitcoin for Beginners Crash Course
https://probablydance.com/2017/02/26/i-wrote-the-fastest-has...
you mean in the same vein as the huge epic apple trial? nah. sideloading and app installing will be allowed due to fear of government action. the tpm can ensure system files are not malware infected tho
Because it was a successor state with a rather similar philosophy when it came to conquering tribes and nations around?
Maybe “platforms” should be beholden to “public square standards”. You can’t perform sexual conduct in public so it seems reasonable to disallow porn from a publicly accessible digital platform.
Lol, software engineering would not be where it is if not for tinkerers.
I use mumble with the plumble client when I'm taking the train or just walking at the park when we have voice only meetings at work. It is a very power and bandwidth efficient solution.
১০ টি ইসলামিক হাসির গল্প (মুচকি হাসির গল্প ১)
The audio quality is great and the latency is marvelous but I can't get normies to use it with the tedious setup wizard, poor feedback cancelling from that one person who joins with the laptop speakers and mic, and the labyrinthine security model.
if you have to move both sides of the board, i dont think this is really a solution for blitz anyways?
I roll my eyes at every utterance of this type of "elite" mantra.

It's such a non-specific and over-generalized word, and it's become so loaded with pejoration, that for me it's become a sign of intellectual laziness.

The "elites" are not out to get ya, bud. Start by defining with greater precision who you're talking about, and see whether this idea still feels good.
So you should be required to go through a government licensing programme to be able to tell the government they fucked up? :D
My first language (from approx. 16 to 20) was Pascal. I did not like it and I still fail to see its putative suitability for programming beginners.

The syntax is so unlike other languages that I might have been better off learning C outright.
> Is this in anyway based on any facts whatsoever or is this something you weer once told and are now repeating?

Yes.
https://about.usps.com/publications/pub300a/pub300a_v04_revi...
Probably that letting the slow-GMO survive in a natural environment for hundreds of years does wonders for ironing out the really bad bugs.

I'm not anti-GMO but i've been more wary ever since I realized it will inevitably be used to make better citizens (and not by making them better humans).
It's not an appeal to authority, it's deferral to expertise.

This is a very crucial concept:
https://thelogicofscience.com/2015/03/20/the-rules-of-logic-...
A rediscovered lost memoir about John Locke
Treated external timber in the UK is more exposed to UV light than in Scandinavian countries and requires much more maintenence, say at least every two years instead of five. People just don't want to repaint there houses this frequently. Although, you are right, this isn't to say that timber cladding can not last for a very long time.
The affordances of an object are with respect to the observer-- the object affords opportunities to the observer. It's like "resonance", which is not in the object or the perceiver but describes the relationship. Signifiers are on or in the object.
A functor is a certain kind of function (Theres a pedantic point to be made but it's mostly irrelevant). However, most functions are not functors.

To give a simpler example, we say a function, f, is monotone when for x<y, f(x)<f(y); that is, it preserves order.
Every monotone function is obviously a function, but functions like x^2 are not monotone.

Basically a functor is a function which preserves some other properties. I wont go into detail as many have before me, but thats the gist.
Exactly as I suggested in my examples. Being "Long" in the USD implies general stability of the currency (which as you say has a number of factors... all of which are non-existent in bitcoin). So my question still stands. What exactly are you thinking factors into the growth of the currency? Beyond say... hopes and dreams (aka gambling).

The fact that people go "long" in fiat currencies is not at all relevant, as there is a government and usually a central bank that controls production of that currency (responsibly or not).

100% exchange rates work based on the economy underlying them (and the governments control on it)... they are not just random numbers fluctuating randomly... There is almost no comparison to crypto here, is there a fiat currency that shows as much volatility for as long as bitcoin has?
You pay for the land and all that other blah-blah-blah aside:

Having grown up in the United States and lived over a decade in various parts of Europe, I find U.S. construction quality and expectations (esp. modern) absolutely dismal. It’s truly in the space of relative deprivation. In no way are most of the property structures worth their market prices (pre-bubble).

I spoke to a Swiss colleague who lives part time in the States recently about this. He attempted to have a house built to modern Swiss design spec. where he was living (climatically similar to the Schweizer Mittelland) and gave up due to infeasibility. Money was not the problem; knowledge, at-grade quality inputs, etc. are all lacking in the United States. And I’d believe it being in CH now and today. I’ve kept an eye open for quality execution on all of my return trips (various parts of the country), and I just don’t see anything that can hold a candle to modern construction in DACH.

Simple quality of life improvement for many buildings Stateside would be retrofitting these onto more doors: https://planet.ag/produkte/produkteuebersicht/. Folks deserve noise, smell, and climatic isolation. You don’t know what you are missing. I’d easily spend $50 a night more for hotels that’d use these. I don’t want to be able to hear a mouse fart from a room down the hall unattenuated at perfect fidelity.
Linux on laptops/desktops will only survive if Microsoft maintains their model of working on different types of hardware and not insisting on being the hardware controller. With so many people embracing Apple's approach of one company controlling every part of the stack, I don't think Microsoft will keep supporting their model for long unless forced to.
This is clear to me that the thing that matters most is Israelis doing it more than muslims being victims.

After all these Palestinians are humans like you and me, and despite the flaw of being muslim, could be triggering empathy in most of us.

But interestingly I really care more about Israeli reproducing Nazis patterns than Palestinians being at the other end.

And we talk a lot about China, but they're not jews, just atheists, so they're much better for muslim leaderships than Israel.
How do things change if you take the exact same vehicle and replace the pizza with a human passenger? From the point of view of everyone else on the road, it’s the exact same scenario, yet I’m not sure it’d be received the same way.
Yes, absolutely. How is that even relevant? Are you implying that it's acceptable to violate the rule of law when the government makes a mistake? Do you shoot your mailman when they mis-deliver a letter?
> For long emails, I'm adding TL;DR in the first lines of the email body.

Yes. Bottom line at the top.
That's what I recall from an interview with Melzer a while back too. Don't recall the details though.
I used to work in an automotive assembly plant doing IT. Me and a co-worker were out on the plant floor when he mentions a ping tool he found in the office he wanted to try out. He plugged it into a network drop and fired off a ping. The whole line stopped shortly afterwards but we hadn't connected the dots.

Lot of communication started happening on the radio, apparently all the stations were failing their quality checks. After a couple minutes, the plant manager, head of IT, and other people pulled up to where we were. Co-worker unplugged the device and plant slowly comes back up.

Turns out the ping tool was last used years ago to test connectivity to the new quality server and was configured with the static IP of said server. After the ping tool announced itself on the network, the real quality server stopped receiving the quality events so the line stopped.
Hazzard Fraught sent, to my name AND my address, an entire case of Fein-type multi-tools without an invoice. They can suck it because law.

I however didn't go candy is the new toliet paper-hoarding Grinch over lazily mis-delivered snacks by doing the couriers' job for them. Maybe I shouldn't have because replacements, but neighbors and candy usually involves kids. Neighbors didn't even say "thanks," so I definitely should've kept them. No good deed ever gets you anywhere, kids; you must always appear to do something half benevolent and half selfish with an audience. Be Vito Corleone. Make them an offer they can't refuse. Since it was was couriered instead of postal mailed, postal laws don't apply and it reverts to property and commerce laws. Now if I conspired to give them half if they said they didn't receive it, that would've been conspiracy to commit fraud.
That depends, this might have been this CTO’s first time as CTO. Without knowing the story, they could so have been pretty far out of their element and just lucky to be a founder or something.

Even C-level people always have to have their first day as C-level and of course they will make mistakes.

The important thing is learning from them of course.
Sorry my question wasn't about the term... but the meaning behind the term. In finance land, this terminology usually implies you believe it will go up based on ... factors.

I don't see any attached factors to bitcoin, i.e. it's purely speculative. So my question was more "Why are you long on bitcoin?" As - it seems quite random.

Apologises for not being clearer... The old "I knew what I meant" problem :\
We can argue about "reasonable to invest" but it's certainly true that Doge is perhaps the original memecoin and it's unlikely there can be a rug-pull the way other coins do.

It's likely that selling at .70 was the way to go (give those bags to someone else) however, could be a long time until it returns there.
> University is not vocational training.

University started out as a trade school for the clergy, then added law and medicine, and then became a finishing school. At all points the median student was more interested in drinking than studying. Scholarship has always been a minority pursuit at universities and research universities haven’t even existed for 300 years. Universities are now and always have been vocational institutions. The supply of idle rich who don’t need a job has never been all that high.
>Germany is 26 if I am not wrong

Actually, no - but it'd be nice.

'round here, most of the time you're looking at 40-hour weeks and 35 if it is a larger and/or unionized company.

Of course, everything else (like 4 day work-weeks, wfh, whatnot) is up for negotiation.
I find it more amusing you don't see the blatant circular logic flaw in that.
Do you remember how you looked for projects or even specific ones?

I submitted pull request removing dead project and it was soon merged: https://github.com/up-for-grabs/up-for-grabs.net/pull/2781

Also, they replied in https://github.com/up-for-grabs/up-for-grabs.net/issues/2536...

> We don't want to direct new contributors to the projects where they would feel lost or ignored. That gives a bad user experience due to which people tend to stop contributing to Open Source. I had same experiences so many times.

> Do you have a solution or suggestion for this? How should we tackle this.

> One way we can do this is to track the latest commit on the repo, but there could be a reason like the Repo is hard to work with and the Maintainers are reviewing PRs and Issues but there is nothing useful to be committed for a long time. This happens.
On discovering that I used to think in a functional manner before learning to program I wish I had begun with Haskell. Things which seemed like obvious things to try didn't work in C++ 98 so I 'learned' that my thinking was wrong and bad... I remember discovering the possibility for tail call elimination and being disappointed that it did not work.

Lets keep the standardized tests with the standardized humans: absent.
The article you're quoting mentions first generation millionaires, however, the commenter you replied to was talking about the 10MM to 1B range. 10MM is very different from 1MM. Almost every professional working as a doctor, lawyer, or programmer can make it to 1MM and in reality, 1MM is considered a very average amount to retire on these days so it's nothing special to be a millionaire.

I'd like to see an analysis that shows the breakdown in different buckets. I suspect it's much easier today to be a first-gen millionaire in the 1 million dollar range but the higher you go, the more we'll see inherited wealth.
Naumachia
That makes me wonder even more what the missing parts are.
The director that makes that move is going to be fired faster than China start to think to go back to normal.

The problem from the start is the trade between USA (& Europe) and China is unbalanced. The USA is way more dependent to China than the other way around.

This was the same mistake that the USA did with Japan. Move production there, think that they are stupid and never have any control over the manufacturing.

Now it is obvious that China is not stupid, but it is too late and there is too many personal interests on growing in China. Many CEOs bonuses depend on what happens in China, meanwhile their business in the USA is guaranteed by monopolies and oligopolies. So, why bother about making USA citizens happy if they have not a choice?

This is easy to solve with political will. Instead of antagonizing China, the solution is to increase USA education, infrastructure and be able again to produce what nowadays can only be produced in China.

> Call their bluff.

tldr; China will call Google's bluff, not the other way around.
If the employers don't want people who have a detailed understanding of academic minutia, they should maybe stop hiring from university courses and set up some sort of vocational system.

Just because there is a need for vocational experts doesn't mean the universities should try to fill it. The place in society for universities is not a short-term-practical one.
By doing less stuff you're ultimately decreasing your evolutionary fitness, benefiting those who don't have such qualms.
I don't disagree with a lot of what you said. Practically speaking, some students are simply "behind" where they should be, at it might be too much effort to catch up, so the pragmatic choice is to pursue something else. I guess it's usually that I attribute their struggle more to external factors than internal factors.

* The student might have other stuff going on in their life at the time. Heavy course load, personal drama, etc..

* The student might have other interests, so they don't devote as much time to studying as they should.

* The student might not yet have had a good math education, so their abstract reasoning skills lag behind. I think it can still be learned, but someone in a college compsci course just doesn't have time to catch up.

I've been an undergrad/grad TA as well as a tutor for high school students in math/programming. My own experience tells me that learning is very "path-dependent". Students will be more receptive to my way of teaching if their background is similar to my own. Part of my job as a teacher is (was) to try to recognize the gaps in their background, but sometimes I do have a lot of trouble understanding what path a student took before coming to me, so it's harder for me to help them.
Great software, poor UX. I have difficulty getting people to use it over zoom or discord.
Mumble sucks.

Security problems.

Barely maintained.

Some pretty major os bugs.

Most people can't get it to work first try.

I have to say, my game group uses it instead of guided or discord and it is genuinely annoying.
The differences are documented at https://compcert.org/man/manual001.html#sec13
I have had the pleasure of visiting AbsInt and hearing talks on, amongst other things, CompCert. It really is a fascinating piece of software. I would highly recommend looking at the 2016 paper [1] for a bit more detail on how it works. If you're interested you can find other publications as well.

The core idea is that every phase of the compiler is proven not to change the behavior of the program. I.e. if you ran any intermediate representation you'd always get the same behavior.

The main limitation is, in my opinion, that the C specification isn't available in any form that a proof assistant can consume. Therefore, they had to translate the specification into that form manually. It is possible that this step contains mistakes. On the upside, every C compiler has this problem.

[1] https://hal.inria.fr/hal-01238879
Employers prefer university graduates because they have to pay extra for good people. And if they have to pay extra they want a kind of certificate that it's worth it plus to justify the extra pay in front of other employees. A degree makes all this easier. Yes scientific thinking is nice but what really matters is that this people can deliver a compkex workload at a given date. In the rarest of cases you actually need a researcher and at that point you want someone with a PhD
Slightly off-topic: I am wondering that the article mentioned this couple is in their mid 40s, but both look way older on that photo.
I wouldn’t want to be killed over a pizza.
This is how I do it: store the large data files on GCS. Then, offer them via an F1 Node.js endpoint but make the process 'smart' and offer them in 10MB chunks. The client sees a chunk progress (3/10 etc) and a chunk % progress (0 - 100 for each chunk). The client also sequentially persists the large text responses as they arrive

This has saved both my very limited F1 server from sad OOM exceptions and my iOS vm'd client from crashing while processing too much text

I do the same for uploads
They have been dropping support aggressively since 10, they say hardware partners don't support older generations.
It appears that the LGPL does NOT cover the "meat" of the codebase (see the directories arm, x86, etc) and instead covers the "edges" where their code may interact with other code.

A comment indicates they relicensed some of it GPL->LGPL so I assume they hold the copyright.

The BSD licensed stuff seems to be imported code.
I buy the explanation that it’s trauma. When I was an infant I had a lot of surreal hallucinations, and I have many early memories because of that. It was like my brain was mixing dream imagery into my waking vision. Definitely some kind of mental illness, but it went away eventually! ;P
TIL about concrete eating termites and now I’m absolutely horrified. Thanks.
Isn‘t redpanda a reimplementation of kafka without the jvm and zookeeper? I mean how should they api compatible if they don‘t implement the same concepts.
It also means that Win 11 is delayed at least a year.

Somebody in China been buying stock of TPM chips en masse, and they are out of stock everywhere now.

With >12 months backlog for new chips, Win 11 will have to wait at least a year.
In a lot of countries “Engineer” is a protected title. (Same in Germany where “Ingenieur” is protected). The term is usually used for mechanical engineers, and the like. Jobs you can only do with a degree, because if you fail, lives could be at stake.

We actually had a Canadian colleague request to change the job title in the employment from Software Engineer to Software Developer due to these restrictions.
Artificial Intelligence Has Caused a 50% to 70% Decrease in Wages