skysight-inc/HackerNews huggingface dataset:
Profits. Apple has by far the lion share of profits and is able to leverage them to muscle into businesses. As iPhones are the premium devices one can reasonably argue Apple has a near monopoly of access to affluent eyeballs.

Apple, please listen. These platform dreams of controlling supply, demand and the underlying tech platform are dangerous. Likely to fail or if you succeed it will run anti-trust problems. But your biggest risk is distraction. The shiny new kids on block wagging the core business to the detriment of customers and shareholders.
I was pleasantly surprised to see support for Nim as a task language! very cool! Particularly considering your target market of developers with corporate education budgets, I expected a much smaller set of mainstream languages.
I just discovered this when I went to the store, and will probably take a nice long walk in the evening/night heat to devour at least part of this delicious release. What a nice gem to randomly receive. I'm curious to know what Carmack has been doing especially in regard to AI.
This is a tautological answer. What are those policies and culture?
Ask HN: Can anyone help me find Hawk's 3D tutorial?
Does anyone remember this old programming tutorial? It was hosted on something like Angelfire. A google search doesn't turn up anything and I don't know how else to find it.

It basically described how to program your own wireframe 3d engine. Very simple but nostalgic for me. I think it is at least 20-25 years old.
I share that thought which is one of the reasons I'm so excited about the platform I'm building. While I'm trying really hard to focus on being a "vertically integrated board game company", there is the siren song to go beyond board games and make a platform for business.

I wrote a programming language which is like a better structured Excel with a reactive database. It's super fun to play with at the moment, but it's immature: https://www.adama-platform.com/
Gotcha, I got this. I'm happy to spend some time on Figma hand-crafting a super slick certificate for you. Just reach out and ask!
It's universal, too. I don't get it.
He can meaningfully retire on facebook money. Good for him and I have no requirement for him to publicly criticize them. Also, facebook is the main company plowing money and top engineers into AR/VR. They also created react and pytorch. Facebook has had a massive impact on software.
GCP emulators cover only a very small portion of their services though. AWS also has emulators for some services they provide free of charge. LocalStack adds more than just emulation though, it has a bunch of developer tools that enables local cloud dev much more broadly.
Would it be possible to create a proof of a proof?

Like : Given this list of assumptions -- This list of conclusions is proven to be true.

Maybe even with a confidence rating.

Then you could package your proof inside the proofproof. Thus sparing us the effort of reading it, and maybe even make your proof more widely appreciated.
What are the other exceptions?

And surely she does not take a tallship every time she crosses expanses of water, if she did, then, I'd buy in.
This is completely wrong.

Energy isn't the problem. A small corner(100mix100mi) of the Nevada desert, or Spain can power the entire United States/Europe. The problem is storage and transport. Hydrogen solves that.

People are so obssessed about efficiency. They're completely missing the point. You don't need to be that efficent when your source of electricity of effectively unlimited.
And, "white collar" created Excel!
Yes, that's what anybody would try. And it's up to the government to cut that crap up and punish the people that are harassing innocent third parties due to a personal crusade.

Absent punishment, everybody will just drag all bystanders (from around any scene, there is somebody that disagrees with anything) into a court.
You’re right about CockroachDB, my mistake.

I think your characterization of Cassandra as “fully scalable” in a way that other systems are not is misleading, but I won’t argue it with you :p
This need to be heard loud and clear. The main reason to use iProducts is the non-ad experience. App Store is already a horrible experience with their ads. If this expands, I don't see why one shouldn't move to Google.
John Carmack is a programming god, and every time I hear him talk I wish I could be that smart. If you haven't seen Carmack's Reverse yet, you should: https://www.gamedev.net/forums/topic/210276-carmacks-reverse...

Lex Friedman is also my favorite podcaster. His podcasts are the highlight of my week.
“You can't really automate your business with a chart”
Census CEO on how he's seen RETL help companies put their data into action.
History of the First Punic War – Interactive Map and Timeline
I use nvim, but yea, that is the point. Meet your users where they are, which is code for developers, not drag-n-drop, which is for non-developers. Pick your poison :]

