skysight-inc/HackerNews huggingface dataset:
Has anyone set up a cafe press site that automatically slaps each day's image on a T-shirt?

The most recent one would be good.
> That's memory safety, a valuable property but nothing to do with types.

No, it isn't. It's safety of the kind which asserts that a value of a certain type can only be operated on by suitably typed functions and operators.

The underlying memory may be safe either way: with or without the bad type punning. E.g. if a fixnum integer were treated as a character, that wouldn't be a memory problem, since they aren't heap allocated and both occupy a valid cell of the same size.

All type safety is "bit safety" at the implementation level, because in the actual semantics of the running program, objects are represented by bits, and type safety ultimately prevents bits intended to be interpreted and used one way as being used in a different way.

Memory safety is related to type safety because bits can represent pointers, and pointers can be valid or invalid, or point to objects of only so many bytes and no more.

All type checks related to pointers are providing some measure of memory safety, because if we use a non-pointer object as a pointer, or an object of one size as an object of a different size (all of which are type mismatch errors), we may end up with corruption or a crash.
The short answer to this is to build evaluators for imperfections that our customers see as most pressing.

We have to balance that with our view of what we think will still be a problem in the future, as image generation models get better.

Eventually we want to build a vision model that's great at fine-grained details of images, while will take some time.
Would say working on backend projects with languages C#, Java, etc... a good idea if it's not possible to get work experience?

I would do those projects, add them to my cv and apply to backend roles for example.
Show HN: Readme style GPT conversations for any IDE
It should have no screen at all and high-quality pushers and displays... or Carplay/Auto because there is no way an old car company like GM can build software properly.
It’s been like this for a while sadly. At this point I’ve read so much nonsense on this site by true believes, I’d wager on the latter.
I won't be happy until I can stream my driving experience on Twitch, with the option to occasionally hand over control of my vehicle to chat.
What's interesting is that we, South Africans, had no idea that he wasn't a worldwide sensation, because he is so commonplace in our culture that we assumed he was a mega-star.
Point releases for android and linux is really a pita. Even windows is a rolling release, win11 keeps getting updates without a reinstall.
The prompt is Draw a unicorn in SVG format. Dimensions: 500x500. Respond ONLY with a single SVG string. Do not respond with conversation or codeblocks.

https://github.com/adamkdean/gpt-unicorn/blob/master/src/lib...

I just asked this and got the following result:

<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="500" height="500" viewBox="0 0 500 500">
<path fill="#FDD7E4" d="M244.898 309.347c-.355-.421-5.388-6.485-5.388-10.305v-40.614l-3.073-12.759c-.708-2.684-2.527-4.924-5.034-6.38l-24.773-14.334c-8.152-4.72-15.709-10.72-17.905-18.788l-12.3-35.006c-.845-2.696-3.577-4.61-6.55-4.61h-48.235c-2.973 0-5.705 1.914-6.55 4.61l-12.3 35.005c-2.196 8.068-9.753 14.067-17.905 18.787L92.998 235.968c-2.507 1.456-4.325 3.696-5.034 6.38l-3.073 12.759v40.615c0 3.82-5.033 9.884-5.388 10.305-9.168 10.836-14.727 24.606-14.727 39.49v42.812C39.373 426.93 69.062 456.62 105.34 456.62h17.215c1.256 21.698 20.249 38.969 42.405 38.969s41.15-17.271 42.405-38.969h17.48c1.256 21.698 20.25 38.969 42.406 38.969s41.15-17.271 42.404-38.969H394.66c36.278 0 65.968-29.69 65.969-65.969v-42.812c0-14.884-5.559-28.654-14.727-39.491zm-189.9-4.337a77.079 77.079 0 0 0-4.225-.302c-19.322 0-35.012 15.689-35.012 35.012V375.99h74.25v-66.968c0-19.323-15.69-35.012-35.013-35.012zm208.12 0c-19.323 0-35.012 15.689-35.012 35.012v66.968h74.25v-66.968c0-19.323-15.69-35.012-35.012-35.012zm-118.63-66.968c10.286 0 18.632 8.345 18.632 18.632v48.424h-37.264v-48.424c0-10.287 8.345-18.632 18.632-18.632zm-27.944-18.633c-19.323 0-35.012 15.689-35.012 35.012V341.98H351.6V275.27c0-19.323-15.69-35.012-35.012-35.012zm-35.013-17.911c-10.287 0-18.632-8.346-18.632-18.633s8.345-18.632 18.632-18.632 18.632 8.346 18.632 18.632-8.345 18.633-18.632 18.633z"/></svg>

