skysight-inc/HackerNews huggingface dataset:
> Are derived community works, like say the D-language, Dart, or Zig bindings to the win32 API which are generated from those files open source - if Microsoft did not release them as such?

Certainly. The source for these bindings is the WinMD file, which is MIT licensed. While it is true that its contents are generated wholly from non-FOSS sources, it doesn't impact end users of the metadata. Microsoft owns the original IDL/headers and can choose to license any related work however they like.
Replicas of Popular Webpages in Plain HTML/CSS
There is plenty of opportunity in being more efficient. To give an example, houses in the Bay Area has gray/black roofs. In the summer such roof receives about 10kW of energy and readily converts it into heat. Heat, which we are trying to evacuate from the house with our super-efficient heat pumps in the air-conditioning units.

If only we'd painted these roofs with white reflective roof paint (~92% reflection). We would have removed ~8kW of heating from such roofs! And then, maybe, we wouldn't have to pump all that energy into air-conditioning. So the surrounding air would be cooler, less noise would be heard from air conditioning, less energy would be spent. And the cost? 4 gallons of white reflective paint and a couple of hours of work, painting the roof...
Yes. Dynamic types, mutability and complex OOP types are the toxic mix.

It is very hard to make large programs simple, but lisps are some of the best PLs for that, especially if you stick with immutable data.
> I was looking for any, if there was.

I would say in summary that no, we don't have any evidence. Evidence that people have tried to present has been found to be flawed in peer review.
Luke warm showers to me - these points need good sources to back them up to be really cold.
TLDR

> At this time, I would not recommend spending time on V. I would also be very cautious when taking claims made by the authors at face value.
Most heat pumps aren't going to last 30 years. Passivhaus only needs 1500W maximum of heating, so they usually don't use heat pumps.

Wind and solar also lock in natural gas usage, because they don't provide inter-seasonal storage or even intra-day storage.
Whoa, whoa, don’t get ahead of yourself there
Because of electrons, they are moving charge wich does interact with magnetic field. At this strong levels, it's quickly detrimental for molecules.
Fair point, but I still think ripping streets up only a couple of months after paving them is bad planning. Very bad planning. Sometimes I wonder if councils in the UK are deliberately badly planning highway work so some contruction companies can constantly have work to do. I honestly believe if you dig deep enough you will see part of this whole "always under construction" is a result of some sort of corruption. Otherwise who would, in today's age, build a road to only rip it up again to install some underground cabling?! What were they thinking when they built this only two months ago??
When I read that same bit it sounds more like you can offer a product, such as some tool for your service, built on top of the library. You can't offer the library itself as your product.

My best guess at a transition point would be, does reading the documentation of the library help the end user? If so you are probably releasing the library as a product and not your own product.
The Voyager crafts generate a never ending supply of news articles about leaving the solar system or shutting down, because there plenty of different moments that are considered "leaving the solar system" or shutting down, and there are multiple Voyager crafts as well...
If inflation is a property of money itself, why would price increases only be visible in certain areas?
That's an interesting perspective actually, thanks. Being UK based it's not really a thing here. Or maybe it is and I'm oblivious!

In which case, point taken re the difference between simply 'well paid' and that very top tier.
There are git options for managing these difficulties like:

git config --global submodule.recurse true

https://git-scm.com/book/en/v2/Git-Tools-Submodules search for "git config"
There's no evidence of the absence of the easter bunny, but we are happy that he probably doesn't exist since there's an absence of evidence.

Write up your experience with null safety as a paper and submit it, because this would be a world-first if you can demonstrate it.
Has anyone read the book or tried this?

It all feels very surface level, though some of the challenges listed on the site (e.g., being exposed to too much info, not remember books well, reading too many articles, etc.) do resonate with me. Everything is so vague that I can't help but be very skeptical.
> It seems like no matter what Apple decides to do, every single designer will blindly follow them.