Just to be clear, porting a drag-n-drop interface to VS Code is not meeting developers where they are.
Had to rebuild all of my dad’s Lotus 1-2-3 sheets in Excel to finally force the switch!
Gumroad: No Meetings, No Deadlines, No Full-Time Employees
Favorite ww2 joke: https://www.reddit.com/r/Jokes/comments/1u11t9/an_raf_vet_is...
Agree with this entirely. Excel is the most successful and most productive "low code" platform out there.
The language in Microsoft Power Apps is basically the formula language from Excel, with cell references (A1) replaced with properties (TextBox.Text) -- only thing I'm aware of that comes close though.
It's just a biometric Id system. Europe has one too, its actually very similar to aadhar in scope and usage. In fact the stated reasoning is identical to that of aadhar.

https://blog.hidglobal.com/2021/09/european-union-already-ro...

Though I doubt wired.com would do an article about the draconian European "mass surveillance database".
Because it is hugely profitable? Look at Facebook and Google - billions and billions in profits from selling ads. Now Amazon is following suit too.

Apple are well poised to do this (some might say well poised to abuse their position...) so it would be almost irresponsible to Apple shareholders not to pursue this, since they have a responsibility to their shareholders.
> You either know how big your stack is

that's in most systems I target a run-time property, not a compile-time one
Wire is open-source and does not mandate a phone number or sharing of address book contacts.

Wire contributed to IETF MLS multi-vendor open protocol for E2EE group messaging, https://datatracker.ietf.org/wg/mls/about/
They didn't say the costs don't matter. They said the costs don't matter right now. Those are two very different things.
Trucks in Europe are not allowed to travel 60mph.
The key for me to being my own boss has unfortunately just been being willing to be poor. Because my own startups or other people's self funded startups that I end up working on when I have to take a contract quickly because I am too broke usually don't make much money.

One way to meet lots of people who have problems to be solved is on Upwork. Of course most of those are not opportunities to be co-founders and actually could easily bankrupt you due to the slave-labour type atmosphere there. But some of them are real opportunities for sure if you can avoid that.

My current startup (which again I am just _barely_ scraping by) is built on a less popular cryptocurrency called Algorand (actually afraid to mention it, that one or cryptocurrency in general seems to be hated here). I did a project for someone from Upwork (self funded startup, subsistence level pay) and then just started hanging out in Discords and such.

I directly asked the community what sort of new tool they thought they needed. The few responses seemed to be "we have good tools already, don't need". So then I kept hanging around and found out that most of them were hiring a programmer for every art project. Even though the programming task was mainly just running the same script.

So I built a web application and then had many people (who I thought I had already asked if they needed a tool) come on my Discord server and tell me how much my tool had been needed.

But I think it boils down to picking up some hobby or business as if it was your actual job and then trying to make tools to facilitate it. In general the users for some reason can't or won't give you useful advice about what to build. Although actually they may be able to tell you what problems they are having if you can get them to talk. But don't listen to their solutions just their problems.
You touched some true points here. Your site = Your rules. And it's not that hard to have a photo/video gallery for family/friends to see or even contribute.

Hosting prices are on the golden age, not see any issues here. But well, depends on each requirements.
I'd doubt it has much of a connection. Consciousness can do many things, but generally not quickly.
There are extension to track prices. The prices depend on the browser making the request, so different users will get different prices, you then have to create a range when prices differ.
> taking the same kid (which of course we cannot do)

There were a bunch of studies on identical twins who were adopted in different families, so it can be tested. I think they showed the same thing (kids parents more important than adoptive parents) but I'm not certain and can't quickly find the studies to verify.
> stuff like ... leads to a possible exploit where the input is manipulated so n is large

