skysight-inc/HackerNews huggingface dataset:
I'm sure, for this historical-interest repository, that that will pose a real problem.
>Well in that case you're taxing people who don't use it to pay for it.

This is what I jokingly call the Libertarian's Lament: anything I don't use is a waste of money.

>If it can't get enough people wanting to use it at what it costs to run, I can see that as a good argument it shouldn't exist

Government services are not meant to run at a profit, which I think is the crux of the argument from private service providers: "We can't compete with someone who doesn't run for a profit, because it leaves us no room for a margin." Which is true. Then again I'm glad no one is trying to supply me water or sewer services at a profit and personally think privatizing electric service was a mistake. So from my perspective it's preferable to have a utility ISP.
The Case Against Charles Darwin
Yes -- I've seen the video and spent some time absorbing it and I'm really excited to see that. I really enjoy using spreadsheets and configuration tables but there are some really maddening aspects; I understand global recalculation is kind of unavoidable, but I'm not sure why that has to happen when I change the font of a cell, for example :-)

Thank you for all of your work -- I am away from my CAD projects at the moment but I will be digging properly into 2024.2 as soon as I can.
Oh. Well, then you have me beat. When boredom increases and task difficulty decreases, my go-to work background is Twitch streams, which are perfect for background-filler purposes but make me want to kill myself. Astronomy TikToks are better.
Interesting. The kubernetes yaml generation would be a pain--I don't want to keep my database or S3 in k8s but I do want to manage it via IaC.

Edit: looks like the k8s export is a community-supported tool, not official MS. Which begs the question, could other cloud providers add support for .NET Aspire?
The goal is to build the network in the fewest clicks. I agree and have noted many of the comments about adding more explanations for those unfamiliar with the particular network.
Thanks for the heads-up, will look into this, I think I tried something with this but didn't see much better performance, but has been a while since I tried that.
Inequality constraints! This makes me really excited
I don't have a strong opine on him; quick wikipedia skim tells me certain crowds probably hate him as a military contractor. Some people hate anyone/thing associated with that space.
none of our accounts have any disputes and will never have any because we asked them more than Stripe+banks put together so much so that we declined accounts even they had a single dispute in past
>or the Greeks treating the euro-wallet as a gift card

You mean the Germans treating the Euro and ECB as a monetary vehicle to boost their economy and milk the periphery, side-stepping any "hard rules" imposed for others when it was convenient for them, explicitly carot-and-whiping the South to de-industrialize over decades, and then strong-arming the indebted states as a means to pad German investors by moving money from the taxpayers to their banks and investment firms, while buying state assets (from airports and roads to utility companies) for themselves (with a few bones thrown to the French)?

At the same time imposing stupid austerity policies (against the advice of expert economists) that made recovery impossible and amounted to war-level destruction for the economies involved?

All the while cheerfully reviving racist language and imagery (like "rats" in the european kitchen, and other such niceties, of which calling the southern economies PIGGS was among the most prominent).
This has been my thinking as well: the natural language interface is amazing and something we've been wanting for some time.

The generation is a showy gimmick.

So why aren't we separating the useful bit out? My sneaking suspicion is that we can't. It's a package deal in that there are no two parts, it's just one big soup of free-associating some text with other text, the stochastic parrot.

LLM do not understand. They generate associated text that looks like an answer to the question. In order to separate the two parts, we'd need LLMs that understand.

That, apparently, is a lot harder.
...it's a feature.
It means they are running a private network over a dedicated fiber line that carries only their traffic.
CacheFront: A centralized caching solution for Uber's Docstore at scale
New 9/11 Evidence Points to Deep Saudi Complicity
They operate for many years on 30% net loss. How company can last for so long without going bankrupt?..
How do you get to private beta?
Show HN: We tried to make Azure easier for developers
This game is definitely the spiritual successor of Supreme Commander and Total Annihilation. Funny thing, SupCom was almost 20 years ago, and it was was a successor of something only 10 years prior.
That's at the widget level, fair point though, but I was thinking about larger components.
Hey people,