While iOS was still skeuomorphic - first app I had that was flat was made by Microsoft. (Photosynth app)
Depending on the model, the camera might be physically disabled when the lid closes. [1]

In general, if you don't trust a device one hundred percent, you shouldn't use it anyway. You have no way of knowing whether or not your company enabled the root user and added some shady, untraceable-to-you software prior to giving you the device. Also, Apple MDM software is zero-configuration, so they wouldn't even have to open the box. [2]

Why not just ask your employer what kind of tracking they do, though? I would totally understand them tracking the location of the device for insurance reasons, as long as they are transparant about it. It's still company property. "Listening" to the microphone seems a major breach of privacy whether you're at work or at home, and I'm sure your local laws prevent you against that kind of corporate behavior. Also, who would want to work for a company that does that, anyway?

I'd just use my personal device for personal stuff.

[1]: https://support.apple.com/en-gb/guide/security/secbbd20b00b/...
[2]: https://www.apple.com/business/docs/site/Mac_Deployment_Over...
This blew my 12 year old mind when someone said this about that Furby toy back in the late 90s.
> not competitive in the slightest.

I prefer collaborating and building a team. I find people who “like to complete” to be short sighted, and often produce bad work over the long run - they already think they are “the best” and often don’t improve in a broader picture. The cup is already full so to speak.

Almost all paths are for “type A”s in the tech world.

Seems people didn’t learn anything from MoneyBall.
Is it a 13” MBP? If not it’s not relevant to this discussion
I think the sort of person FAANG wants to hire, knows how much they can get from moving and has either already relocated or found remote work.
> Maybe the whole world must push for GDPR-like regulation

Indeed, I agree.

> I would question if anyone else made more for privacy in the last few years than these two (Maybe Firefox?)

Apart from Firefox, consider GNU/Linux phones (Librem 5 and Pinephone), Mastodon (and other things based on ActivityPub), Qubes OS with Whonix and many other amazing projects.
I'm not really seeing much evidence for this other than this tweet. And the site seems to be working fine. I want to watch Tether go boom as much as the next guy, but this one might be fake news.
>You are thinking only from the side of a customer, who already has it easy with the existing payment networks.

And you're pretending the customer doesn't exist by saying that crypto eliminates the chance for fraud. That's clearly a lie.
Those systems are proprietary. Once they scoop up a sufficient chunk of market share, they will abuse their networking effects to raise their fees and become less consumer-friendly. You will forever be stuck in the same situation trying to get people to switch to a cheaper, more competitive "underdog" system again and again.
most modern ones got rid of that
> It was a response to a comment, not the OP.

You were elaborating on the comment, weren't you? And that comment was quite vague too.

> There is nothing "bad" about submodules.

The difference between "what are uses and misuses" and "what is good and bad" is not enormous. I think you're nitpicking. Plus, there are things that are flat-out bad. It's a human-made program under constant development, after all.
Keitora: Tiny Japanse Trucks [video]
Your link is broken due to the period not being included in the URL.

https://en.wikipedia.org/wiki/Nasdaq,_Inc%2E
> We are adding optional static typing to it,

Why, if not for reducing bugs?
Most exchanges don't make any money from trading itself, the tech is demanding the margins are thin, it's very competitive etc. They make more money from selling data (market data). Outside of that, anything that pads the bottom line is good news.
This makes some sense for marketing/tone of voice guidelines.

Like enforcing some specific wording for company brand names, etc.

Heck, try to input -iphone- in an iOS device and it will kindly correct you to iPhone.
Well, he DID face a 1980 primary challenge from Edward Kennedy, and barely won his own party's re-nomination with 51.1% of the popular vote as a sitting President. He was pretty well eviscerated by both the left and right a decade or two back, when he published a book labeling Israel's policy toward Palestine as "apartheid".

Speaking as a left-leaning resident of Georgia, it seems obvious to me that Jimmy Carter is not all that well-loved by his own political party:

* Part of this is because he made the mistake of bringing his own people when he went to Washington, instead of populating his administration with more federal insiders.