The same is true for most recursive calls, should recursion be also banned in programming languages?
This is a great decision to fight human sex trafficking and child pornography. Pornography is a giant societal scourge which funds a ton of human misery and social problems and anything we can do to make it harder for these businesses to operate is great news IMO.
> As you can easily tell, line breaks made at the beginning of the chapter affect the potential line breaks you can do later. Sometimes it is worth it to make a locally non-optimal choice at the beginning to get a better line break possibility much later. Evaluating a global metric like this can be potentially slow, which is why interactive programs like LibreOffice do not use this method.

Is there not a fast "good enough" algorithm for justifying text vs a slow optimal one? Is it really infeasible for HTML to have justified text that looks something like LaTeX? It's sad that justified text still looks bad on the web with no signs of it getting better even with all the computing power we have now.
Couldn't agree more, especially about the un-idiomatic libraries in many languages and gRPC's insistence on end-to-end HTTP/2 and trailer support. All of this is, in essence, what we're trying to solve with the Connect family of libraries.

Eventually, we'd like you to have `connect-rails` (or maybe `connect-rack`, I'm an awful Ruby programmer). It would automatically support the gRPC-Web and Connect protocols, and hopefully standard gRPC too (no idea if rails/rack/etc supports trailers). It should feel like writing any other HTTP code, and it should fit right into any existing web application. We'd probably end up writing a new protobuf runtime for Ruby, so the generated classes feel idiomatic. Now your Ruby code is accessible to curl, bash scripts, and plain fetch from the browser, but it's also accessible to a whole ecosystem of clients in other languages - without anybody writing the boring plumbing code over and over.

Protobuf and gRPC aren't perfect, by any stretch, but they're effective. At least IMO, they're also past critical mass in medium-to-large systems: Cap'n Proto _is_ nicer and better-designed, but it doesn't have the adoption and language support that Protobuf has (imperfect as the support may be). Once your backend is gRPC and protobuf, it's really convenient to have that extend out to the front-end and mobile - at least IMO, it's just not worth the effort to hand-convert to RESTful JSON or babysit a grpc-gateway that needs to be redeployed every time you add a field to a message.
Yes, formally this is referred to as combinatorial testing.
My understanding is that GR forms the basis of the discipline of cosmology, but your comment implies it doesn't. Could you expand on that a bit? What differentiates GR and 'mathematical GR'? Why is the formation/stability of blackholes not considered to be a part of cosmology, when the understanding of black holes is central to understanding how to universe formed?

e.g. "General Relativity forms the basis for the disciplines of cosmology (the structure and origin of the Universe on the largest scales) and relativistic astrophysics (the study of galaxies, quasars, neutron stars, etc.)"

from https://uwaterloo.ca/applied-mathematics/future-undergraduat...
I feel like I'm stuck in a timeloop. I swear I've read almost this exact comment as the top comment of a different (monthly) "Hacker News debates Excel" thread
I think the point GP made is that it doesn't matter what anime Westerners choose to watch, it matters what anime the fewer number of players want to license.

[edit]

I personally don't think that will be an issue because I don't see Netflix turning down an anime that Crunchyroll refuses to carry...
Why is that an important distinction? It's not clear to me that it is.
It's interesting, because in Germany the southerners are observably much more technically accomplished than the northerners. But there's still that you don't speak High German prejudice.
Never get into a synonym duel with a translator ... you will not prevail
Ask HN: Why is lambda-the-ultimate.org still unreachable?
I would like to discuss my programming language, which I discussed 10 years ago on lambda-the-ultimate.org, but now this forum is not working. Are there any other places like lambda-the-ultimate?
> which seems to lend real credence to the argument that Apple would (most likely) not be understood as a monopoly in the courts

The issue isn't marketshare, the issue is defining the market within which marketshare is looked at. If you don't use some consistent objective defenition of market boundaries, you can pick or choose any result you want by how you describe the market applicable to any given case.

While it isn’t perfect, “the space within which consumer substitution in response to changes like pricing occurs from the given good or service” is a rough description of what market boundary determination in US antitrust/competition law aims at.