We launched a preview of App Spaces (v2) today which is our attempt to make the Microsoft Azure portal much friendlier for developers who are new to Azure or new to cloud, and don't want to deal with all the cruft and intense complexity that Azure/AWS/GCP/etc provide. We know that there's so much more we can do to make these experiences better and this is our beginnings of getting there via something like App Spaces.

You can check out our site at https://www.appspaces.dev, or go directly to the experience (https://ms.portal.azure.com/#view/Microsoft_Azure_PaasServer...).

If you want to learn more or provide feedback, you can reach out to me-- sk dot hartle at microsoft dotcom. We want to rapidly iterate on our initial design here and get to core value within the next half a year or so. We know we have a long way to go, which is why we're releasing it to the community to help us drive and shape our roadmap.
Is that ChatGPT example representative of RAG? I thought ChatGPT was primarily generative.

I think of something like Brave Search's AI feature when I think of RAG.
Would this have been written in C, asm, or something else? I suppose with Atari & Mac II both being Motorola processors the assembly would have been a direct lift except for any Apple-specific UI.

My favorite part of the story was the latent assertions looking for the bug. Any new code I write is peppered with these, though only active in debug builds. I've never learned to enjoy stepping through a debugger.
Sure I'll do this in v2, thanks for the feedback.
Going beyond could mean one of several things, only one of which is playing catch-up with a decade-plus game engine.
I think Valve disable baloo (understandable since you don't want file indexing while gaming). That's probably why the default KDE search will perform poorly.
You should be able to use KFind which will work kind of like the Windows XP search.
There are times when the pilots are expecting turbulence, when they are notified by ATC or other planes ahead of them. During that time, the light means passengers shouldn't use the lavatories.
In which British writers scold America on trade
Can we for once, put our energy and time behind making things that last?
That doesn’t make 1 a set. Its representation in ZFC is a set. But its representation in eg lambda calculus is a function.

Saying that 0 belongs to 1 is false no matter what one uses to represent those numbers in any ZFC formalisation of numbers.

It’s a map-territory distinction.
The models look awful. If only there was a place where you could go to download human-created 3d models, either for free or a nominal fee. /s
I'm sure they like money as much as the rest of us do.
Goff on the RCT Agenda
I usually interpret the “we” in scientific papers as “you (the reader) and me (the author)”.
I had 10y or so experience with CAD when onshape showed up around 2014. You could tell from the beginning that they cared a ton about usability and had their minds wrapped around how people use CAD. It’s only got better since.

I highly recommend the cadmium folks just soak themselves in onshape’s UX.
well, that is a lot to take in.

"predicated on the dispossession of and discrimination against an indigenous population"

I am unaware of anything like this in Israel's laws. I assume what you mean by this is the Nakba, which happened after Israel's creation, and as a result of a war declared by the Arabs with the stated intent on destroying the new nation. About 650k-700k Arabs fled/forced/chosen to move out due to that war. Those who stayed ended up with lives comparable to that of their fellow Jewish citizens, I do not see much in the way of discrimination for those who stayed.

Also, as a result of that war, 850k-900k Jews fled/forced/chosen to move out of the surrounding nations. These people were forced out of their homes and their lands simply because they were Jews.

Many, many indigenous people were dispossessed during those times, no nation in that area has clean hands. If you want to single out Israel, that is your right and prerogative, but if you want to be fair (which you do not have to be) you should do some research and understand that many middle eastern countries have dispossessed and discriminated against their indigenous populations. Some did it because they were attacked, some did it just "because"
But unfortunately it does fill article or word quotas.

I deeply dislike journalism shovelware.
I actually believe that’s quite plausible. The trouble is, by requesting permission in the first place, they demonstrated intent, which is legally significant. I think a lot of your confusion is attempting to employ pure logic to a legal issue. They are not the same thing, and the latter relies heavily on existing precedent — of which you may, it seems, be unaware.
> Well, you can't bundle GPL licensed software with less restrictive one such as BSD

Sure you can. If the result is a derivative work redistribution is subject to the terms of the GPL but you can bundle all you want.
RustRover Is Released and Includes a Free Non-Commercial Option
The explicit list of balance changes in the changelog is a nice touch. That's probably one of the most difficult things to tweak in an OSS RTS like this.

https://www.beyondallreason.info/development/changelog
Recycling just doesn't work for plastics. If anything, the only parts of the recycling system that are functional today are for paper, glass and metal.
Super informative, thanks.

Question: you response implies that changing the font would break things (maybe I'm reading too much into your reply).

Since monospace fonts are fixed width, wouldn't swapping out 1 monospace font for another monospace font (that's more readable) be seamless?
Image is a verb here

> _makes a representation of the external form of_ that sound

And Sound is a verb here

> Images that _emit or cause to emit sound_

It's a punny title pointing out that it's both at once
Were knowledge databases or Lisp based NLPs ever useful or as used as much as LLMs? I don’t really understand the AI Winter analogy but perhaps I don’t understand the history that well.
Judging by how Mr Devereux normally does these things, there will probably be roughly another hundred instalments in this series explaining in detail why Alexander was a terrible human, and anyone who thinks he is great is also a terrible human. I'm sounding critical but I generally like these takes and agree with them.

Anyway we only have the very first part of the argument here and it might be best to hold off judgement on some of these points until we have the rest.
I think you might get blocked on Cloudflare because it is a new domain.
The cool thing about capitalism is you can start competing companies to offer better products. At least so far as the industry is or isn't highly regulated.
The End of Status Meetings
Been using preview versions of Aspire for a while now. At early stages there were a lot of bugs, but since preview 3 (or if it was 4) it's been pretty stable.

Adding services has also been really nice. I've even found my self not writing docker-compose files anymore.

Kind of hyped what upcoming versions of it will offer.

Be aware tho, be careful to use .Net 9 version of the packages as of now. They can be a bit iffy if you mix .net 8 packages with 9. It will probably be fixed very soon tho
I have tried some chemistry problems on the latest models and they still get simple math wrong (mess up conversion between micro and milligrams for example) unless you tell them to think carefully.
Finally! We find points of agreement! I knew it was possible
Call it what it is: slow. Slow software is bad software.
I hope AdBlockers will start supporting this soon, so google will have pressure to allow to disable it somewhere on account level.
Clothes are probably a major source.
She has a net worth of $100-$200m dollars. I doubt she wants $5-10m more.

OpenAI cannot hurt her standing in the industry— in fact, “ScarJo takes on Big Tech and wins”, in an era after the Hollywood unions called a strike and won protections from studios using generative AI for exactly this scenario, is ironically probably one of the best thing she can do for her image right now.

She is also one of the most litigious actresses in the industry, taking on Disney and winning what’s estimated to be 8 figures.

Good luck OpenAI!
Having an open-source implementation would be interesting. Uber has done it in the past through Cadence and other projects.
I like how the Truck kernel's github [1] says that their choice to use Rust and WGPU is due to "Trendy Tools" being a core principle. I'm super excited about this.

[1] https://github.com/ricosjp/truck
As an aside, I would love to see Brodie Fairhall's take on varsets at some point. His video on advanced parametric modelling with the spreadsheets is an epic of the genre.
I also like SolveSpace a lot. I use it to design small things all the time. Tiny single file program, very responsive interface. It's also pretty intuitive (if you're already familiar with CAD constraints and parametric modelling concepts). There was a burst of activity 2-3 years ago so I was hopeful we'd get filets and maybe better error messages but it hasn't happened yet.