* Part of it is because he lost, and no one likes a loser (I'd say that Carter's place in the Democratic Part is similar to that of George H.W. Bush, without the legacy of an heir going on to serve two terms).

* And I believe that part of it is because, on the heels of the Civil Rights Act and the re-alignment it ushered in, Democrats were never all that genuinely enthusiastic about having a white Southern leader. It took 12 years of futility for them to embrace Bill Clinton (see point above, about how people more fondly remember Presidents who win re-election). And even Clinton's legacy has picked up a lot of tarnish over the past decade.
Working in a huge Ruby codebase, I know not the same, but still super super dynamic my approach is

1. If I don’t understand what code does just delete/noop it and see what tests fail.

2. Write my assumptions into new tests to be very loud people if someone wants to break them. Easier said then done with frameworks/callback patterns that want to call my code from god knows where but really powerful when you’re pulling a value.

3. In the case of callback spooky object at a distance stuff be strict about what you accept and fail loud.
Clojure has a few options here. Typed Clojure is a set of macros for enforcing typing, conceptually similar to Typescript (and like Typescript, I found it hard to incrementally retrofit in a large existing project), and core.spec, which is a way of declaring DSTs validations, which I found useful without cramping the Clojureness too much. But it’s been a few years
If the company went bankrupt, the liquidator tries to get as much money as possible back.

I know from one case where all the IT equipment was sold to an auction house.
> That measure specifically exempted fossil fuels.

This statement is highly misleading. Fossil fuels are exempted, but only for a limited number of circumstances. The wikipedia article you linked only mentions fossil fuels being used for electricity generation being exempted. Furthermore, you failed to quote the rest of the paragraph, which mentions fossil fuels make up a minor part of electricity generation in Washington.

"However the majority of electricity generation in Washington state is derived from renewable sources. [...] The same analysis further indicated that only 4% of Washington's energy comes from burning coal, [...] Natural gas currently accounts for only 10% of Washington's energy generation, according to the Washington Post analysis. "

>Also, midterms have a much lower voter turnout and in Washington it was 58.9% in 2018 vs 75.71% in 2020 [2]

Except that the 2018 ballot measure wasn't the first time Washington tried instituting a carbon tax. They tried 2 years before (not a mid-term year) and that failed even harder, 41% to 59%.
There aren’t many applications if any in which a blockchain can’t be replaced by a simpler and more efficient solution.
I've had multiple friends in that bracket explain to me how they saved tens of thousands through "tax optimization strategies" involving crypto wash trades or fraudulent home office deductions. If you've ever gotten options from a startup, you've probably benefitted from the 409a valuation process, which is quite a lot better than the "make up a number" process it replaced but still provides a lot of wiggle room (except at the end of a fundraising round) to produce an artificially low valuation.
Almost all of the null pointer errors I've seen came from not fully thinking things through. I can see the same mistakes happening with non-nullable types because someone got lazy and passed a default value or something. You get the benefit of the compiler shouting at you for not initializing a variable, but that won't necessarily protect you from not thinking every situation through / lazily passing default values / making poor assumptions.

I'm with GP, I'd really like evidence of this before people continue shouting things which aren't proven.
> Why, if not for reducing bugs?

Maintainability, tooling, and some people would argue for reducing bugs - but I'd challenge them in the same way I challenge you - can they prove it? And I would guess that they cannot.

If the person I was replying to was saying that they could not imagine a large system without types, and well they don't have to since I gave them a real example.
How cold does it really get? This could be great for a wine cellar.
Yes, that's why I wrote "probably".
Ask HN: How do I make this project useful?
https://tcpdumpcompiler.com/ebnf.html

I thought I was on to something here.

There have been times when I have needed to look for a needle (or needles) in a linux terminal haystack. Maybe you do not have confidence in your SIEM or have access to a PCAP, and all you can do is SSH into the box/router/etc. you are investigating. But maybe you need a highly tailored network filter to find what you are looking for.

