skysight-inc/HackerNews huggingface dataset:
> C++ standard library function yes, C standard library functions, incloding those imported into C++ are more complicated since on most platforms those are not provided by the C++ implementation but some other lower level library. Third-party libraries are the bigger concern though.

Since noexcept is a compilation-level hint, it only matters that the declaration contains them in the <cstdXX> headers, not who provides the implementations. And since C functions can't deal with exceptions thrown from callbacks, it would make sense to annotate any function pointer that you provide with noexcept as well.

> Yes, but avoiding that is the whole point. The try-cach for potentially when you call potentially throwing functions is already implicitly provided by current noexcept and if your noexcept function only calls only noexcept functions then the compiler can already elide all that.

The current implementation calls std::terminate() if an exception is caught. That needn't be the case in practice: you could well handle the exception in a meaningful way and continue execution. Also, having the programmer explicitly do this is valuable in itself, even if they also just call std::terminate(). For example, with the way noexcept is implemented today, you have no notification if a function you're calling goes from noexcept to potentially throwing until your program actually crashes. If noexcept was an actual compiler-checked keyword, your code would stop compiling if one of the functions you rely on started throwing exceptions, and you could decide what to do (maybe catch it, maybe find an alternative, etc).

> Not at all. If that was the case then noexcept would only be a compiler hint and exceptions bubbling up to noexcept functions would be undefined behavior. Arguably that would be better than what we have now.

Crashing the program is of course better than UB. But it's still the worse possible thing to happen other than that. It basically makes noexcept functions be the most scary functions to ever call, instead of being the safest. And if you want to write a piece of code that can never throw an exception, the compiler still won't help you in any way to do that, it's up to you to do it correctly or crash.
This is pretty neat! I’m on mobile right now, but you mentioned that it’s VR ready - does the landing page work with WebXR? I’d love to try it out on my meta quest 3
Flare Launches Threat Flow
and then there's go, wherein you simply don't import anything outside of the stdlib. a stoic and rather perfect immunity to this nonsense
And what is your point?
"Try it out" button needs to be centered and larger
I'm CEO at Neon. We are very excited to partner with Microsoft. Happy to answer questions!
I think that you have unrealistic expectations. Math books have "learn math" on them. Physics books have "learn physics" on them. Drawing books have "learn drawing" on them. You do not expect to be at PhD level after reading them.

There is no reason to make exception for language learning. And even there, real life courses have "learn English" or "learn Spanish" on them. Literally none of them can make you fluent.

Also, fluency is super far reaching goal. It is absurd as a benchmark. You will reach fluency only after you consumed huge amount of content, wrote a lot of text and spoken with people for hundreds of hours. Which beginner, intermediate or advanced resources you learned on the way does not matter much.

> If you can't tell, I'm a bit cynical about general audience language apps.

I learned two foreign languages up to fluency - enough to be able to use them in work, life, internet, to converse with people, use them to learn new things.
> The Coq team has decided that Coq will be renamed into 'The Rocq Prover'

They have a typo on the side, it's `The Rocq Hard Prover`
The lawsuit is against GARM, but also against members CVS Health, Mars, Orsted and Unilever. Those aren't particularly bully-able. They have enough money to fight this to the end, and the cost of fighting it may well be less than they judge the cost to be for the bad PR of associating with X.
So would the user be able to specify what furniture to be placed in the different rooms in the floor plan? And how do you source the 3d models? e.g. if I want to have specific IKEA furniture?

I’m wondering because I once spent some time writing a 3d design app that could be used for room planning, and the main challenge was striking the balance between user control (e.g. the user wants the couch to be changed or moved) and automation. Because the user doesn’t want to fiddle too much with the 3d software, as it is the entire premise of building such an app that it alleviates the need for 3d skills, but there is still the need for expressiveness and making changes.
Ya let's integrate gpu-accelerated emoji generation into unicode and require it everwhere, we can call it UTF-8B and standardize on 8GiB per character until that turns out not to be enough.
Demystifying Postgres Schema Migrations: Building It from Scratch
How do those places ever pass a PCI audit? One of the first things the auditor asks is "please show me proof that your testing is never done with real credit cards"

