skysight-inc/HackerNews huggingface dataset:
Infineon: https://www.infineon.com/cms/en/product/power/gan-hemt-galli...

Nexperia: https://efficiencywins.nexperia.com/efficient-products/mosfe...

TI: https://www.ti.com/lit/pdf/tiduds8a
Google runs KGB ad with bound prisoner apologizing for criticizing the govt
How many good discussions have you had after calling the other person's position irrational?
if you had read the article the guy worked 11 hour days and then came home and learned to program.

>As a commercial and residential plumber in metro Atlanta, he pulled 11-hour days working some of the dirtiest, stinkiest problems in the country.

from third paragraph.

later on

>Over the weeks that followed, Daniel forced himself to sit down at his computer after those 11-hour days. He grappled with Python and Javascript in the back of his work truck. One minute he was wrangling sewer pipelines - the next minute, CI/CD pipelines.

So I don't know, are you serious?
I wonder if ell see a three layer run time going forward. Bottom layer is about hardware partitioning and Ressource sharing.

Middle layer is networking, file systems, ACL, monitoring, graphics and other acceleration in a rich os. Or monolithic deterministic real time blobs. Or small dedicated OS partitions for, security or similar hardware jailed applications.

Top layer is containers/jails inside the rich OSs.

Then fuchsia is a candidate for the bottom layer and for the security OSs and maybe for specialized OCI payloads.
What many people seem to do is associate NFTs with art. Art is a subset of what NFTs are used for. We're in that phase where the first apps on the iPhone were the beer pouring ones, as that was the only way they could figure out how to use the gyroscopes. More use-cases will come, as the tech matures, the tulip manias fade.

I'm incredibly bearish about art via NFTs, but I see potential in non fungible tokens / smart contracts more broadly. Look at how successful NBA top shot has been...collecting digital moments that can be seamlessly traded on a market place. That's like baseball cards, but more convenient. In a future that will increasingly be more digital and VR is slowly gaining stronger foothold, it will be easier to show your friends your digital collectibles collection than it will be to show your baseball card collection. You can also guarantee its authenticity instead of hoping the shady seller on ebay is honest.
Facebook thrives when talking about Facebook so stop talking about it
Like anything in life, the value and integrity of something is maintained by the community who uses it, a platform is just a tool for people to use.
Yo more complexity !
They(AWS) should hire the UX team from "Hetzner Cloud Services" - sure it doesn't have the same features, but dammit it's super easy to navigate.
> I'm of the mindset where an organization needs to agree to specific principles that everyone adheres.

Agreed. But GP was talking about context dependency of those best practices. E.g. what might be a good best practice for a large organization inside a FAANG might be very bad for others. Some organization have very immediate feedback cycles. A significant problem in Amazon's online shop will probably show up immediately in sales numbers. A significant problem in the control software of a plane, might kill a few hundred people in a few years before people realize there is a problem. Therefore you cannot a/b test which auto pilot works better in a certain situation. (Although Tesla might disagree about that /s).

The point is every so called "best practice" should state under which precondition it is supposed to be applied. And most blog articles and books ignore that completely.
> In this way, our type theories and logics are tailored to how humans most comfortably perceive the world.

Is there any field of study where the whole point is NOT to make concepts understandable by humans?

It could be interesting to let AI, for example, use theories that are easy to "understand" by computers instead, whatever that means.
Pug is HTML but beautiful and more powerful, I’m surprised it hasn’t been brought up.

The best format I’ve found to author web pages, though, is definitely MDSvex [1], which is essentially markdown with built in syntax highlighting for code blocks, vanilla HTML if needed, and Svelte / Svelte components for any reactivity / reusable components if JS is needed. Stick some pug in the Svelte Component and I’ve got unlimited power in a beautiful, readable syntax with 0 boilerplate, all compiling to vanilla HTML and optionally hydrating JS. Love it!

[1] https://mdsvex.com
You also have to feed the cows, which requires food. And by normal concensus only 10% of energy is transferred to the next species.

And producing food for cows causes more damage than making same food for humans. (Deforestation, Soy plants, etc emitting more carbon)
600 baud? FSK at 600 baud is marginal. It would be interesting to see the receive side.
And even more land that becomes too hot, too dry, or not sustainable local sustenance
Slavery took a civil war to be abolished in the USA. Child labour only ended following massive strikes that were violently repressed at first in Europe.
I take your point but it might not have been snarky - for example, HN has a lot of non-native English speakers and different languages handle affirmation-of-negation very differently.