I am not going to fault a language model for not getting that right! This is fundamentally not a language task. It demands an image model.
Rivalled only by IBM... which makes for an interesting comparison; IBM for enterprise, and Microsoft for personal computing.
Eh, it's good. IBM didn't want to continue supporting community things and so here we are, the RedHat business model was a bit tricky and increasingly so because of cloud computing.

The great value of RedHat was supported software. You could buy one of those $10,000 per seat software packages for some engineering discipline that was guaranteed to work by RedHat and the vendor and if it wasn't they were quite motivated and helpful in fixing your problem quickly.

RedHat also was trusted to monitor and fix security problems quickly, and was in the privileged position of getting notifications about them before they were public so they could be fixed.

The question is how do you get people to fund these two things?
People parrot this point a lot but it doesn't make any sense. The average SAT/ACT at the Ivy's are near perfect, the number of mediocre rich kids paying their way in is a small fraction of the student body.

And yes test scores aren't the best metric for "talent" but it is one of the better signals you get in a college application.
Poland does, at ~0.3 of minimum wage. Still very controversial.
There are 9.2 million people 50 years old or older still paying off student debt.
It looks like non-utf8 is not allowed: https://superuser.com/questions/204287/what-characters-are-f...

Maybe it goes without saying, but for completeness, / is not allowed in filenames, and neither is null terminator (0x00 or \0) on mac either.

On Linux, only / and null terminator are banned from filenames.
The data analysis I've seen most SEO experts do is similar to sitting at a highway, carefully timing the speed of each car, taking detailed notes of the cars appearance, returning to the car factory and saying that all cars need to be red because the data says red cars are faster.
I have a few thoughts.

Generation Z is the most risk adverse and cautious/fearful cohort of humans in US history.

Even if parenting is on average extremally rewarding, it is also very scary at first and things can go very badly in some rare cases.

You see all kinds of trends related to this, like declines in sex, dating, risky behaviors, ect.

They are also one of the most pessimistic/cynical cohorts in general.

Taken together, I think these trends have huge impacts on how people view parenting.
Java works passably and gets job done over long time. And rust isn't magically fast.
Design is the process of bringing ideas into form. It is intentional creation. This process does not necessarily include intentional communication: it can be purely utilitarian. The form itself is what unavoidably communicates the values of the designer.

I do agree that clarity or efficiency are not necessarily the highest values to strive for.
You have to read the whole article though, not just stop at the first paragraph.

The article makes a distinction between cookie wall (accept or no access) and paywall[1] (accept or pay). The former is prohibited, the latter has been okay'd by several national DPAs.

> The Austrian, French and Danish DPAs have already indicated that the paywall system is a valid solution as long as the subscription to the site has a modest and fair cost so that it does not constrain the user’s free choice.

> The Spanish DPA indirectly shared its position implying that cookie walls can be used as long as the user has been clearly informed of the two available options for accessing the service: 1. accepting the use of cookies; or 2. another alternative, “not necessarily free of charge“, that doesn’t require giving consent to cookies.

[1] Not to be confused with the "hard" paywall (pay or no access) we see on some publications. They've just called it like that for lack of a better term.
> was glad I wasn't going to have to waste the rest of my day and theirs

If, during an interview, it becomes obvious to you that you aren't a good fit at the place for whatever reason, you don't have to wait for them to end the process early.

Doing so yourself is not only acceptable, it's also a professional courtesy that they will appreciate.

Remember, with all interview processes, you're evaluating the potential employer just as much as they're evaluating you.
It is the same audience. At the end of the day, if your music isn't good, unique, or worth my time, you're not getting my money spent on merch, vinyls, and tours.
It's honestly insane.