Ondsel is also increasingly good. They've released a new version recently: https://ondsel.com/blog/ondsel-es-2024-2/

Their website login-wall downloads for whatever reason, so go to github: https://github.com/Ondsel-Development/FreeCAD/releases
Can we get an iPhone version? I have the same exact problem.
I wonder what it means for a front page article like this to have no comments. Do people like the idea of the title but don’t really want to delve into the article?
Do you also know personally people who reported it and had action taken prior?
I'd also like to know more about that. My comment points out some things about HoTT that might be described as "downsides" by some but are more like things that people might expect from HoTT given that it 'handles' type equality in a rigorous yet flexible way, but aren't actually feasible in a rigorous treatment, i.e. the system is not going to pick up all the issues that are "brushed aside" in an informal treatment and resolve them on its own. Its behavior will point out to you that these issues exist, but you'll still have to do a lot of work dotting the i's and crossing the t's, as with any formalization.
That's generally my approach... I'd rather max out base salary, and if there are stock options, grants, etc.. it could be gravy, but I've never had that aspect work out personally.
I am utterly flabbergasted by that attitude. I totally dig having useless old tech around (hey I brought a mechanical typewriter), but there is nothing inhumane about getting good quality photos of the people in your lives and be able to share them widely.

If you have somehow made your phone inhuman, that's not on your phone.

