skysight-inc/HackerNews huggingface dataset:
This totally makes sense. The axiomatic derivation and "mathematical" presentation may have had good motivation at the time (maybe to intimidate critics?) but it seems to raise the bar unnecessarily high given this is philosophical text, not rigorous mathematics. Reading it sequentially and taking the mathematical form seriously makes it subject to a "propagation of errors" type pathology [1] (the unease that the next statement simply follows logically from the previous ones keeps growing).

In the end what is interesting is to understand his philosophical world view which no doubt had internal coherence.

[1] https://en.wikipedia.org/wiki/Propagation_of_uncertainty
Or...the BEST possible setup if you don't mind the opposite.

How did they make out with their insurance?
That's what's called a "non-constructive" proof in some circles. It /doesn't/ have a useful path forward, which makes it frustrating. There are some weird sandwiches of complexity classes - like, iirc, P-SPACE, EXP, NP-SPACE - which we know to have exactly 2 subsets plus the total subset, but which constellations? Dunno.

This is different from a constructive proof. "Here we have a problem, and all algorithms so far are in O(n^3). We can demonstrate the existence of a substructure in all instances of this problem which lowers the complexity to O(n^2.978)" would be a huge constructive proof in some fields. Such a breakthrough could lead to a large number of follow-up improvements.

A non-constructive breakthrough is like "Yup, this is a barrier. No clue why though, but it's hard."
The essay is more protectible by copyright than the recipe itself, but including it doesn’t protect the recipe itself.

I actually think the issue is that the long essay provides more space to put advertising alongside or interrupting the flow.
It was paid decently, so by definition I guess? And there was free housing, definitely cost Apple a chunk of money.
And we can all agree that french revolution values are much better than whatever crap the rest of europe was pushing?
As mentioned elsewhere, you couldn't get WiFi on basically anything, since 802.11b wasn't really available yet. I would strongly argue Apple was the leading force in popularizing wireless internet on laptops and desktops, and they didn't have it on the iMac because their AirPort 802.11b product wouldn't be available to anyone for another year.

Instead, it came out the following year with the introduction of the iBook. [1]

FireWire did not exist on the iMac right away though... but it also was not at all common on Wintel machines at the time.

10/100 Base-T Ethernet, something standard on even the original iMac [2], was also not commonplace on Wintel machines. Packing a 56k modem in from the start was also a nice move on Apple's part to ensure you had the chance to get the fastest internet possible over a standard landline, which is how the majority of internet users accessed the internet at the time.

1. https://en.wikipedia.org/wiki/AirPort
2. https://en.wikipedia.org/wiki/IMac_G3
I think that all flights in Europe I've taken with low cost airlines had both front and back entries (and exits). My memory good back to maybe 10 years and 4-10 flights a year.

I used to fly much, much more but I do not remember that far in the past.
Is there even any mechanism for this in the US legal system?