https://en.wikipedia.org/wiki/Yes!_We_Have_No_Bananas
I am not sure if I read you right here (correct me if I am wrong), but do you say that safety and stability concerns lead to bloated software because devs cannot blindly trust third party dependecies?

Because if so, yeah. You are responsible for the software you write and the dependecies you use. Software engineering is one of the least responsible engineering diciplines anyways. I am e.g. also a certified electrical engineer and of course I am responsible if my wrong decisions kill someone. If I would use a cheap chinese knockoff circuit breaker (because we can iterate faster if the stuff isn't expensive and certified) and someone gets killed, I go to jail. If someone gets killed and I can proof that I followed the currently agreed on state of technology my ass is covered. Of course you can get a lightbulb to light up without following any rule (and maybe this would be more efficient), but in EE the existing rules came as a consequence of deaths and rhe prevention of those is worth it.

In software engineering the worst that can usually happen (unless you work in IOT or industrial applications) is that you loose your user data. Many software devs don't care about whether they loose their users data and there are no tangible consequences. "Oh it was a software error" is still a good excuse, as if there was nothing which could have prevented that software error. I program software myself but I am al for stricter consequences in our profession because it would straighten out some heads who think this is all just fun and games for their personal joy.
You're clearly misunderstanding what I wrote, which is likely because of my poor phrasing.

To phrase it differently:

Climate scientists generally think that cows are an issue, but I do not have the qualification to judge wherever Dojis claim (that they don't matter) has any truth to it, as I'm not informed enough to form an opinion on the matter.

Doji did not claim that modern agriculture isn't harmful, they just addressed cows specifically.
I would go further and say it is the exploitation of emotion to whip people into taking opposite stances (or a wanted stance) and thus hindering any dialectic or reconciliation process. We all can see how this campaign is a 24h show so there is never any respite to cool down and take a breather. Disinformation is a tool to those nation states or political parties who have the power to wield it.
You know back in CS class we had to go over the THERAC25 problem a lot. It wasn't so much about the specifics of the incorrect code, but more about the hubris that it "couldn't have been the code".

It seems like with self driving, it's like 45 companies just started making clones of the THERAC25 where they "are pretty sure it's fixed now, this is easy". It's the same damn ego.
A lot of people on here are aggressively expressing skepticism of NFTs while only giving simple easily refutable reasons. It seems like they're trying hard not to understand. That's what happens when people have cognitive dissonance. Perhaps they've spent their whole life building a slightly incorrect mental model of how society works and NFTs don't fit that model. It's easier to deny the value of NFTs than to change their mental model. The denial has to be aggressive because it's so emotionally dangerous to let yourself lose your grip on your existing beliefs. That kind of hysteresis or stickiness of beliefs is a good thing because it allows us to build elaborate consistent useful models of the world without upending it at every random new idea. But it also means old set-in-their-ways people aren't good at adopting cutting edge ideas.
But that's Russian Youtube right? So it's controlled by Russians and decisions are made in Moscow. Only way of fixing it is quitting Russian market.
API to generate images on the fly like

https://img.bruzu.com?bc=gold&a.t=Hi&a.ff=rye
A trip of 364km should not take 3h45 or 4.5 hrs. 2 hours should be expected on a route like that. The train would go at 185 km/h average speed. That is not even Japan or Chinese style high speed - just a well maintained railway infrastructure. With a 2 hour trip time you could get many people to switch...
Microsoft Teams? No they didn't drop Electron for RN/RNW. They dropped Electron for Microsoft Edge WebView2. I might be missing some sarcasm though
If I am reading you correctly, all you need to get what you describe is the a -> m a function. Once you have that, it is trivial to go from (a -> b) to (a -> m b) as below:

f :: a -> b
return :: a -> m a

g :: a -> m b
g x = return ( f x )

The critical piece of monads is the ability to turn a generic (a -> m b) function into an (m a -> m b) function.

Essentially, if you have a two argument function whose output is your monadic structure, you can turn it into a function where both arguements are your monadic structure. This is useful because it enable compostability.

Since I'm pretty sure the above would confuse people who are not already familiar with monads, consider nullable types:

f :: a -> Nullable b
g :: b -> Nullable c

Suppose we want to compose these into a new function, h (switching to a more C like notation:

h :: a -> Nullable c
h(x){
maybeY = f(x)
if(maybeY == Null) return Null;
y=maybeY.get();
return g(y);
}

With monads, if you let g' be the "modified" version of g that we discussed above, this just becomes:

h(x) = g'(f(x))

In Haskell, this ' function is called =<<, and has its precedence set such that the above would be written as

h x = g =<< f x

Although you often see it written the other way:

h x = f x >>= g

Or with some nice syntactic sugar:

h x = do
y <- f x
g y

In this last case, you can notice it reads exactly like the C-like code, except there are no explicit null checks.

Another common example is lists. You have functions that take a value and return a list of values:

f :: a -> [b]
g :: b -> [c]

You want to apply g to every element of f and get a 1 dimensional list containing all of the results. This is commonly known as flatMap.

h :: a -> [c]
h(x) = f(x).flatMap(g)

This looks simple, because flatMap is already the monadic bind operator. We just gave it a different name.

h(x) = f(x) =>> g
Well done!
The only issue I have is that I receive top HN via Pushbullet, a link straight to HN, I wonder how can I quickly open a specific entry in Haxplore?
I’m surprised so many people use the website in mobile over the many great HN Apps out there. Octal on iOS is one of my favorite apps.
That's a good idea. Anybody have any nominations?

In the meantime, Kyle from Cruise has some posts in this thread: https://news.ycombinator.com/item?id=28710098
> Now I want to understand in a similar fashion why the incompleteness theorem makes type systems incapable of preventing all bugs

I think the article has this a little wrong.

The theorem in programming terms I think simply means that there are some programs for which another program can't prove certain properties.

But in theory you can restrict yourself to writing programs that can be proven completely.

Even then though, you won't eliminate all bugs, and I think that's the part the article gets wrong.

Type system don't prevent bugs, they help you prove properties, but the programmer still needs to come up with all properties and edge cases themselves and set things up for the type system to prove those, and there's a lot of opportunity for the programmer to forget about a lot of properties or to have a bug in how they're trying to prove it.

Finally, there are only so much you can prove in a general way, in that there are only so many properties you can try to prove.

Just think about it, you can't go listing all possible inputs and asserting all possible outputs because as a programmer that would take way too long. So you try to come up with shortcuts, which will be properties, maybe you say alright so for even inputs I'd expect even outputs. Now maybe you use a type system to prove that. But you can still see how you've not proven that it returns the right output for every single input, just the property that even should return even. And that still leaves gaps for bugs.

But none of those have anything to do with Godel's incompleteness theorem, those exist even if you restrict yourself to programming only in a language for which type systems can fully operate in.

Disclaimer: I'm no expert in this though.
But you don't own the art. You own the receipt for the purchase of a hash of the specific digital format the art is stored in.

Note that there are definitely currently ways for digital artists to make expensive art, and that's in the form of commissions. If you really want to support an artist, find one you really like, and pay for a commission from them. You may also be able to pay more for forms of copyright (like reproduction).

NFTs are the worst possible way for artists to make money from digital art.
Apple and Disney among companies backing groups against US climate bill
Ah, yes.. lets talk about something that is cyclic in nature of producing and reusing - even if it is cattle, and ignore the carbon adding elephant in the room that pays lots of media to shape the discussionscape to be about anything else but gasoline driven mobility.

Agriculture always had the lousiest lobby, thats why its discussed so much, while the car industry and industry in general happily gets ignored. My parents farm went almost broke, while the newspapers in germany discussed the dangerous climate and environmental factors of farming in great detail. Not a word about VW, BMW, Mercedes and many others.

I'm all for going vegan, but then in a combined deal. Full vegan, with full stop to petrol cars- at the same time. Everywhere on the planet. Tie it all together and watch the discussion distortion artists squirm.
Most real large scale is actually white box clos switch networks.
How many years until General Direct Dialed telephony dies? (2019)
> What am I to do except

You are not to «[feel] and forget». First, you are to be aware that there are systemic failures (which could even save your life, same as a dispatch "rabid ferals invaded area"). Then, you are to demand that the systemic failures are fixed. Republic does not just mean "there are no kings above the rest", it means matters are everybody's business.
> Cloudflare claims that AWS marks up egress by 4-17x depending on the region, but this isn’t about making money off egress directly.

Euh, 4-80x , the 80x is for EU and the US.

https://blog.cloudflare.com/aws-egregious-egress/
And then during the night we do... ? (We should also probably mention the fact that unlike nuclear, decommissioning and recycling costs are not included upfront, so you should budget for those too).

Solar on itself can only be a very small part of the solution. It needs storage most localities don't have the budget, place, technology to build.
This is completely subjective but it always seems to me like whenever these sitdowns happen it's nothing but an opportunity for politicians to posture and get their soundbites in to clip and re-use in Twitter shorts and campaign material with not much actually happening afterwards. The only time giant companies actually seem to change course is when rumors of upcoming regulatory pressure from the FCC or something like that start up.

I understand that I might be cynical but even when they're not just producing cringe at these hearings, they always seem to do the Ted Cruz thing and so I've stopped expecting anything to actually happen...
I assume that by "violence" we mean, like, physical violence, things like beating, choking, tazing, tear gas, shooting, etc., things by which one is exerting power over another through physical exertion, in a way that can directly cause injury or pain.

"using violence against someone" doesn't refer to "taking advantage of an implicit threat of violence", it means actively doing violence (or actively directing others to do so).
Promise<Promise<T>> is collapsed to Promise<T> automatically, which violates monad laws.
@dang, hey please reset word wraping in title, its causing word break in most of the titles in mobile which reduces speed of checking them quickly.
Yeah, but what else can you do with digital art? Buy the PC it's sitting on and only share it via webcam of the screen?
In the article they say there are 50feet waves. But it's hard to appreciate that on the video. Is there a way to better look at these picture to get a better sense of the scale ?
> I see AI not as a replacement, but as a tool – one that opens doors for artists to express themselves in new ways.

New ways? Aren't current AI extremely conservative? For example github copilot which simply copy pastes decades old code encoded in its model to complete a text.
I haven't heard of food or water supply collapsing due to Covid, at least not in the developed world. Agree on medical and desaster plans and supplies, it seems everyone ramped those down after the cold war. besides masks, which became scarce early on due to China shutting down its economy in the early days of the pandemic, medical supply chains also continued to work, hospital resources being a bottleneck notwithstanding. And from experience, even masks were still avaialble as early as February 2020 in large quantities directly from Chinese suppliers.
My view is that the professor was looking to ruffle feathers and try to convince the student that their request was absurd. I think trying to sway someone over to a particular side nowadays when it comes to morals or ethics is asking for a figurative belting, and I don't think he was blind to this possibility. It is despicable that he was made an example of in the way he was, that being said, while the professor's response was not in any egregious moral violation as far as my standards go, I would not have responded like that at all.

The real issue here was that some students were affected emotionally by something significant before an exam and this particular student was asking that leniency be shown towards them, if you strip away demographic descriptors. My response to this would have been to ask the student to refer _any_ students affected by the events to contact me to determine leniency on an individual basis. It puts onus on that student to refer people. If they were only looking to stir the pot, they likely wouldn't have referred anyone and that would have been the end of it. If there were students referred who were not in the right headspace to handle the exam at 100%, then that's fine. At my university, we had exemptions for exams based on personal circumstances. I wouldn't see this as any different from that.

With that aside, I do believe this particular student was being an ideological charlatan and that their request was not sincere. The excerpts in the post read like bait imo. This seems congruent with immediacy of the outrage that followed, and the petition.

edit: grammar mistake
It's all about incentive I guess. What do they win by supporting ipv6?

From the service provider point of view, as long as their customers can reach them with ipv4, they have no reasons to switch.

From the customer ISP point of view, as long as services people use provide an ipv4 option, there is no reasons to switch.

Maybe the ones that have the most reasons to switch are new internet services and new ISP which might have a hard time getting ipv4 blocks. But that's just one more reason for established services not to move too fast :/
Correct – which I'm realizing I Streisand'd and attracted more attention :)
But you don’t need NFTs to sell a digitally signed copy of a picture for say Bitcoin.
My use case is for mostly read-calls. I just tried it for DynamoDB Table, SQS Queue, SNS Topic, and EC2 Instance, Kinesis Stream. With these resources, only Kinesis supports List call. SQS Queue & SNS Topic does not even support READ. It might be useful for resource creation, but I would go nuts to discover what resource and what APIs are supported.
It was an app for viewing, exploring and analyzing certain large, complex heterogeneous datasets. Both features where, at their core, essentially an additional novel way to view and explore that data. It's just that the second one really clicked with a lot of people in ways no one predicted.

If was to draw some conclusions, it would probably be that the successful feature made a common task a little bit easier for a lot of people in basically all use cases, while the 'failed' feature attempted to add an entirely new type of analysis/exploration to the application that it turned out people didn't need as much as they thought they might.
Neither hackers and the NSA right?
I think it was part policy making part witnessing the end-game for a lot of smokers.

The cool factor goes out the window.
That would be an interesting one, as most(?) christians believe, there is none, as he ascended into heaven, so they would not believe it to be the right body, but honestly, how on earth could you prove it? (from historical evidence, it is not even clear, of whether he existed at all)
The alternative: They get delivered by their parents in the fat SUV, congesting curbsides in front of schools.
Ashby (YC W19) Is Hiring Engineers and EMs (US and Europe)
Weird, does this apply to EV's, too?
Sure it won’t be like the Webcams that were possible to spy on, in spite of being turned off?