If you feel like you can take pictures you couldn't take otherwise, start playing with the settings on your camera app.
Yes this is true mostly because we as a country have become more and more disengaged from policy discussions and active participation in politics in general. This combined with older people being much more likely to vote and to vote conservative has led to the sort of multi-decade-incumbent ridden congress we have now.

This can pretty easily be solved by younger people voting more and enacting ranked choice voting. America is so cool because nothing (except maybe the bill of rights) is set in stone, we can change how it is!
Why in a browser if it's local-first?

Solvespace has the benefit of being a single download/executable.

It also has a constraint solver which has been used in a couple of projects: CADsketcher as you noted, and Dune 3D: https://github.com/dune3d/dune3d where the author noted:

>I ended up directly using solvespace's solver instead of the suggested wrapper code since it didn't expose all of the features I needed. I also had to patch the solver to make it sufficiently fast for the kinds of equations I was generating by symbolically solving equations where applicable.

Any relation to: https://github.com/jay3sh/cadmium ?

Also, for CAD kernels, Manifold was not mentioned: https://github.com/elalish/manifold/wiki/Manifold-Library --- while I understand it to have many of the same disadvantages as OpenCASCADE, it does seem worth mentioning.

Interestingly the kernel was previously discussed here:

https://news.ycombinator.com/item?id=35071317

It seems really interesting/promising, esp. the compleat history and editability (I'd love to see that history listed in a pane which could be opened/closed --- add a series of disclosure triangles which would allow hiding finished elements so that one could focus on the current task and it would be a dream come true for me --- if I can puzzle out the 3D stuff, so far I've crashed and burned on all the apps I've tried (BRL-CAD, FreeCAD, Solvespace, Alibre Atom...) --- the only thing I've been successful w/ is OpenSCAD and similar coding tools).
> you don't have a large community of other users that you can fall back on for expertise.

That is one of the most important points of consideration when I am being asked to asses new tech. If the project is not actively supported by the community, I don't recommend it. I just can't expose the client to risk just because there's a new shiny thing.
The Royal “we”.
They are trying to wriggle out of providing insight into how that voice was derived at all (like Google with the 100% of damages check). It would really suck for OpenAI if, for example, Altman had at some point emailed his team to ensure the soundalike was “as indistinguishable from Scarlet’s performance in HER as possible.“

Public figures own their likeness and control its use. Not to mention that in this case OA is playing chicken with studios as well. Not a great time to do so, given their stated hopes of supplanting 99% of existing Hollywood creatives.
Google in 2004 was also an advertising company - it's not like there was a point where you paid for searching directly. 2024 Google is more of an everything company that's primarily funded by advertising - they tap into search and every kind of content imaginable, make hardware, do research. It's about the number of services - in 2004, Google had barely launched Gmail yet.
>No one is stoping you from hosting your own platform based on what ever nonsense you make up.