Companies and products can be regulated but the requirements need to be specific (and I'd welcome rules around personal data collection etc.) Or you can regulate an entire class of product, but then it would apply to all companies/manufacturers.

I don't see how you can ban TikTok without either being super specific about which rules it's breaking, or also banning Instagram/Youtube/many others.
There are cases when the FP way clearly has the disadvantage. That's why you need the "record-of-function-pointers" pattern. The interface-and-implementations approach is superior in those cases.
You may want to take a look at https://cs.stackexchange.com/questions/38357/is-it-really-po...

Something along the lines of this is what you would likely need to do. Take some problem that is NP-complete. Prove it has an exponential lower bound on time complexity. You've just proved P != NP. Proof of impossibility is sufficiently common in mathematics that one of the oldest and best-known proofs of anything, Euclid's proof of the irrationality of sqrt(2), is an example of such a proof (it is impossible to express sqrt(2) as the ratio of two integers).

The philosophical issue relates more to physical non-existence. If I claim leprechauns don't exist, likely few people will argue with me, but I can't actually examine the universe outside of my own past and future light cones, so I can't really know for sure there is no part of larger existence that contains leprechauns. Even events that violate accepted physics may become possible if we live in a false vacuum that collapses to a state with a different physics at some time in the future. Proving mathematical non-existence is an entirely different animal. Trivially, any universally quantified proposition "for all X, predicate(X)" is logically equivalent to "for no X, not predicate(X)," yet proofs of such propositions abound.
Thats 39% in ABQ of all hours in the year including night time.

Nobody is pretending that solar can provide electricity via night time generation. That's what storage systems and alternative sources are for.

The daylight story in ABQ is this:

> "It is sunny 78.9% of daylight hours. The remaining 21.1% of daylight hours are likely cloudy or with shade, haze or low sun intensity. "

http://www.albuquerque.climatemps.com/sunlight.php
Indeed, but not by a large margin. https://small.r7rs.org/attachment/r7rs.pdf says “July 6, 2013”
It is not the same. The US government does not partially own Instagram or Twitter, and I've never seen pro-US narratives driven on either platform. I usually see the opposite if anything.
Trade should be reciprocal, that's how most trade decisions work. If you add a tariff to foreign goods, it's expected that the other party will add a tariff as well.
Really? In which context?
this is a feature, not a bug. Companies absolutely want people with minimum outside job responsiblities, so that they can work them during the day, and pagerduty them during the night when stuff breaks.

or overwork with boat load of feature requests and bug fixes and Ops workload - this is the reason why faang's offices are so fancy, have free food, laundry, massage, and bunch of other stuff.

These fancy offices are for engineers to pull all nighters, not for tiktokers to show off in social media.

if you are 9-5 with 5 kids - you are not gonna make it in venture capital funded Silicon Valley world. 9-5 is for regular "enterprise" engineers at Initech or Dunder Mifflin Paper Company in Lubbock TX
How to Navigate Down Markets
But it also tells you everything on the page without needing to click

It’s basically the “does this replace the original content” doctrine of fair use
Building is the easy part.
That’s not what the original poster was alluding to.
Here are two demos of provisioning and reserving GPUs through our platform:

Provisioning: https://www.youtube.com/watch?v=7WyKPMS80Pk

Reservations: https://www.youtube.com/watch?v=Ab5GmfMYWKA
I think giving unfettered access to "western" culture through media and software is one of the better long-term plays for bringing us all closer and planting the seeds of liberalism in other regions.

I think an argument against it is generally the classic, "that takes generations and I don't want to pay for that today. I want my market locked down for my benefit today."
Case classes in Scala were a direct inspiration for how we designed this feature in Dart. We stand on the shoulders of giants.
Indeed. In the thread, we see that when people don’t understand something, rather than recognize that, they wrap the territory beyond understanding with superficial word wrapping. I guess it’s an intellectual/social strategy to economize mental load and also project confidence, but at the cost of curiosity and awareness.

> Difficult engineers are difficult because they’re difficult

It’s a statement with no information. Just a declaration on an intellectual map that says I don’t go past here.
YMMV, but I did not find the book to be super insightful or particularly helpful for how my brain works.

It spells out a framework that (roughly) boils down to:

0) Pick one topic at a time

1) Learning by doing

2) The doing has to be exercises of deliberate practice that push you

3) Create some type of deadline or pressure to make sure you actually stick to the task.

My experience with being self-taught is that I tend to just bounce around arbitrarily to different subjects or interests and drop them when I get bored and then all that knowledge bouncing around eventually becomes cohesive once I repeat that cycle enough times. So the concepts of picking a single topic, creating a strategy for only focusing on that topic, and then executing were difficult to apply.
Astrobotic Collaborates with NASA for TechRise Student Challenge
BEVs are the biggest example of greenwashing today. You will need a vast increase in raw material demand and it is arguably completely unsustainable. Especially once you realize that we are making battery powered SUVs.

In reality, people are spreading a conspiracy theory to mentally distract from this fact. They do not want to admit that they have been fooled by battery makers, so they create a narrative that the alternative is somehow an ever bigger scam.
It may also be some kind of small CloudSim alternative but in Rust instead of Java. I’m not sure.