Wouldn't it be nice if you could have a simple way to build up a complex and arcane BPF expression?

'Show HN:' indicated No.

What would turn this into something valuable?
"Hello, welcome to Japanology Plus, I’m Peter Barakan."
Also, where do companies rid of their old MacBooks/servers that they phase out?
Ahh, I'll take a look thank you!
Ah yes, can't wait for a 250 page book that should've been a blog post full of high-level content that you can easily find online, padded out with tenuously linked anecdotes.
>Reverse chirality autotrophs sound like a scary sci-fi novel plot

I doubt this. 'Not being digestible' is very far from 'being invulnerable' or even 'being able to spread quickly'. The kingdom of life has many ways to kill stuff, ways which don't care about chirality, and our typical R-sided lifeforms have all the evolutionary 'motivation' to come up with new ways just the off the competition. That's before humans get into the picture, which we have the tech to do.

There may be an accumulation of non-digestible stuff until nature reaches a balance. However, there's a very large recent accumulation of non-digestible materials called 'plastics', and while somewhat harmful, they're not a life-ending threat. Nature is already finding ways to process these materials[0].

[0]
https://en.wikipedia.org/wiki/Plastic_degradation_by_marine_...
I don’t know, but this is the reason why Green says he can’t make his bizarre show anymore.
Christine Dodrill's early assessment of the language might be of interest here: https://xeiaso.net/blog/v-vaporware-2019-06-23

She doesn't pull any punches, but I think she was quite prescient in capturing the vibe of the project.
Black / dark tile roofs across the south are completely ridiculous. I doubt people understood this when shingles were first developed but we do now and we should adjust accordingly
For me SDK sizes are showstopper. Mingw packages are probably 100-200 Mb total. To build anything native one has to install Windows (20+Gb in modern version and then Visual Studio 40+Gb). Not so easy to fit it all on an SSD drive.

Xcode also have this problem now. 8Gb for Xcode 7 is manageable. But why 70Gb for Xcode 11?
I think if we had a competitive, cheap and secure-enough micropayments system we could do away with advertisement-based monetization altogether. Creators could host their own videos, blogs, etc. on their own website and just charge a fraction of a cent per pageview or download.
It was written in 1970, in an early version of MACLISP, to run on an early version of ITS. It would require a fair amount of work to port the code to Lisp Machine Lisp so that it could run on the CADR emulator.
There's a good PBS documentary series on all the modern presidents and it's worth a watch if you haven't seen it already. The Carter episode dug into how he was technically well qualified and capable, but just did not have the connections and support of Congress at the time and that ultimately doomed his administration to failure. None of his ideas were able to get funding or support in Congress so his administration just flailed.
Moat countries require a license to drive cars. A white supremacist nation can certainly use that as excuse to take away the livelihood from certain classes of people. Is this a reason for not enforcing the need to have a driving license? (You do have driving licenses in the US right? I'm often surprised about the amount of things that seem universal and that are not a thing in the united states')
CEO Knowledge Base – Distilled Actionable Wisdom from the Greats
I am distilling wisdom from history's top CEOs, innovators, and market disrupters, and putting it into a Discourse forum (CEOKnowledgeBase.com) so that it's quick and easy to reference and can be fine tuned over time.

The Why:
"Success leaves clues," and although "the greats" have all been interviewed, shared their tips, written books, and have had books and article written about them, there's too much fluff!

I'm less interested in the anecdotes, reasons, and "author's flavor," and more interested in the actionable "DO THIS NOWs," so, I made it...

Over the past few months of lots of coffee, I've been watching every YouTube interview, reading every book / article, put together a pretty awesome forum of "just the facts," and have made a sustained effort to remove as much fluff as possible.

I hope you all enjoy it, and if you have specific feedback (positive or negative,) please fire away!

