skysight-inc/HackerNews huggingface dataset:
Contact lenses. No matter how much I cleaned my hands, put oil on, butter...next morning putting my contact lenses in were 10 second of bleakness.
When I read "contract-based language"I immediately thought of Ada. I could be wrong but I think SPARK is incorporated into the Ada 2022 standard at this point, it could really be thought of as part of the language.

It's the furthest thing from a "dynamically typed language" but it can probably also check the "math" requirement here too.
A practical guide for startups wo need to get ISO 9001 certified and build a pragmatic risk management tool from scratch
Why risk it, if you're Google?
r/technology only accepts links to major publications. Unfortunately, this is not clearly stated in their rules and leads to unknowing posters getting banned.
The Problem of Teaching Physics in Latin America (1963)
I'm not convinced that's a pendulum that will swing. There's a lot of big money trying to keep it up
Teams is an Electron app. Hardly the first in line with poor performance. Why there is no better option than Electron in 2022 for cross platform UI apps is a mystery. (VSCode is a fork…)
Did OP get banned for spamming? Ah, no tears please; it's a waste of good suffering.
Hey HN, Alex and Ben here, and we wanted to share another web app we created recently.

Sweetfont is a tool to help you find fonts without having to know a lot about typography.

There are over a million fonts in existence - and over 1,400 on Google Fonts alone - and it's hard to filter through to find one that is a good fit for your project. Ben is a typography nerd and knows tons of obscure fonts (and was offended by my constant use of Google's Poppins). So, we decided to make a tool that would help normal people (like me) find the right fonts too.

For Sweetfont, we had designers assess every Google Font's "personality". We surface it through the sliders. In the future, we'd like to add fonts from other sources too.

Let me know what you think!
Google Chat and Meet as well as Slack just work fine for us.
Ask HN: Is it possible to get an 18-year-old to spend less time on the computer?
A relative of mine asked for help with their 18-year-old child and computer time. The teen spends 9+ hours a day playing games and watching anime. When I was a kid, I got around a lot of restrictions, so I'm concerned a software-based approach won't work. The parent has tried locking the computer in a different room, which works, but it lacks nuance. It's okay to play video games as long as it is a healthy amount.

Parents of HN, what measures or completely different approaches have worked to establish healthy computer time limits for your kids?
No. Its a settlement layer.

I do 1000 streaming transactions on a channel. When the channel is closed (withdrawn back to the L1 chain, or settled - offchain is the wrong term here Lightning is an L2 "channel"), the transactions are summarized and you can tax that summary event.

It's a linear sum of taxes. Of course there are scenarios that complicates things like variable sales tax rates based on transaction type/location/good, but that's an extended conversation.

If you really want tax enforcement, governments should be looking to develop CBDC integration on the merchant side with bridge support for major crypto currencies. Given Intuit's iron grip on tax lobbying I don't have much hope for innovate tax schemes though.
> OR ENFORCING THE LAW.

That's pretty all encompassing. Gives any cop at scene of incident any number of things to claim at the time or retroactively as reason you're in violation and to move 8ft back from them, not just 8ft from incident.