https://en.m.wikipedia.org/wiki/CloudSim
Nation-states are not people. The people running the nation of which I'm a citizen have interests that are not fully aligned with my personal interests, and to the extent that the nation itself can be said to have interests, those are also not fully aligned with me or the current leaders.

Also, tit-for-tat may be emotionally satisfying, but it isn't a universal strategy for all situations. There are frequently better ways to get what you want.
I suspect, but don't know, that there's a healthy halo of synergy between consumer products and enterprise choices, where that at all makes sense. Can go in both directions, people wanting to also have the good products they use at home in the office and vice versa.

I think there are stories of companies exploiting this, Microsoft with Windows and MS Works and Office, Apple and their angling on education, Adobe cultivating future Photoshop professionals in various formal and informal ways (a relationship they've since shit all over).

Seems like a missed opportunity.
Naughty Dog used Racket as part of the development of The Last of Us.

[0] https://www.youtube.com/watch?v=oSmqbnhHp1c
Usually it's because the cooling coils ice over (up to the point of completely blocking airflow... which could cause overheating) and the downtime is to let this ice melt
Cheaper software may be a short term benefit, but gutting the domestic tech industry and putting our future in the hands of China is ultimately a massive negative.
I think legally, all they can really do is force tiktok to cut all ties with the chinese government if they want to operate in the US.
I read the dishonest employee story and, candidly, I did not find it to be an example of good leadership.

You are recounting an argument that you are proud to have won, and where you are proud to have put a subordinate in his place. In your eyes, this is an example of good leadership because you did it in a way that was merely firm rather than, say, abusive.

You achieved behavioral compliance, which is definitely better than nothing, but genuinely good leadership in that situation would have involved more two-way communication, empathy and active listening to build a mutual understanding.

By the end of the article, I'm left with no understanding of what Jerry's motives were or why he behaved and communicated the way he did. You didn't seem to be interested in engaging him more deeply to find out. Instead, you seem exclusively focused on achieving your "I'm right, you're wrong" moment.

At points, you offer uncharitable speculation:

> Maybe he was feeling lazy or maybe he was trying to defend the code he'd written in the past.

Which to me raise more questions. Why is he feeling lazy? Why is he feeling defensive? These are certainly not things that people regularly experience in workplaces where they feel respected.

I did not feel your attitude in the situation, or recounting of it, was respectful to Jerry at all. At best, this interaction feels like a behavioral "quick fix" that falls short of identifying and fixing the underlying issues and risks long term resentment and disengagement.
Sounds like Vancouver, this is why I live in South America. Good bye million dollar houses (which would actually be a steal now), hello, 50 cent cervezas.
Adrenochrome is result of oxidation of adrenaline. From the wikipedia article on it: According to QAnon, which has incorporated and expanded Pizzagate's claims about child sex abuse rings, a cabal of Satanists rapes and murders children, using the adrenochrome they "harvest" from their victims' blood as a drug[23][24] or as an elixir of youth.[25] In reality, adrenochrome is synthesized, solely for research purposes, by biotechnology companies.[26][27][28]

So if it had any benefit to anybody, instead of most-likely being a poison that the body recycles, it's synthesizable and available all without killing young children.

https://en.wikipedia.org/wiki/Adrenochrome
> but their incentives aren't to destabilize their allies

Why not? Take that “green” politics for example that lead Germany to close a lot of atomic plants and, now, basically, at mercy of US gas (which production surged 80%, if I’m not mistaken)

And then US subsidies to move production to US so that some VW plant is cheaper in US than in Germany
The Watch has a number of integrations which depend on Bluetooth - it uses less power and most people do not live with continuous perfect Wi-Fi coverage.
Yes - but why when you can get a multimeter for $10 (incl shipping)? So much more useful for so little extra money (since those $1.49 battery testers on ebay cost $2.50 to ship anyways, and they take 20 days to show up).
I wonder if they would support a ban of Temu, with its older demographic than TikTok.

I get its apples to oranges, as Temu doesn't really "influence" one's views like TikTok does, but still.
The first sentence of your initial comment I responded to was ‘It would be great if such "creative" works were simply impossible to monetize.’
Why Eneloops instead of rechargeable batteries? Is there an advantage?
It's an engaging book. It's also really, really rejected by historians from just about every possible angle. The AskHistorians subreddit has an entire "frequently asked questions" section dedicated to it:

https://old.reddit.com/r/AskHistorians/wiki/historians_views...

And don't let the reddit part fool you, AskHistorians is arguably one of the most high quality history forums out there, as the mods mercilessly enforce really, really strict rules that demands giving in-depth answers with sources. That page has lots of other in-depth answers on other popular "big history" books too, quite a sobering read honestly.
> A philosophical issue of not being able to prove a negative, you really can't prove that there is not a way to solve a problem fast.

You can definitely prove negatives, and we do so all the time. There's the undecidability of the halting problem, for example: there is no algorithm that can be expressed in a Turing-complete language that can determine if a particular program will halt or not.

Another fun one is the unsolvability of the quintic. You know how there's a formula for solving a quadratic equation (https://en.wikipedia.org/wiki/Quadratic_formula)? Well, there's also one for order 3 polynomials (cubics) and order 4 polynomials (quartics). But order 5 (quntics)? There is no formula that can solve quintic equations using addition, subtraction, multiplication, division, exponents, and radicals (square roots, cube roots, etc) in the general case. The theorem actually goes even further by providing explicit examples: the equation x^5 + x^3 + 1 has a root, approximately equal to -0.83762, which cannot be expressed in terms of the operations I listed above. This is all the consequence of Galois theory.
I'll preface this saying that I'm not an expert on dehumidifiers and don't work one them, but I do have a background in hardware electrical design and thermal engineering.

There are different types of dehumidifiers, typically you'd use a refrigerant based system. Without proper ventilation the compressor can overheat, the refrigerant is also typically flammable, lubricants also. Design flaws and not maintaining the system can cause reliability issues. If a device has been designed by a competent team, there should be a thermal cutoff ie when the motor gets too hot it will shut down. A badly designed system may not have this at all, or the thermal sensor might be somewhere stupid meaning the measured temperature isn't the one that matters, its also possible the cut off is too high. It's also possible a crap compressor/motor is being used and driven too hard for the use case.

Bad wiring is also possiblly an issue.

With a peltier system. They use a lot of power. Components can get really hot such as the power electronics used to drive the peltier cooler.

Another poster mentioned water and electronics together with poor design can cause fire risks. This is absolutely true.

Without actually having these failed devices I can't really give much more insight than that. But I hope it gave anyone a basic idea.
> How many people have more than 8 tabs open at once?

Basically everyone I know, techie or not have many many tabs open, always. I might have 200+ at the moment? Something like that. They are hidden in containers so I don't see them all but in this current window I have maybe 20.

I never liked vertical tabs, takes up too much screen.
Some problem domains are inherently complex and the code written for them needs documentation. Some are not but get complicated during the design process and perverted into abominations that wouldn't have required documentation if the design and source were more readable.

I'm inclined to say that if you name things obviously and avoid cutesy idioms (AOP/reflection magic, ridiculous object hierarchies, etc) that code can be quite grokkable with little documentation. Of course this falls apart once you start dealing with hundreds of microservices or decades of tech debt but such is life.
Sometimes a measure of jingoism is a good thing and sometimes kids are complete idiots.
They should also ask how many favor total ban on all trade with China. I suspect that sentiment is much more popular than they’d like to admit. TikTok would of course be banned along with everything else.
So what do I do, if I have a closely-related product that isn't on the list? ADEL20LYQ1
I recently rented at a place where the owner used Google Nest Wifi to get coverage of the whole property. One of those devices was placed in the window sill in my bedroom and didn't really cause any issues at the start. Until one day it replied to something I said and I found out it had a microphone, because of course it does.

When I found the hardware switch for the microphone the whole base of the device lit up in orange, with no way of turning the LEDs off without turning the microphone back on. The device also started speaking every time I touched it to "gently" remind me that the microphone was turned off while I was putting tape over the lights. I had to 10+ thin strips of duct tape in multiple layers in order to remove most of the light it radiated.
Oh it was definitely possible to find monitors like that, but my experience of using Macs in my school's computer lab and having a Performa at home, 800x600 was a big deal, and 640x480 was still the standard well into the 90s.

And wow, "true color" modes - now I remember having to make that choice, too! 8-bit with higher res, or 16-bit (I think it was described as "thousands of colors" at the time... and it looks like there was some scandal around the phrase "millions of colors" that Apple used: https://lowendmac.com/2018/millions-of-colors-vs-thousands-w...
> While Facebook and Instagram might be 'evil', they're considered 'our American evil'.

Yes, the business operations of Facebook and Instagram are fundamentally accountable to American lawmakers, and thus voters, in a way TikTok is not. That accountability is imperfect, indirect, and weaker than it should be, but it is a different situation than TikTok.

Despite a lot of hullaballoo, I think it would be exceedingly difficult for any one person to purposefully (!) tweak the Facebook algorithm to benefit a preferred political viewpoint. Someone—an engineer, a shareholder, etc—would notice and blow the whistle.

By contrast, there is no doubt in my mind that the CCP can make ByteDance e.g. downrank messages in support of Hong Kong. ByteDance is a private company in an authoritarian nation whose government explicitly has this legal power! I don't think it's jingoism to believe the CCP should not have control over a major American media platform.
It doesn't need to be impossible to remove, just illegal to do so.

It's like cars - you can driver faster than the speed limit, but if you get caught doing so, you may be punished.
Much the way aluminum producers guarantee load for hydro power producers, airports will consume overproduction by nearby solar farms.
Selling performance optimizations is another option. It's not relevant to startups and individual users, but can be relevant for enterprises, who spend millions on cloud.
You don't know how to transform the string "12345" to "12346" in a mainstream PL?

I don't think "valid applicant" and "doesn't really grok strings/types" are compatible, outside of intern/maybe junior positions. The filter works.
HN has huge numbers of articles on the technical side of software engineering but very few on the people side. Even if this is just one slightly idiosyncratic take, I still gained more from it than yet another article on LLMs, or the most efficient low level code possible in C++ or Rust, etc. Hopefully there are more similar submissions. Also, when people complain that it talks in idealised, simplified models rather than real world messy people: there's obviously no way the author could write up details of real people, so non-personal generalizations is the best that's possible.
https://archive.is/oiVz2
Found we have one these. Glad The Verge covered this
Nice. Just ordered the 64 GB of RAM to max out my computer w/5600G at 128.
> So why aren't we there? Where is Clojure-on-WebAssembly? Where are the F#, the Elixir, the Haskell compilers?

There's this and other similar projects: https://github.com/helins/wasm.cljc
This is classic Vancouver. Is dancing still banned on the Drive? Sadly he's not the Bukele the far left sold me on.
Representative democracy would be there if major of the burned city makes the decision.
I'm working on https://apispire.com - APIs as a service (authentication, mail submission etc..) nothing fancy.

I have to finish the front end but I don't like to do it so I'm constantly procrastinating..
Funny is that I wrote the backend in nodejs, later in .Net, and at the end with golang but I never finish the frontend...
Does the US have a great firewall? Is it even in the same universe of information control as CCP?

“This other government is provably controlling information flow and punishing thoughtcrime” is plenty of justification to be suspicious of China’s motives in a way that doesn’t feel blatantly hypocritical to me given that we are on the receiving end of similar suspicion by our allies and enemies.
What’s the beef with Tik Tok? Just because it’s Chinese? It seems less biased than Facebook or Twitter.
Guy long-term sneaks into Apple buildings to get his passion project shipped with Apple's first PowerPC Macs.

But my summary really doesn't do the interview justice. Highly worth listening to.