CarPlay does everything I want and the best part is it just works. A large part of that "it just works" is the fact that it's all based directly on my phone.

* That restaurant we just decided to go to. Already in navigation. AND! the maps are all current with road closures/traffic issues.

* The music that I was playing, it just keeps going

* The garage door opener/lock/etc that I just added to HomeKit - automatically pops us.
It is even worse than that - the CEO has this pipe dream that they are going to build a Netflix sized subscription business:

https://techcrunch.com/2021/10/06/gm-aims-to-build-netflix-s...
An error in their methodology - the average amount owed may not reflect the average amount owed by borrowers who died who are likely to be older, and therefore further along in payments.
Link below has the 1,000 questions and a couple Amazon links to voice recorders:

https://savewisdom.org/the-1000-word-save-wisdom-questions/
The reasonable option is probably to trickle charge in case you need to go to the store, then ramp up after peak hours.

From a public policy standpoint that matters more while you’re grid powered, but with batteries peak draw affects overall power availability, so you’d still want to charge the vehicle slowly while the AC is on and cooking is happening. Same class of problem, different scale.
I am curious how they feel as well. It seems like it won't impact their support contracts since things built with openela will be rhel compatible. But surely they cut people off for moat reasons.

Why do you think this is a bad change? I was thinking additional players in the space would make for a more robust ecosystem.
neovim supports OSC 52 out of the box so clipboard over SSH should just wrk in kitty or any terminal that supports OSC 52. kitty of course supports a lot more than OSC 52 but for basic opy/paste of plain text, OSC 52 is sufficient.
>I understand that the failure rate is high just like startups and movies.

I'd suggest that startups and movies have a much higher probability of 'success' than minting a hit song that can generate 1 billion streams. While there are a few stories of hit songs that organically break through, the vast majority are promoted _hard_ by the labels using resources (both money and connections) that are hard to amass outside the major labels.

It is an axiom that today, artists make all of their money touring. But even live performance (particularly at the largest venues) is dominated by monopolistic players. Without having a large number of headliner artists, you won't have the negotiating power to get favorable rates, and they'll eat you for breakfast too.
Epic Gardening Will Make Almost $30M This Year
Show HN: AI-Powered OpenAPI Spec Generator
Hi hn!

I wanted to share a simple JS script I built that uses Anthropic's Claude AI to auto-generate OpenAPI specs from code.

Keeping OpenAPI specs in sync is tedious and error-prone. I was wasting too much time manually updating YAMLs.

To fix this, I created a script that leverages Claude to parse source code and produce OpenAPI specs, no annotations needed.

It's a gist you can copy/paste into your project: https://gist.github.com/hotkartoffel/2d2ca5a5a4ace98ca7fe87f...

Feed it your code and Claude handles inferring the OpenAPI objects.

I've tested it on JavaScript and Python APIs, but it's framework-agnostic. If Claude understands the code, it can generate the spec.

You need an Anthropic API key for Claude. But if you want to try the script, I'm happy to provide a small hosted demo - just ping me!

Adding this to CI/CD means fresh OpenAPI specs on each code change, no manual updates required.

Definitely a bit flimsy atm, but wanted to gather feedback.
Why do people want braille displays? Sound is a faster, denser, and cheaper information exchange medium and our brains are pattern matching machines. I can easily imagine a screen output -> earphones technology that can provide the use of a screen.