It's also, for obvious reasons, often the most contentious issue in antitrust cases, with a whole lot of market data thrown up by every interested party aimed at proving what the right market boundary is. If you just assume the boundary is some popular market description without interrogating whether consumer substitution for the given product really occurs across that whole descriptive market space (and, on the other side, only within that space), you are really just skipping over the most important question in antitrust.
Doesn’t TeX emit a file like a compiler? You could say that a PDF reader, say, is an “interpreter,” but TeX itself? I don’t think so.
These utilities likely have laws that shield them from liability for these things, otherwise every illegal grow-op would cause the power company to be criminally liable for having supplied power to the grower's house and that makes no sense.

In this case Visa knows full well what they are enabling, by allowing payments to be processed on PH, especially given the volume of transactions, there's no way they don't know what they are supporting.
Location: Colorado, USA

Remote: Yes

Willing to relocate: No

Technologies: Linux, AWS (lots of services), CloudFormation, CDK) Docker/Containers, IaC, Terraform, Python, Ruby, Shell, REST, web/http, Ansible, Puppet, GitLab CI/CD, GitHub Workflows/Actions, 12 factor apps

Résumé/CV: https://joshbeard.me/resume

Email: hnjobs@joshbeard.me
Hmm. Well there's been a spreadsheet program called Excel around for quite a while. But I guess like the rest of Microsoft's programs, it has been updated over time. Maybe this is a Ship of Theseus sort of thing.
Yes, the Oliver Stone one in particular seemed egregious in how little he pushed back.
`size_t` is defined as