Laws like this are horrible not because of the intent of spirit (which is to protect LEO and suspects from whacko's) but because they are written vaguely and poorly. Then abused by police / DA to suppress, oppress, threaten and selectively prosecute those standing up to their abuse.
Japan is an economic outlier in a lot of ways (i.e. savings and birth/immigration rates).

And I think it's a great example that most of the actual drivers of economic outcomes are unmeasurable. What we actually measure and react to are themselves second order effects of those primary drivers.

Which is why we can compare two situations with similar (second order) metrics (but different primary drivers) and be puzzled by different macro outcomes.
I feel like other technology subreddits I follow (including /r/ruby) have mostly only people posting their own stuff.

I don't know if the rule is still commonly an enforced rule on other parts of reddit though? I am sure there are redditors who don't know it though, based on /r/ruby.

(I post other people's stuff to /r/ruby, but I think this is maybe rare on /r/ruby? Once someone actually got mad at me for posting his article, like I was trying to steal the karma for the article he wrote, or posting it in a way or at a time that wasn't of his chosing and I should have let him post it himself as the author! He obviously did not know about this "rule"!)

Is it normal to get perma-banned from a subreddit on reddit, without first being warned once for violating a rule? (I know for a fact that does not happen on HN, people don't get their accounts banned without a single warning from dang, at least not for something like violating a self-promotion rule).
rfc4918 Also doesn't use the verbiage "content" it in fact says "contained instructions" and "request entity" which are not defined terms in either RFC you linked.

> and the syntax of the request entity is correct (thus a 400 (Bad Request) status code is inappropriate) but was unable to process the contained instructions.

Emphasis mine
I tell all of the biggest whiners all of the time, I'd be more than happy to give mod permissions to (almost) anyone who asks and expresses interest.

The only thing I'm gaining by volunteering to steer conversations on a subreddit is the loss of my free time.

I wasn't able to reply to your comment when it was flagged. bad moderation strikes again!
Well Unity is paying a 70% premium over what Iron Source was worth yesterday so it doesn’t sound like such a great decision financially. Also the absolute share price is not really that relevant since companies hardly ever have the same amount of shares.
So why is code copyrightable and software patentable, while recipes are neither?
Color me naive, but why is this a bad thing?
If your listing reaches more people, it's ultimately better for you.
Maybe I'm misunderstanding something.
> Vite is way faster and takes way less config

That sounds like "incremental improvement", not "next generation tooling". But maybe my expectations are too high.
Tangentially related but Teams also bricked my phone.

Long story short: I didn't want to run Teams on my laptop as it was draining the battery super-fast, and I didn't want to install a work account on my private phone either, so I bought a cheap Chinese phone just for teams. It worked fine for 6 months just getting warmer a bit during meetings. But then I had a marathon of 3 meetings one after another and at some point it turned off and never turned on again. I bought another phone but now I make sure to turn incoming video off during calls.
> If you're talking about code compiles or script reloads, that's not really what the asset database deals with.

Editor profiler says the asset database v2's AssetDatabase.Refresh calls a function named roughly ~"reload all assemblies". That happens every time you add an empty line to a default code file and at many other times. This didn't happen before, and that is where it spends most of its time.

> That said, they did a lot of work to allow you to handle larger projects with (albeit manual) incremental compilations with asmdefs and the like.

I haven't been able to work around this with asmdefs, if you use an assembly then changing any file in it trigger the above mentioned code reload.

> I'm also pretty sure they also didn't add more code reload points, they just added load bars for when they did the code reloads.

Editor is unresponsive for longer. I know they added more bars, but it is hard to mistake an edit/play cycle taking a second in 2019.1 and then taking 10 seconds in 2020.3 in the same project.

> If you don't want the code to refresh automatically, you can just turn it off.

I want things to reload automatically, disabling that is not a fix.
My view on this is that we're not going back and it would be silly to try to do so. Once you have the technology to record, track, and ultimately apprehend criminals, simply not doing so in the name of ideological purity becomes increasingly obscene. What we need are courts that understand the technology, prosecutors who fear censure for overreach, and fair laws about standards of access to the data.

It's here to stay. We just need good rules around its use. The benefits are too compelling.
I'm not entirely sure I understand the salary link to service base price? Is it essentially a [small] revenue share on top of a fixed salary? Or more like your salary gets a 5% increase when the service price gets a 5% increase, which is probably only a little bit above inflation. The second option sounds very unusual in a company with lots of customers and employees (and likely to significantly undervalue you if your skillset and responsibilities and the customer base have all grown).

Either way, it sounds like you should be considering your likely earning power in other roles with an equivalent level of seniority (even if it's just looking at this stage) as your skillset sounds likely to be considerably more advanced than the median IT/Telco employee in your city. That should be your fallback plan if you're not able to secure more than a token raise, not cutting your cost of living. This will of course also give you some basis for figuring out the bare minimum you can accept, so that you can pitch a counter offer (no point in flatly refusing) some way above that. If you expect promises tied to subjective metrics, tie them to objective metrics you know and they care about, or ask why not now?. It sounds like you've already figured the ways in which it's really in their interests to put some effort into satisfying you even if their natural instinct is to make a low first offer.
This is actually the second time this really basic example has been ripped off by someone else for internet clout.

It used to be a bit more complex and fiddly which is why I made the repo initially to gather some disparate info and my own contribution into one place. Now this is something you can put together with zero experience with Zig in a spare half an hour. Which really is as it should be with first-class support for WASM. I mostly maintain this because it's nice to have.
This is some heavy slippery slope shit. If you told people that this would be happening in 15 years back in 2007 you'd be called a paranoid conspiracy nut.
This also works with Chrome. I would recommend using that to at least have slight vendor diversity (did you know that Microsoft likes to EEE?).
> There is no "human" who "uses the brain", the brain is the human, or rather the human is in the brain.

Much of the human is said to be outside of the brain; many neurons, even, live outside the brain, and much "thinking" is done, for example, by gut neurons in concert with microbes with whom they're constantly exchanging chemical signals. So, in a sense, the human is in the gut, and the human is in the microbes.

The human is a leaky abstraction!

For further explorations on the permeability of the human, try Annie Murphy Paul's "Extended Mind."[0]

0. https://anniemurphypaul.com/books/the-extended-mind/
I had the exact same idea for a programming language. So happy to see someone actually made it happen! Good job and keep up the work!
No downside to learning raytracing. Especially if you have access to a cluster to use as a render farm. DXR & OptiX are such rich APIs they actually inform theoretical optics and high energy photonics now!

Ray Tracing Gems II

http://www.realtimerendering.com/raytracinggems/rtg2/
What publications are you subscribed to? Which publications do you read?

I find that high quality publications give quite an honest and objective view.
I don’t understand it. I know it, but I don’t understand it. To truly understand it I’d have to know the question and that eludes me no matter how deeply I think on it.
I just tried this as well, didn't work at first but I enabled notifications when it prompted me & now appears to have worked (once at least).

Any idea how to get notification badges to work (if possible)?
I hope this fails, too. It's so obnoxious, I never would have believed it till now.
I hope you let him know about Amazon's stellar privacy?
Lawsuits will always be written in the most favorable way for the person doing the lawsuit, they can and do actively lie in them or distort facts to push their own narrative.
No he wants two things. Those 6 different things have isomorphisms and can be reduced down to two things.

Think of it like 1*2 && 2. Both expressions are isomorphic. Dependent types literally encompasses everything he wants.
>Play any of them and it's obvious what they have in common - not just randomization and permadeath but also turn-based tactics.

the minecraft comment was tongue in cheek because you used contradictory wording between your comments. You asserted that the randomization was key to what made rogue different and not the permadeath because all games had permadeath and restart at the beginning mechanics.

If I understand you correctly now, you are asserting that it is a specific set of seemingly generic features that make up the rogue-like genre and that lacking any of them kicks the game out of the genre.

>It is now tagged as such by users on Steam

This is kind of the point I am getting at. There is something captured by rogue-like that is missing from other games enough for users to begin appropriating it out of necessity. "Its a rogue-like except ...." eventually becomes "rogue-like". So if you want to preserve the rogue-like tag, a new tag still needs to be adopted for the kind of game where you start at the beginning repeatedly without the other requirements needing to be met. "rogue-lite" is already kind of the leading effort to patch the problem, but honestly as a tag it makes no goddamn sense without the history lesson.. it's piggy backing off rogue-like which implies some sort of equivalency

I wish games had their specific mechanics tagged in much higher resolution in general tbh
Beyond the Beyond Burger
"This tighter integration between Unity’s Create and Operate means a more powerful flywheel and data feedback loop that further supports creators’ success and understanding of what’s working between gameplay, design and their monetization efforts."

Aargh. Now what, built-in NFTs?

Ads in games have mostly been failures. You can sell items to your users, but ads in games are a bad fit. Either they interrupt gameplay, or they're ignored in-game product placement. This is also true for "metaverse" systems. It's not clear there's any role for "brands" in the metaverse. The systems which are profitable don't have them.
This would be very helpful to know in this case. Is it even possible that the document was public?
Please don't cite the lawsuit for the information if you're going to push this narrative as the lawsuit is written to be favorable to the accusers.

The bot thing was a sub narrative, not the main reason for buying Twitter.
Most of what I've learned has been by overconfidently trying to do something I didn't understand, and then learning better ways incrementally.

Granted, this is a bad idea when it comes to nuclear engineering. But it's sad when we say it's bad for software engineering, even crypto.

The fact that you want to apply that to C programming is really sad. That's effectively saying that people can play with web apps, but not operating systems.

I am not saying you are wrong. Just that you're no fun at all.
Happened today again on my Mac. Had to kill Teams twice.
Go to Settings, apps, search for Chrome and click the disable button.
I get a choice of Chrome, Google app (which isn’t even installed) and Safari. I mainly use Firefox, though, and that isn’t an option.
Just curious, how can you get images like this?
Well, you're both right and wrong. He's right You CAN, but your linked article is also 100% correct, GBTC / trusts are absolutely NOT etf's.

There are however etfs for crypto in other districts (I hold for example ethx.b, a canadian ETF that tracks ETH within my RRSP).
I didn't know that! Maybe they should put that in guidelines or not permaban people?
It’s an interesting idea but I don’t appreciate the name hijacking. Hyperscript has been around for a long time: https://github.com/hyperhype/hyperscript
Completely disagree here. It's kinda like going into blockbuster used to be. You can spend $1 on the cheap movies (eg, the free ones on prime), or you want to watch a brand new major release, you spend more.

Cable has done the same thing for decades. Subscription includes a ton of free content, and you can pay more for PPV or on demand new releases.
I would actually be okay with this if it was more public when the standard was met. For example, there’s an armed shooter at the local elementary school in front of my house? Sure, scoop up my Ring footage.

As we saw recently, police/local government will often fight against the release of surveillance footage to the public in cases where it makes them look bad. The Austin Statesman had to fight in court for a month to get the footage from the school in Uvalde which showed police just loitering in a hallway for an hour, in the full knowledge that a gunman who had just massacred a bunch of young children was holed up in a room nearby.

I'm not using the term 'loitering' casually. There's one bit of footage showing an officer idly checking his phone, which has 'Punisher' wallpaper.
Teams is worse on Windows, but so is everything, especially Microsoft apps for some reason. I find them to be annoyingly-glitchy-but-usable on macOS but entirely unusable on Windows.
Would be super curious to learn how cost of living is affecting other countries. I do understand that hn demographics skew higher income, but I feel like here in Germany almost no one is fully insulated.

For me, my expenses after rent and health insurance jumped almost 75%. I don't own a car and generally don't spend much outside of good food and drinks. Things like beef mince is 3 times the price it was a year ago. Cheese and similar products rose by something like 50% at least. Now there's talks about heating bills (often times around 5% of income) rising 7-fold... I'm still quite safe myself, but increasingly feel like this is going to destroy a lot of lives around here, and have major consequences for everyone.
Not in any way, no.
Thanks. Come to think of it, that rings true in my experience.
> Is it normal to get perma-banned from a subreddit on reddit

Generally, yes.

I prefer to use temporary bans myself but there are a lot of mods who use the permaban first and then gauge your reaction when you modmail to ask why you've been banned.

Also, tons of really bad mods on the site. No one disputes this.
To be fair, consent is given by these corporations constantly over any allegation so whether with or without consent you can safely assume these corporations are not on your side.

For me, I try not to get caught up in the day to day arguments of it all and just donate to organizations like the EFF.
Teams is hands down the worst piece of software I have used in my entire career. Not just because it's slow and resource heavy - the amount of bugs, idiotic design decisions, artificial restrictions and the constant wheel of changing features without giving the user any choice or say about any of them.....it all adds up. It's just an awful awful awful product.
The simple answer is that I don't know! I never looked at 'normalization' in graphs.

From a quick google, seems like it has been used in a couple of contexts. Firstly in GNNs which I definitely know nothing about.

However I see another description in terms of RDF triples, which sounds like a canonicalization algorithm (https://json-ld.org/spec/ED/rdf-graph-normalization/20111016...)
I control a single fairly inactive subreddit with the name of my hometown (please don't go look for it!) I don't pay a lot of attention to it, but I'm around to perform whatever moderation is necessary.

A couple of years ago someone contacted me in private, suggesting I might want to hand over the subreddit to them so they can "improve it". Looking into the user, they were a powermod already controlling a dozen other subreddits. They posted aggressively to all of them, often the same thing to multiple of these subreddits. There was a whole bunch of crypto promotion. I said okay, I'm willing to hand over the reins to someone better, but anyone can submit to a subreddit; you might at the very least want to actually become an active participant in the community first so I can see if you're serious; I can even make you a moderator to begin with.

Their response (paraphrased)? "This requires too much time and dedication for me to do it experimentally, without any guarantees that afterwards I won't be kicked out. Have a good life."

I think there's a major difference in perspective between powermods and, you know, regular subreddit mods. To me, a subreddit belongs to its community - which means whoever shows up to engage with it. It's a convenient structure for organizing content submitted by people with a shared interest. My job as a moderator is to keep it clean of content that infringes platform rules and to enforce the will of the community in ways that the voting system isn't suited for. This can mean doing very little, if the subreddit is small. But a powermod like this one seems to require absolute control. Subreddits must be "theirs", their project, before they will engage, and they see it as their responsability to "grow it", to actually provide the content if necessary. They think a lot about karma and metrics and partnerships. They seem to me like control freaks who really, really need more hobbies (no offense, guy from back then).

I retain my lone subreddit to this date not because I am in any way well suited to do so, but to protect it from being nabbed by people like this. I'm always mildly worried the powers that be will think I'm squatting, but I'm an active redditor in general and I'm happy to keep an eye on contributions - which can be made by anyone. Maybe one day a community member will show up who is truly passionate about the town and suited to take my place and do more... css stuff with it.
Sunlight Makes Men Hungrier
And with that let me plug the YMCA. It might vary by region, but the ones around here (PNW) are month to month payment, no sign up fees, far larger and cleaner than any LA Fitness or Planet Fitness. All around a wonderful gym option.
Dalle Prompt Book – useful prompt terminology and adjectives
> 404 says you didn’t find it. Not that it doesn’t exist.

Since a resource that does not exist cannot have any representation, it is therefore impossible for a representation to be found of such a resource. In fact, other than in the case where 421 is the correct response (“don’t ask me, I’m not responsible for that URL”) or where 406 is a more specific response than 404 (“I have the resource requested, but can’t produce a representation in the format you have requested, and don’t want to waste both of our time sending you a format you may not be able to use”), the only reason for a 404 is that the resource does not exist.
You'd think people reading HACKER news would be less pro-establishment in their arguments.
See Which Parent Most Resembles Your Kids
The company's FAQ page addresses this:

https://www.helionenergy.com/faq/
You're right, I don't. Just assuming based on my personal experience and a strange event.
Thanks! I made the HN submit link because I was looking for solutions to the performance, greatly appreciated, downloading.