Aloha!
Doesn't cargo-bundle do that? I haven't tried to use it to generate .msi files, only for iOS/macOS, but it has the feature!
Oh man, those trailers with him speaking are the stuff I MISS the most, it was the last reminder of that old Apple now that keynotes and product launch commercials are so bland and boring I don't even bother to watch them anymore.
The one thing about all this press from "After Steve" - the author is one of those reporters who tend to make speculative guesses about Apple that have not borne out. Granted, perhaps he took extra effort to get sources/research material for the book but I'd take it with a grain of salt.
Xe is phasing out that name in favor of "Xe". Xer domain name change was a part of that shift.
I still have the trauma from failing that during my first year at my uni.
I signed in just to upvote this, so let me ask you this, how do you avoid it?
You game nft example absolutely does not need nfts to work. Heck even old school serial codes would work just fine for this scenario (steam accepting serial keys to allow access in their system). It also does nothing to solve the fact that NFTs hold no legal power and do nothing to resolve the issue of IP ownership (steam can't just start giving away access to Epic games because they feel like it, they need to negotiate and buy the rights or permissions from epic and their partners).

For the North Korea / US businessman case - I literally cannot come up with any scenario where legal jurisdiction or some external force (police, lawyers, asset seizure) is not needed to enforce the contract. How will the computer know the contract has been breached? Who's going to tell the system what the breach is? Give me an example and I'm happy to reconsider.

Meanwhile, in reality we have a system for this, where judges and lawyers make those calls, and enforce them with the help of police. There's a reason why cross-border deals are risky (enforcement), and no computer is going to solve that.
At this point, why do people even spend time on debunking the marketing claims of this language at all? It's been done to death, whoever was going to be convinced the V developer is a charlatan has already been convinced. For better or for worse.
Thorough understanding of the problem and thorough testing prevent bugs. Static typing allows you to more succinctly express your thorough understanding of a problem, but it does not fix the root problem.

Quality of life benefits are where static typing (and in some cases performance) really shines.
The problem is that the package size (or weight) is such a small piece of information that easily falls out of the average person's attention span, allowing the purchase to be continued on a misunderstanding that benefits the company that spent all the effort on the trick.
The argument is usually that a license mechanism involves a registry and that the government having a list of every gun owner will lead to them taking citizens guns away or otherwise further restrictions.
I obviously wasn't saying the only prejudice in the world exists against lazy people and that no other group of people were ever looked down upon. You've got to use context clues before getting all fired up like this. The was in response to how we purportedly "tie work to morality". It was obviously meant as something closer to:

> It's only people who are actually lazy and not doing anything useful with their lives that are looked down upon *for not working a typically job.*, and rightfully so

Really you should try to avoid taking things intentionally out of context and getting yourself worked up over, it's not healthy.
This is the concept. These numbers are not US centric in the article.

https://blog.pragmaticengineer.com/software-engineering-sala...
I love this project! I still remember that one of my first questions when I started programming was why there wasn't really a standard between OS for executable files. And while I always thought it should be possible, seeing it implemented and laid out is a completely different beast.

In that spirit I wanted to generate a redbean executable for an SPA. To make this process a bit easier I just published a Github Action to create a redbean server for static assets: https://github.com/marketplace/actions/create-static-redbean...

Thanks to this my Github page now hosts a single-file server of... itself: https://timonlukas.github.io/server.com

The future is now!
Static typing has an undisputed benefit, performance. If i need to add dynamic thing a and thing b, I’ll always have the overhead of figuring out what add means first in this context, an overhead i dont have when asked to add some ints.

All the other claims from readability to understandability to refactoring to less bugs, all come with an “it depends” caveat. Sometimes the claims are true, sometimes they’re not. It’s also not possible to say “but in most cases claim X holds”.

The thing I’ve never understood yet in this debate is in my experience, the people who have argued about correctness have universally been below par at getting to the bottom of requirements. Which leads to “great, you correctly built the wrong thing. And you took forever to do it.” Which isn’t doing our profession any good in the eyes of other professions who depend on us.