(Unless they're getting their test environments PCI certified, which sounds like a waste of money.)
> the Stanford braindrop chip
Interesting.

Just read about it and there are familiar names on the author list. I really wish this type of technology gained more traction but I am afraid it will not receive the deserved focus considering the direction of current research in AI.

> I wonder if it is possible to do the same with continuous "events" using the equivalent analog operators, mix and sum.

Don't know much about QDI but sounds promising.
Old Zoom pedals are currently coveted as a good, cheap way to shoegaze...
"rooting" started up by meaning specifically to gain root access to the os. jailbreaking includes this step too, but out of need.

the nice variety of root-access apps you could normally install but unable to run become available after rooting. for many that is enough, without requiring kernel-level changes to make this work. besides this conceptual difference, they both are used interchangeably.

for kindle jailbreaking makes sense as there is no built-in mechanism to support new features/apps.
So why doesn't this apply to plastic?
They're okay. But they want to believe a lot of things, and the market for telling people what they want to hear is large and evergreen.
there are advantages to using Steam
Several of the CPU side channel attack demos look like that too. The speed could probably be improved in weaponization but currently you can watch the ASLR defeat routine, with a percentage and everything just like you said.
From their Twitter I can see it uses Three.js
Good point. The "real name" policy - in combination with the tie-ins into the rest of the "Googlesphere" was bad news for many.-
I built a Chromecast receiver application for a broadcaster in Belgium back in 2017, and even then the original Chromecast was just a bit of a PITA. Our service was heavily ad supported, and porting our web ads to Chromecast was painful. The OG Chromecast was very hard to work on because of its super limited RAM. When connecting a remote Chrome debugger session you'd have to make sure to clear the console and network request history very often (multiple times per minute), otherwise the whole device would just crash. We generally only developed on the v2/Ultra and an Nvidia Shield, and then crossed our fingers to test on the OG Chromecast.
Wow, this is cool-- first time I've seen generating well formed output has been made easy, the use of Pydantic is clever/easy...

Which has lead me to the prior art: using same Pydantic API to generate structured output from local LLMs

https://github.com/outlines-dev/outlines?tab=readme-ov-file#...
which ones??
I had a similar line of thinking. Just because you can measure something doesn't mean it fundamentally exists. We can measure things like pressure and temperature, but that doesn't mean they are fundamental in any way.
I had no idea what bipping meant either, and wanted to remove it from the title (I don’t think it adds any context). Ended up keeping it just in case someone thought that would be editorializing though.
No, it isn't?

The unpublish document describes the options that users of NPM have to remove packages themselves. It was created after some situation where someone unpublished an important package.

A whole different set of terms governs which packages NPM can remove. This definitely includes these packages, either as "abusive" or "name squatting"

Not only that, but NPM's TOS makes it very clear that you have no recourse if they decide to remove your package for any reason.
PythonMonkey
My issue is with the word brandish, its making it read dramatic. You can't wave a dog around in an angry way.

You should also have your daughter walk on the non-street side of the sidewalk in case a car jumps the curb. Is that something your should need to do? Its life.
The recent push to Wayland in 2024 is an interesting choice, given how productive and usable X11 is.
> If so, this wouldn't work for all these emojis that are represented by grapheme clusters, ZWJ-sequences or are just "qualified". The result of a compose sequence is limited to a single "key symbol", which can only encode a single unicode codepoint.

I use the compose key as an abbreviation expander among other things. So far this works fine in all applications.

Though I don’t know if we’re talking about something beyond typing the XCompose sequence on the keyboard. If we’re talking about sending programmatic keypresses to applications like in this submission then I don’t know.
Google is now a marketing analítics company with an advertising business and vestigial search engine services.-
It is "copypasta".
Disney Posts First-Ever Streaming Profit
Most of the environmental issues with glass are on the other end - mining raw materials, refining those, manufacturing, etc.
There is https://floorplanner.com
They are used in a variety of situations and have been doing this for over 15 years. Floorplanner is used in high end shops to show arrangements of furniture, on website to showcase apartments etc. that are for sale and a lot of different use cases.

What is the use case of Roometron that you see it does best?
Mapping Wholesale Electricity Prices in the United States
Boeing and NASA Tussle over Plan to Bring Starliner Astronauts Home
Device Allows South American Paleontologists to Share Fossils with the World
Yeah, how many designers and inventors of industrial processes, or materials, or techniques or such we know widely in the west?

Never mind that even for those well known to us engineers, regular people couldn't name what they did either, except maybe Edisson, Tesla, Wright Brothers, and a few more. E.g. would even more modern PhD holders know what Watt contributed? Or Lord Kelvin?

People like Gates, Bezos, Musk, and Jobs on the other hand, everybody knows.
I think you have some major bugs then.

The account settings page is empty. I logged in via Google's OAuth provider. There's no option to change anything.

I also can't make a company profile, but to save or upload a floor plan, your front-end code is expecting that to exist.

Edit:

> const {companyName: Z, logo: Q, measurements: K} = b.sessionDataSchema.userData.companyProfiles[0]

In your minified code. There is no `companyProfiles` for my logged in user.
Note that thermodynamics may be kind of a "meta" or "supra" theory: other areas of physics don't have a concept of entropy or direction of time because it is an emergent property of a great number of particles following more "basic" rules. The same way the game of go doesn't have a concept of "immortal shapes", those are just a consequence of its rules.
Incredible work.

So I’ve used something similar to tour apartments virtually from a 3D camera. One thing I’m noticing when walking through the space is it feels like the perspective is really distorted compared to the actual 3D 360 photos in current apartment tours.

The Birds Eye view is neat though. Curious, have you gained traction with apartment management companies to adopt this?
> Some pint glasses designed for lager are made with nucleation sites

They really shouldn't be, forcing CO2 out of suspension is exactly what you don't want. It causes the beer to become flat more quickly. This is why good beer bars use a glass washer right before serving, to remove any small particles that may end up in the glass and cause nucleation.
He takes the car?

We're in a discussion about flights replacing 100/400 miles trips.
Yeas. Planned to expand it to other manjor cities
Children don't have the patience of parents. They melt down waiting for a bus/transit in snow or summer broiling heat and it becomes a nightmare. I didn't have a car most the time until I had a kid and found quality of life went way up with a car.
You know, we should add an emojis dictionary to http://wordlist.aspell.net/ for exactly this purpose. Why not have a /usr/share/dict/emoji just like we have /usr/share/dict/words?
Maybe this guy is thinking AI generated CNET articles will save them, heh.
it's language-cultural. to "publish a package" in Go simply means having a public git repository. and yet, nobody who writes Go imports packages. it's well-understood that if you can't write something like leftpad (or many other JS packages) yourself in your own codebase in a few lines, you're an absolute nonce. Javascript developers on the other hand tend to skew towards the juniors in our broader ecosystem, and they seek easy and quick prestige, which leads to "star farming"/"download farming"
Incredible mental gymnastics.
>I mean, Wikipedia says

Yes, but the claim was that some kind of fame was stolen from the "real inventor of the fridge" (sic).

And the parent's point is that the one considered the inventor atm (deservingly or not), hardly has any fame to begin with. Sure, he might have a Wikipedia entry, along with OnlyFans creators and every minor character in Star Wars lore. Including non-movie characters.
Ghosting requires no effort, but giving any response requires some effort.
Doing a black hole would be pretty neat if it looked like Interstellar. Lots of possibilities i.r.t. color.
This is such a weird argument by the guardian. You can simply charge more for more durable products as long as people want your product.
And worse, it shows axios, and links to the actual axios package.

https://www.npmjs.com/package/sournoise?activeTab=dependenci...

If it would show axios and link to the package provided in package.json, that at least would be better.

But here they actually link to the wrong package.
That's comparable to the UK figures. In 2023 there were around 80k asylum seekers and refugees, making up around 11% of total immigration. That's the highest since a peak of similar height in 2002. Now, as then, asylum seekers are primarily people from wartorn countries like Aghanistan, Ukraine, or Syria, or people who face persecution for their beliefs or identity. They are generally choosing the UK because they have cultural ties (sometimes due to historic colonialisation by the UK) and/or can speak the language.

What gets me is the current obsession over small boat crossings. This is less than half of all asylum seekers, i.e. 5% or less of total immigration. Most of these people are from wartorn countries, have a valid claim to asylum, and some kind of link to the country. I find it abhorrent that certain demagogues are manipulating the narrative to make it look like this is one of the biggest issues facing the UK.

We should absolutely tackle the people-smuggling gangs that are putting migrants' lives at risk by overloading them onto dinghies and shoving them into the Channel. One of the best ways to do this would be to work on providing a safe alternative path to asylum, as for example exists for Ukrainians and Hong Kongers.
I don’t know if maybe you missed what I said but the point I was making was that you can’t actually get the full picture of the situation from Apple’s information alone so I don’t know how sending me a link to a PDF that their marketing made is going to help no matter how many pages it is.
I am a shitty bedroom guitarist that has pro-level gear that I get endless hours of enjoyment from buying/selling and "knob turning." I probably spend 50% of my guitar hobby time on non-playing activities and it all brings me much joy.

The fact that there are tons of consumers like me makes this gear more affordable for everyone, including low level artists.
Procrastination (2007) [video]
And folks who make music for a living don't generally have lots of disposable income.
here it is: https://gist.github.com/bjesus/4b447dcb8a272f4c795b78752acec...
That is not the case. Only YouTube and Netflix have exceptions where the Android app on Google TV / Android TV intercepts the standard Chromecasting where the TV just pulls up the receiver web app in an ephemeral browser. And even for YouTube it'll automatically log you in in a temporary way when you cast. For anything else, casting to an Android TV device is exactly the same as casting to an old-school Chromecast.
> and washes it by hand

That's the key part here. Pubs use commercial dishwashers which effectively shot blast your dishes and glasses. There's a reason you can see "Not dishwasher safe" on certain items: because it'll blast off the nice patterns. I know because I've done it by accident.
They are just like you were up until the point you decided to stop. How is it difficult to understand when you say you were in the exact same shoes?
Show HN: Visual CSS Editor
I have built a browser-based visual CSS editor. I am looking for feedback or feature requests.
Oh, I don't care what people say, I just find it distracting when I say the name in class, and there's a wave of "uh, what did he just say?" that percolates through the students.
https://github.com/infiniflow/infinity, dense vector + sparse vector + fulltext search(BM25) + late interact reranker(Colbert)
If a brewery is providing them, why would they let the glasses get into a state that their drinks look like shit in them?
Interesting. We're not taking into account the intangibles, aka people's perception. People are angrier than usual since they feel (and rightly so) they're being displaced from their places. Look at Portugal and Spain.
There's nothing stopping this from happening. Build encryption into the email protocols and hide the decrypt key behind a block chain that costs even $0.01 of a fungible token to access.
Reminder that if you test a live payment on a new Stripe deployment, you will get INSTANTLY banned. Don't do a live test with a credit card in your name !!
If the money is good, and the job doesn't take all of your time and energy, then you can just ignore the dysfunction and focus on your work. You can use your free time to look for something better, or to work on your own thing if you're ambitious. Being a cog is actually even liberating as cogs are only responsible for a very small part of the whole, so you can just do your part and not worry about the rest.
I'm on mobile and I see no try it out button
I think I explained how it's quite inapt and your response is 'it's apt'. If you think 'please don't type reflexive one word comments into HN' has 'some hypothetical about rape' as a response worth talking about, we're best off leaving things here.
Indeed nothing special about Wayland for this, I have used `xdotool` in the old X11 days.
And mac that means pimp ^^
Sounds like you would benefit from Monarch. I use their Sankey features for visualizing expenses (https://www.monarchmoney.com/features/spending)
Show HN: Magnify.dev – AI Code Security Scanner
Hi all! I'm looking for some wisdom on a side project I started out of interest. Magnify (magnify.dev) is an AI powered code vulnerability scanner that aims to be simple, affordable, and automated. You can just upload a .zip file with your code and it'll return a PDF report containing potential security issues in your code. I'm looking for some opinions:

Would you use a code security scanning service? Do you value code security or am I talking to a wall here?

What would be a fair price? Currently I've priced it at 5 CAD (~3.6 freedom dollars) for 1k lines of code, but willing to go quite a bit lower. What would you be willing to pay to have 1k lines of code scanned by AI?

What other features would you be interested in? Like an API, CI, etc.

I'm hoping I can get some valuable opinions! And also, for the next 72 hours, I'll do scans for free so you can all get a demo! Just select the paid option and upload your code as a .zip file, but when you get to the payment page, just close it. Contact support with the the email you used and I'll approve the task manually and send you the link to the analysis after (might take a few hours, I'm pretty busy during the day).

I genuinely believe that the affordability of my project can bring usefulness -- professional code security audits are often ~1k USD for 1k lines of code, so Magnify, although not as effective (yet), is literally hundreds of times cheaper. Thank you all!
> I argued then that if instead noexcept violations were undefined, we could ignore all this, and instead just treat it as the pure optimization it was being marketed as (ie, help prove a region can't throw, so we can elide entire try/catch blocks etc). The reaction to my suggestion was not positive.

So instead of helping programmers actually write noexcept functions, you wanted to make this an even bigger footgun than it already is? How often are there try/catch blocks that are actually elideable in real-world code? How much performance would actually be gained by doing that, versus the cost of all of the security issues that this feature would introduce?

If the compiler actually checked that noexcept code can't throw exceptions (i.e. noexcept functions were only allowed to call other noexcept functions), and the only way to get exceptions in noexcept functions was calls to C code which then calls other C++ code that throws, then I would actually agree with you that this would have been OK as UB (since anyway there are no guarantees that even perfectly written C code that gets an exception wouldn't leave your system in a bad state). But with a feature that already relies on programmer care, and can break at every upgrade of a third party library, making this UB seems far too dangerous for far too little gain.
I think the "1000+" is a little misleading, so to clarify: longer half-life means less dangerous, something like unrefined uranium has little radiation risk unless you have very long-term exposure to it (but it's very toxic because it's a heavy metal, so it will still kill you), its half life is billions of years, something on the order of magnitude of 1000 years, like Radium, is way, way worse.
I can't get behind the article's conclusions.

1) Google’s results are really good. Not quite. Google's results used to be really good but now are a mix of helpful to some, less helpful and fully counterproductive.

2) and they’re really good because they have a monopoly on the user data. User data may elevate some products but the worth of search results stems from the crawled index and search algorithms.

2a) every engineer could leave and a start a new search engine with the exact same source code and that search engine would be worse. Only until their crawlers built a sufficient index. If they can filter out results gamed for Google SEO, they'll be better.

3) In a landmark case, a US judge has ruled that Google’s monopoly on search is unlawful. Trim the first 3 letters of the last word and this conclusion will be sound.
"‘It doesn’t make a lot of sense,’ one former prosecutor says"

That's kind of par for the course, isn't it?
A lot of networked receivers/audio systems have C4A (Cast 4 Audio) built-in, and they should support grouping. I have a Sony receiver-esque audio system and it plays in sync with my Google Home speakers very nicely.