> the unsigned integer type of the result of the sizeof operator (https://port70.net/~nsz/c/c11/n1570.html#7.19p2)

`sizeof` returns the following:

> If the type of the operand is a variable length array type, the operand is evaluated; otherwise, the operand is not evaluated and the result is an integer constant. (https://port70.net/~nsz/c/c11/n1570.html#6.5.3.4p2)

So `sizeof(size_t)` must be a concrete integer constant for any given C implementation, it can't change at runtime.

As far as I'm aware, there isn't an instance of an infinitely large integer, even in mathematics, there are finite integers and there is the concept of infinity.
tRPC is awesome - if you're writing full-stack TypeScript and don't care about other languages, it's very convenient.

Protobuf might be a more appealing choice if you want to support clients in other languages, or if you're interested in getting a bit more value out of your contract language (e.g., breaking change detection).
Link to https://solarfoods.fi/foodfarm/ doesn't work by the way.
> There are disabled people who climbed Mount Everest, but that does not mean that disability is irrelevant for your chances.

More accurately, there are disabled people who have had sherpas drag them up Mount Everest. To be fair, that's what most so-called mountaineers do these days.
Other than genetics I'm pretty sure there's a lot of things that make people less hungry.

I've heard sugar makes people want to eat more. I'm pretty sedentary, so when I cut back on sugar, I can easily just kind of forget to eat.

Evolution doesn't know about fridges and thinks people still need to store energy, like as if we are going to walk 10 miles after a day long fast at any moment. So many constraints no longer exists, seems like we should definitely be able to eat better than before.

Who knows how many things no longer apply to most people. Maybe some foods enhanced fertility and that preference was selected for, but most people don't need them now. Maybe some things helped people heal from specific blunt trauma injuries that are now rare, but at the cost of causing some extra heart disease.

Almost every overweight person could kick my ass just by falling on me. They can probably lift more than me. Many would do 200% better in the wild than me, but statistically they are at risk for heart problems and many already have assorted aches and pains.

The whole concept of health in popular culture is way too tied to strength and survival and naturalness. Why do we seem to pay more attention to who can climb a mountain and lift 400lbs than we do to which populations live the longest and have the least illnesses?
9 batteries by the numbers I presented runs to 5.5 hours. 15 batteries at 37 minutes a piece is 9.25 hours.

I can see that being a possibility for someplace like a college campus where one crew is literally just roving around an limited area for the day to maybe get in 5.5 hours of straight actual use, maybe, if the team is super well pipelined in what they are doing. But it seems like a fanciful/rare/contrived example. How many days of this a year does the crew work? For most lawn-care folks, I tend to think they have a lot of different sites to cover, and there's some transportation, and a variety of tasks other than leafblowing. I have a hard time imagining someone actually clocking 6 hours of actual full-throttle use of a leafblower on any day, much less day after day.

Even in exotic uses (unseen in the city in question/my own city, DC), I think adaption is less of a challenge than one might think.
Twin studies are a good way to get another angle on this.

Here, unfortunately that doesn't get around the confounding factor that only parents deemed suitable candidates by adoption agencies are able to adopt and raise children, so they are not an accurate cross section of all possible parents. I don't dispute that there may be a threshhold at which some innate traits take over (or fail to do so) from the benefits of a nurturing environment (which may have diminishing returns past a certain point).
Those that genuinely want their kids to make it on their own probably believe that having things handed to them will limit character and resiliency.
I think you're onto something about strong cash cow being necessary but not sure it's sufficient by itself. Culture of accountability is interesting. It sounds like you have some experience, what does culture of accountability look like vs. not having one?
Hi. That's me. I'm glad you like it.

Unfortunately, melony is right: I've only really been able to focus on the C++ implementation of Cap'n Proto. Some of the others are solid (e.g. Go, Rust), but many are sort of half-baked weekend projects of random people, which were later abandoned. As a result it's tough for me to recommend Cap'n Proto in polyglot environments. Maybe someday I'll be able to find the time / resources to build out the ecosystem more fully. Great tooling is really important for any of this to work.

I'm also an investor in Buf FWIW. I think what they're doing is pretty cool.
Yes, agreed, blocking VoIP is not a solution, blocking everybody not in your contacts is not a solution - the solution is enforced and widespread STIR/SHAKEN
SlamBall, the high-flying trampoline-infused basketball game, to return
Grapes feature at the end: "we can estimate" followed by a graph with a temperature axis. Would like to see the data and the formula for turning it to temperature used.
I'm curious about the progress of Factory 1. But if you click the link to follow that progress, it sends you to

https://solarfoods.com/foodfarm/

which is a 404 page not found. I wonder if maybe it should send you to https://solarfoods.com/news-and-blog/ ?
Awaiting for when they will suspend payments to facebook , where a lot more child porn is uploaded. I hope visa is forced to expand this on all adult websites and even further. Maybe some of the cryptocurrencies will finally do what they were designed to do
> Solein® is made from natural single-cell organisms, which are grown in a fermentation process. Water is split from the air with renewable electricity into hydrogen and oxygen. The cells are fed CO2 from the air, hydrogen and mineral nutrients.

There is no nitrogen mentioned in this explanation. You cannot make amino acids or proteins without nitrogen. These organism either have to be able to do nitrogen-fixation from the air, which is a really difficult and energy-intensive process or the nitrogen has to come from some growth medium. It certainly doesn't make a good first impression that they "forgot" such an important part in this description.

In general the interesting part of such a scheme is how much energy it uses. Converting CO2 to organic molecules and nitrogen-fixation are very energy-intensive processes, the problem isn't that we can't do this but that the amount of energy is incredibly expensive compared to using photosynthesis in plants.
Thanks for your question. If I understand right, you mean for example projects that involve a frontend web component?

That's on the cards (e.g we have Build your own React on the pipeline). There are unique challenges to making that experience predictable, so we're focusing on the "console-based" projects for now. There's also often a "subjective" nature when reviewing/testing UI so we need to think through the ideal feedback workflow for courses with frontend components.

That said, I do wanna highlight that these courses do cover a lot of ground. I look forward to your feedback once you manage to get your hands on it!
You can trade Bitcoin on an exchange that never handles Bitcoin. Synthetic securities can always be constructed regardless of how the original securities are represented. In this sense blockchain isn't much better than og paper shares
He = Armstrong or Fridman insisting on being canceled by the woke mob? Unclear if you're saying that was Fridman's view or Armstrong's view and Fridman didn't push back.