They actually are. CloudFlare will block you, Visa will refuse payments, Google will delist you, Apple app store will delist your app, and you'll be subject to endless legal harassment from activists if your site allows people to communicate substantially out of line with the San Francisco progressive bloc.
> they are all just things that the American public is aligned on

Huh, I see strong and increasingly growing public opposition to Israeli influence on American politics.
After clicking your link I had instant nostalgia. I used this tool years ago and completely forgot about it. I went to download it, but it appears to be windows only which explains why I stopped using it as I haven't used windows in about a decade.

That said, I'd highly recommend Giphy Capture for recording gifs on mac. It has a very sleek/light UI.
Windows now runs PyTorch with DirectML
Frames are out, whitespace is in. I wonder if the 30-year fashion cycle applies and it will be cool/retro to have compact, discoverable UIs in the 2030s.
> My understanding is that places like ours are the best case scenario with municipal broadband: most likely to see uptake (the lifeblood of these schemes), universal adoption of broadband, enough density to make last mile delivery feasible.

The best case scenario requires that the municipality is also underserved.

> But without significant scale and guaranteed uptake --- hard when you're competing with two household name ISPs --- the fixed costs of just running an ISP (or the backend infrastructure for a white-label ISP to build on top of) are prohibitive.

This is incorrect. Running an ISP is very cheap and the fixed costs are minor. It’s the building of a network that is expensive.

Source: I personally run an ISP and have built multiple networks.
The vector space projection of the human experience. I like it.
The associated aspir8 (aspirate) project handles deployment to k8s[0].

[0]https://github.com/prom3theu5/aspirational-manifests
… you really want to be able to cook documents down to facts, as in the old A.I., and then be able to make logical queries. Trouble is it is easy to ontologize some things (ingredients) but not so easy to ontologize the aspects of things that make things memorable.
To my ears it sounds similar but not identical - I can tell which is which.

Apparently they selected the actress from auditions in early 2023, a while before the Johansson timeline.

Of course the OpenAI folk would likely have seen Her and may have selected someone sounding like that.
In the realthunder form of freecad, I wrote a macro to give me a form of parametric variant generation. I am so looking forward to this.
Yea, looking at the list of "Computer Graphics Pioneers" on wikipedia, Mandelbrot and maybe Carmack are the only two I'd think would be recognized by the broader public, and Carmack is the only one I personally could tell you any biographical details about.

I don't think there's any reason to think Bùi's obscurity is due to any particular prejudice against Asian Americans.
I’m always weary of using abstractions like this. I understand the desire to simplify the process of creating new apps, but tools like this take an opinionated stance on how to couple and interact with all of these dependencies like Npgsql, meaning you might end up stuck with an older version of Npgsql until your Aspire package catches up.

Developers are also abstracted one more layer from their dependencies which isn’t always a good thing when debugging or for understanding how the dependencies work.

The manifest file seems like a step in the wrong direction. I see no reason to learn this .NET specific thing when I can learn to use docker-compose or the like.

The otel dashboard is nice but there are alternatives.
How phone theft in London was tackled in the 90s
No, I tested the paid GPT-4 last year on similar questions (animal cognition) and it was so bad I decided it was a waste of money. I actually don't care if it's maybe gotten better in the past year, and I'm certainly not spending money to find out. Last I checked the best LLMs still have a 5-15% confabulation rate on simple document summarization. In 2023 GPT-4 had a ~75% confabulation rate on animal cognition questions, but even 5% is not reliable enough for me to want to use it.

The high school AI tutor probably wasn't using GPT-4, but the district definitely paid a lot of money for the software.

I also hate this entire argument, that AI confabulations don't matter for free products. Unreliable software like GPT-4o shouldn't be widely released to the public as a cool new tech product, and certainly not handed out for free.