Wait, why confine this to screens? There was a deaf guy in Popular Science years ago who wired the output of a microphone to his visual cortex. He was able to see the sounds, not interfering with his normal vision. Why is there no such product to wire a camera to the brain to enable vision in the blind?
Ah, sorry. I thought you were asking for something different (more summarized). It does indeed plot latency during downloads and uploads in the same way as it plots unloaded latency (and I'd call those a "graph" too).
I hope it is fully realized in the future. Seems amazing.
This seriously took GM off the list for me. Only two things I absolutely have to have in my next commuter car:

1. It's electric.
2. It has CarPlay.

So no Chevy Bolt now. I guess it is a Ford Mach-E then.
I'm not going to buy a car that is going to charge me a subscription for internet service to use the apps I can already use through Android Auto. Will never happen.
Imagine the pleasure in 3-4 years when your 130k car plays an advert on the main screen whenever you start your car, a "feature" that can only be disabled if you pay for the 20$/month premium GM+ package that includes GPS map updates and unlocks the sunroof.
Wow. Gotta feel bad for the engineers and other developers who put a lot of sweat and tears into this car, only to have its market prospects fucked beyond all belief by rent-seeking bean counters at the head office.
OTOH, people have been using computer-assisted "configuration generation" for more than 50 years now. The 4-color problem was done on hardware that was already obsolete 30 years ago. I also would have expected mathematicians to take their hypotheses a bit more seriously. Especially since this does toppled at a rather modest problem size.
> Honest question, why do you find it scary?

What I find scary is how much trust people put into the answers.

Today, I saw someone saying "Look! ChatGPT can design my home solar electrical circuit". That kind of thing will lead to new Darwin awards being given out.

Thing is, if people will trust it to do that right, when will politicians write policy papers with it? Let's face it, they already are. Other people won't want to read those long papers, so they'll ask it to summarise it for them. At that point you have LLMs writing laws and reviewing laws. It's all fine as long as nobody enforces them.

Right?
> "in the future your car is unlikely to start start without wifi", but now that promise has come true

Source?
In rural Marin County wireless internet service is very widespread. I see Ubiquiti equipment on most roofs, and these days some Starlink as well.
> Having managed over 100+ people, I can say that on average the people from better institutions are better employees

You missed the central point of the article about causality.

Of course this will be the case on average, because Harvard gets smarter people on average!
Harvard serves no additional value here other than to be a gatekeeper.
You will find that many of the open source backing non-profits are trade organizations. Some notable examples:

- The Linux Foundation (which includes the CNCF and OpenJS Foundation)

- Rust Foundation

- Bytecode Alliance

I don't mean to provide an opinion on incentives (and they are different as the parent suggests). I just mean to share that trade organizations are already common.

Disclaimer: I work for SUSE but not on OpenELA. I am also a maintainer of CNCF projects and on the CNCF TOC.
For me, it's the use of Lua. I switched to neovim in no small part for the sane defaults, the XDG layout support, and the async/terminal stuff (and I found the code simplification, addition of tests, and removal of ancient legacy stuff to be very appealing).

The terminal and async stuff has been "backported" to vim, as it were. But the plugin ecosystem is diverging. The other items are still open, and maybe those will move forward.

At this point Vim9 is the clearly superior language (don't hate me) since it's very domain-specific, while Lua has only very primitive hacky support. But the plugin ecosystems have diverged -- I don't see NeoVim coming back home without native Lua support, and I definitely don't want native Lua support in vim.
> Bloomberg asked economists to estimate how many borrowers died
> That number was then multiplied by average amount of debt owed

Doesn't seem like the most accurate way to do that.

> The US government will have to write off billions of dollars of student loans from borrowers who died during the pandemic, adding another complication to a system ill-equipped to handle the resumption of payments this fall.

Wait so we're just talking about borrows who died during the pandemic. I get that a lot of people died during the pandemic bust most of them fell into the category of people who were substantially older, and as consequence are least likely to be paying back on student loans, as those usually are paid off earlier in life. Especially since most of these people would've had much smaller loans.

> The calculation to arrive at the lost revenues is twofold. First, Bloomberg asked economists and demographers to estimate how many borrowers died during the forbearance period. Loan holders skew older now than before the pause and thus have a higher probability of dying.

Again I'm going to guess many of those paying student loans skew younger (<40) and thus 2 years probably doesn't change their mortality rate all that much.

Seems to me like the whole article was designed more for clickbait than any rigorous analysis.
The best part is I do not have to worry about a third party vendor getting access to my smartphone’s data.

For better or worse, the smartphone is a vault of almost everything about a person, including the ability to impersonate them.

Obviously, Apple and Google already have access to all of this, but I see no reason to let yet another entity have it.
Before Google, Danny Sullivan was a well respected search engine blogger/journalist. As far as I know, he isn't an engineer. There's no need to be rude.
And with lesser initial borrowing, as college costs have ballooned.
In the end the greatest gift is to touch other peoples' lives. That he didn't know he had for so long is sad, but that he eventually found out is joyful.
This isn't really true except for Rivian and Tesla, which as start ups, wrote their own stack and want to fully control it.

GM is moving to Google Automotive and doesn't want to enable Carplay or Android Auto, but Google is already in there deep. No other legacy manufacturers have announced plans to take away Carplay/Android Auto. Quite a few are basing their systems on Android Automotive, though (BMW, Volvo/Polestar, GM as mentioned, off the top of my head), so even if you don't use a Google phone, Google is going to have your data.

There is no difference here between ICE vehiclws and BEVs, other than the two startups I mentioned.
A purely static type system is sometimes regarded as syntactic. Type errors caught without executing the code are issues of bad syntax. It's not purely context-free syntax of tokens having the right phrase structure rules; it's an enhanced syntax in which syntactic nodes of the program have type terms. Type terms are also just syntax. E.g. (array 100 int) is compatible with another (array 100 int) by comparing syntax, the same way that we could tell that (add x y) and (add x y) are the same syntax.

A static type system associates the syntactic nodes in a program with type.

A dynamic type system associates run-time objects with a type.

I don't see what is so difficult.

It's all objects anyway: in a static compiler, the terms are objects, and get associated with a type. The program graph or tree is dynamically typed while inside the compiler.

The terms of a dynamically typed program can be identified as having type, and diagnosed as well as optimized accordingly. Just if that analysis is incomplete, the program can be compiled and executed anyway, with the safety net of dynamic typing catching whatever hadn't been diagnosed. (Or even what had been, in cases when the diagnostics are warnings.)
You laugh, but I've always thought that would have been a good intermediate step towards full self-driving. Provide the option to delegate it to humans in a building 1000 miles away, similar to how the US military conducts drone warfare.
If a killer will break-in a house and kill someone, it's not about doors or walls.
Is the title of the paper a nod to Simulacra and Simulation? (And hence, also a nod to the Matrix by Wachowski sisters)
However, they have also accrued more interest over time: how many of the borrowers weren't able to pay it off?
the fact that some of the early ones are anti-smiles, a playful takeaway could be that it saw the insurmountability of the challenge at first!
Nope. Quite the opposite. Touchscreens aren't going anywhere.
>The engineers at Google do know how our algorithmic systems work because they write them.

So there's zero machine learning or statistical modeling based functionality in your search algorithms?
Those who are reluctant to feed their own army shall feed a foreign army.
Hate to be the bearer of bad news...

https://cdn.vox-cdn.com/uploads/chorus_asset/file/24841937/I...
I was at Macromedia when we purchased FreeHand, working in Tech Support.

After the merger Jim Von Ehr took the time to meet with the San Francisco team, because we would be taking tech support calls for FH. It's the only time I remember an upper management exec meeting with frontline tech support staff.
Exactly. This is one of those terrible decisions that GM will have to retract. The only question is when.

There is no way they are going to be able to compete with Apple or Google. Literally the worst software engineer at either of those companies is better than anyone GM has.

Will make an interesting Harvard MBA case study.
> “Our research indicates that with the right mix of compelling offerings, customers are willing to spend $135 per month on average for products and services,” said Wexler.

Assuming this is not a maintenance contract, who in their right mind will spend 135$ per month on "products and services" for their car?
It may look something like this when you intersect field lines of the planets in the Solar System:

https://ouruboroi.com/moire2
Many "Enterprise" environments are still using Azure AD SSO, .NET, and other C# tools to drive internal tool development. I can't really see them jumping on this toolkit without grab-and-go support for those types of services.
> Instead of CarPlay or Android Auto, drivers will instead rely on the Escalade IQ’s included Google built-in infotainment software.

It's called Android Automotive OS (not to be confused with Android Auto). Many OEMs are now using Android Automotive for infotainment, but also support CarPlay/AA. This is a terrible move, but GM is just trying to copy Tesla by controlling the entire UX and putting it some of it behind a subscription (like Tesla's Premium Connectivity).