skysight-inc/HackerNews huggingface dataset:
I think your comment was unfairly downvoted without objective reasons. This is a real issue with advanced type systems and the current solutions are not very good (although they can be practical in some cases) - you can either automatically decorate constructors with assertion code (slow) or trust external input (unsafe, something like __builtin_unreachable in C).
And after you're done with that, good luck getting a deterministic and fast type checker which can verify proofs (which you have to write yourself) about arbitrary theorems in your program. Yes, I'm aware there exist languages that can do this to a degree but there is a good reason why they aren't used in mainstream software.

I genuinely wonder how one would write a proof in something like Agda, that

parseJson("{foo:"+encodeJson(someObject)+"}")

always succeeds
To late to edit now, but should have read "from around 2000".
Because it's not about fraud per se, it's about punishing a specific class of people.

We see this in the US, too. Conservative politicians who are also trying to cut down welfare, but maybe not through such extreme means, are also very much against a recent expansion of the IRS (the US' tax enforcement group).
>Haraldur Þorleifsson Sweeps Person of the Year Awards

>One of his best-known projects is Ramp Up Iceland, which is building ramps throughout the nation to increase accessibility for people in wheelchairs. He has also personally donated to the legal funds of victims of sexual abuse, and has garnered praise for charitable donations to families in need this holiday season.

https://www.icelandreview.com/news/haraldur-thorleifsson-swe...
Hello HN community,

I'm Cédric Fabianski, Co-founder and CTO @ Bearer.

This is a big milestone for me personally and I'm super happy to be able to contribute to the Security space and help improve the security of others' applications.

This is by far the most challenging project I've ever worked on but as people say, if you don't make security simple and accessible enough, there is no way engineers are going to care about it.

Let me know what you think! Any feedback is more than welcome!!
Looking for Beta testers for new financial tracking SaaS
Hi,

My name is Daniel and I am developing an easy-to-use financial tracking SaaS. It is called Trackvent where the whole point of the product is to make financial tracking easier than ever before and so so so user-friendly. Our main target group is private consumers and business owners.

Before launch it is really important for me to gather feedback and advice from users. If interested please go to https://mailchi.mp/7998d0647ed4/trackvent and sign up with your email address and we will be in touch very soon regarding the beta testing. Of course I will not charge for the testing - I am really really really interested in testing it out and getting feedback.

What I would love from beta testers:
1) General feedback regarding overall experience of product
2) Any improvement suggestions
3) Identify bugs in both app and website

In short in you can manage income, expenses, and make informed decisions with an built-in projection function. In addition Trackvent also allows you to easily generate invoices for your clients or customers.

Hope this sounds interesting!

Best regards,
Daniel
Ok, so now that sentience is at the table, let me ask you again: show me the sentient code. And a program that takes a token sequence as input, does a single pass to produce an output token sequence, of which it does not hold any state, requiring you to append the output to the previous input to create the next token sequence to feed into the model, for the next single pass output sequence, rinse and repeat, is NOT going to do the job of becoming sentient, no matter how impressed you are by a natural language representation of the token sequence.

Btw I an not scared, just unconvinced. And you arguing like a high priest with all that talk about pain and suffering ain't going to change that.
Guys, let’s all appreciate King Kong while being respectful of himself and his family at his advanced age. Kong suffered a stroke several years ago and has had difficulty swallowing buildings ever since. He lives in an assisted care facility and has periodic dementia. He doesn’t remember which cities he has terrorized, and doesn’t sign autographs anymore. He was asked to leave his prior nursing home after the staff complained about dozens of calls for autographs every hour. Kong was unable to attend People’s villains of the century gala last year, and asked Bigfoot to attend in his place. He asks that donations be made to the Kong facility for underprivileged super villains.
Wow, such a cool product! Thanks for sharing - will try it out.
In Lua, a symbol is just a string which is subject to certain parsing constraints by the interpreter.

One of my favourite things about the language in fact.
Personally, my rule is no liquid calories (nut beverages, milk, fruit juices, sugar with my coffee, etc.) unless I am on a weight gain diet, then smoothies with whole fruits are ok.

I drink water, black coffee, and tea.
Not only, the whole stuff about eSim (and iSim) might be an issue when you have a problem on your hardware (phone):

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

https://news.ycombinator.com/item?id=32138466
Feels more like to gut Musk. Dude had a firm aquired to Twitter in '21. and is 2nd largest tax entity in Iceland. He got Musk saying he's terminated due to disability[1] and deliberately asked HR repeatly that his JD is correct while he was employed[2].

Dude is out for blood and Musk falls for it. It's going to be a very expensive tweet for Musk.

[1] https://twitter.com/stevanzetti/status/1633096176219160584

[2] https://twitter.com/iamharaldur/status/1633082731172069379
Samsung Has Assembled Team to Develop Custom CPU Cores
There recently was a paper demonstrating answering "why is this picture funny"

Palm-E should be able to answer those questions too, right?
A multi-segment soft growing robot with selective steering
Tell me you've never had a job without telling me you've never had a job. Not having a release strategy at all is insta-trashcan at any enterprise I've ever worked at.
RT-1 is trained with very specific (and a lot of) mostly pick-and-place data. That's the domain it is an expert on. Unfortunately, there are only so many things you can build with go to/pick up/place level of instructions. Anything further that goes into the fine manipulation domain that you may need in a real kitchen is still absent.

This issue was a general disappointment in the robotics community; they had a LOT of funds to get robotics data with and they spent it on somewhat trivial tasks that we had almost solved already with much smaller and more principled models, instead of getting human demonstration data for more complicated tasks.
> Amazon’s model is to grow big first and then figure out making money

I think this is the case with most start-ups nowadays. Attention is considered to be the most valuable thing you can get from a person, the assumption being is that you have the attention, you should easily be able to monetize it somehow. Also, the number of users is what investors mostly care about in the early stages and the "traction" is one of the highest valued KPIs.

I do think this is wrong though, from many, many points of view. The worst way in which is wrong is that we end up not creating good products or products that provide value, but only addicting products or those that provide instant-gratification and are purely focused on the short-term benefits.
Ah sorry I definitely thought you were the root.

I suspect a lot of nootropics are so person-dependant. I can't speak much about nootropics ability to help someone who is already cognitively well-off, but I can definitely say they have significantly helped my mom's ability to remain cognitively sharp despite e.g. something akin to frontal-temporal dementia. Lions Mane absolutely does noticeably improve her cognitive abilities. Mind you, in this case it means that she goes from noticeably poor cognitive abilities to back to just a normal person's cognitive abilities, but that's fantastic from my perspective (maybe not due to Lion's Mane alone though). I've also noticed a surprising effectiveness of high-dose vitamin D + a powerful antioxidant like glutathione. Again though, this is very personalized. My mom, through blood work, we know is suffering from massive oxidative stress, so of course it makes sense that addressing the specific issues that are affecting her will cause a noticeable effect.

I know a lot of people turn to nootropics to enhance their abilities though and I honestly can't say much about that except that personally lions mane does seem to make me sharper (clearer thinking) but that is very anecdotal and much less noticeable than the improvements I see in my mom when she is taking certain supplements vs when she is not. And I'm generally prone to believe most supplements are bs, fraud or not necessary. I've come around to seeing how important certain supplements can be for certain people at certain times.
I remember going to a copy shop in 1999 to print out a GameFAQs walkthrough for Fallout 2.
Well, that is unfortunate because it invalidates a lot of the benefit of the link-local address while providing "pivacy" over the local link scope... I have not encountered any equipment in the wild that does this, thankfully. The only distros I use (NixOS and VyOS) do not have this behaviour by default so this was news to me.
function Foo.bar(foo, foo_param)
foo.buxx = foo_param or FOO
return foo
end
Not for a layman though
API for <1ct per request or it didn't happen
Same thing in a lot of places unfortunately. The difference is that less visible companies don't get the rumors from the news.
Maybe that's the natural part, multiple ways to say the same.
Contact form here: https://quil.la/FVZ3PMZC Thanks!
This is detailing a report from the FDA about packages they inspected. However, I wonder if there's no overlap with packages inspected by the DEA and/or CBP.

The FDA might not see many opiate packages if most of the "hot leads" for which packages likely contain opiates are routed to the DEA for inspection and the FDA never sees them. Similarly for any other Schedule 2/3 drugs.

That could be why the FDA mostly sees "asthma" drugs. Though...I do believe that international orders would mirror domestic prevalence and lots of people need asthma medication. I myself have ordered asthma medications from India to save hundreds of dollars per month.

Anyways, the article states "The FDA said it found 33 packages of opioids and no fentanyl sent by mail in 2022". This was out of 53,000 packages inspected. However, the CBP reports finding 239 mail parcels with fentanyl at just JFK airport alone in 2018[0]. It's unclear how many packages the DEA has seized but it also sounds like a lot more than 33.

0: https://www.cbp.gov/frontline/crisis-control
This is interesting, but is not using the GPU.
Publicly disclosing an employee’s disability, mocking it, claiming they are faking it, and then saying it is the reason they were fired. Employment attorneys are going to tear Elon to pieces over this.

I hope those holding shares of Tesla stock feel really good about supporting this behavior.

Edit:

I want to know which account flagged the original post and I want them to explain why they did.

Hello. Is that you, Elon?
I remember seeing some danish users here on HN saying that they trust their government, and that surveillance only helps to optimize their taxes.

Well let's see how long that trust lasts, it certainly didn't last in Europe[1]

1. https://www.dw.com/en/danish-secret-service-helped-us-spy-on...
I agree for short lived executions like tools etc.

That said value types are coming to Java as part of Project Vahalla (and tangentially related to Project Panama) and AoT will be shipping as part of OpenJDK proper which would likely allow Java to be suitable for some of those cases.

I would say Rust has a distinct advantage for language processing tasks however, not just because it's small runtime, compact memory layout etc but also because the existing body of work w.r.t language projects is very rich and well developed.
I had one of those weird TNT2 M64 cards that you could fool into thinking it was a proper TNT2.

Unfortunately for mine the foolery didn't work perfectly and I recall the card was a bit unstable when running that way, or maybe it didn't achieve the optimal performance possible for one of those fiddled M64s.

Not really a huge surprise, IIRC it was a super cheap card...
> Cyberbullying can lead to suicide, but presumably you aren't worried about Discord and Twitter the same way

I think we have already safety mechanisms for human interaction: (1) We have human ethics, where we teach good values in school, and also parents are expected to relay good values; (2) We have laws and mechanisms to improve safety and responsibility -- bullying has consequences for the bully if found out. I think we need at least similar systems in AI. That's not to say they're ideal however.

In fact, because we have full control over the creation of AI, i.e. we want to the position of Gods, we have extra responsibility. Literally how their mind is architectured is up to us, it's up to us to imbue things like compassion that most humans have instinctively, and up to us to imbue things like values and ethics that we have adopted culturally.

From Orbital's "You Lot":

"You are becoming Gods
There's a new master of creation, and it's you
(...)
D'you think you are ready for that much power?
You lot? You lot?
(...)
Go on, hands up, hands up anyone who thinks you've got it right
Yeah, there's always one I can see you
If you want the position of God, then you must accept the responsibility"
It's a hell of a lot easier to pull through a conduit.
Some are...
China, India, Israel all mandate IPv6 support from ISPs in their territory and the equipment they provide to users, as do some others.

The US has mandated IPv6 support for federal contracts since 2009, although they don't get involved outside of those directly providing services to the government itself. They now have plans to go IPv6-only, and eliminate the use of legacy IP within the federal government.

Allocation of legacy address space was always based on first come first served, so developed countries got the lions share of address space and left developing countries with scraps. This creates a severe inequality, and holds developing countries back. This is also why India and China are leading, as they have a huge disparity between their population and the number of legacy addresses available.
Lifting heavy things also has the downside of potential injury. I'm an enthusiast, but it takes some education, and constant vigilance.
The cost of egress plus a gateway or two is fairly close to the cost of burning a DVD twenty years ago. And it appears to actually be cheaper to burn DVDs and mail them today than to send data from a major cloud.

This becomes very relevant for things like archiving data. If you generate data outside of a major cloud, you can pay a major cloud a very reasonable fee to archive it for you. But if you ever download your archive, it will cost you about half the price of buying an external disk to store it on.

(To be fair, object storage is rather more reliable than a single crappy external drive. But if you access the data more than once, maybe you should have a colo or on-prem copy too.)
> We did, but iSIM is better than eSIM.

No it isn't.

Said no-one but paid Qualcomm shillers.
Nice Easter egg / PR when clicking the basketball image:

"… i am not sure if this is correct. i am not basketball fan. i just google it.
If you're getting into a game years later then you probably don’t want all the content at once. Buy the base game with none of the DLC and play that for a while. Then decide which DLC will best enhance your current game; for example you might decide you want an amazing airport in your current city, so you get the Airports DLC. Or you might prefer a large University campus, so you get that one instead. Spread the content out over a year or two so that you are sure to get your money’s worth. Or just ignore the DLC and download mods and assets from the Steam workshop; you could spend a lifetime doing that and never catch up.
Pandas 2.0 Highlights – up to 32x faster with Apache Arrow
https://www.google.com/search?q=twitter+blue+0.2
This one is actually baffling to me. The only dimension where chess.com is better is that it has better players at the very top end... which is not a concern for anybody except ultra-high level GMs.
I aim for 50% of the snark of the comment I am replying to, so that extended conversations will approach 0% snark in the limit. I feel like I was pretty well-calibrated here.
I used to run a few telco switching offices back in the circuit switched days... and I truly miss wiring up DSX panels. I would come in on a Sunday afternoon with music playing and that was my zen.
Boots, the Bear That Explains Code
Looks like it was maybe $0.12 or so not adjusting for inflation if this chart is to be believed:

https://www.foxbusiness.com/markets/over-100-years-of-averag...
Modern conservatism: the paranoid fear that someone, somewhere, might possibly be getting something for free.

And they, horror of horrors, don't look like you.
At least one thing the C-suite and the rank-and-file have in common.
>In Rust debug builds, integer overflows crash

That's true with C/C++ compilers too, if you want, using UBSan.
Except the jump from robot logic to robot control is a damned difficult one. Even if you have a human teleportating the robot, it's multiple orders of magnitude more expensive to get robot controls than to get robot logic in terms of both time and money.
Considering Meta is banned in China, I don't understand why there's even a question about this.
I think the point was to make something in a pinch with what was already available versus making the most flexible choice.

That being said I use, I'm not the author, https://github.com/Noltari/pico-uart-bridge to turn a Raspberry Pi Pico into a USB to dual UART adapter. It appears as a CDC-ACM device so is supported under Linux and Windows without any 3rd party drivers. I replaced my MacBook Pro with a Thinkpad years ago so I have no idea what the situation is on macOS.
I expected this to be an advertisement for AWS and of course it is, but it also contains interesting examples, which makes it a worthwhile read.
Ask HN: What's still being funded?
There's a lot of doom and gloom around the big tech layoffs right now. But as we saw from '01 and '08, generally the biggest new startups will come out of these times. What's the trend like in VC right now?
It’s not meant to be taken as an absolute binary; it’s a question one should ask oneself. If you think you “care” about something, but never allow it to influence any decisions, you should really question yourself whether you actually care or not. As you say, the answer might very well be “Yes, I care, but there aren’t actually any options to express my precise level of care. The choice I make might be the same as if I didn’t care, but that’s because choices are limited, and my decision is ‘rounded up’ to the same choice I would have made if I did not care.” It is valuable to examine one’s own choices like this, because it causes you to notice when an alternative which is acceptable turns up.
But others do. There are managers who think exactly this - people are replaceable cogs - meaning you can treat them like that too - as tools that are like store bought

TLDR: See Boeing
In the course of doing due diligence for choosing a distribution to replace our CentOS boxes with, I noticed this in the Alma Linux marketing SIG meeting notes:

> Out of curiosity we pulled RDNS info for the IPs who are updating on using our mirrors (anyone with with the COUNTME flag enabled)

Given that the COUNTME flag is enabled by default, it seems Alma Linux is collecting information on all instances that connect to their mirrors? I don't see any more information about this anywhere, but I find it sketchy that they're logging IPs and pulling information on them.
Check out https://beta.elevenlabs.io
What does this have to do with Danish welfare?

Allies also spy on each other to make sure they're still on the same team and not dealing under the table with non-friendlies. The weren't spying on average joe citizens, but on high ranking politicians and weapons manufacturers. When you're in a military alliance with them you want to know what those parties are really up to.
I like how the author boils the idea down into a simple comparison between two alternative approaches to a simple task: getting the first element of a list. Two alternatives are presented: parseNonEmpty and validateNonEmpty. From the article:

> The difference lies entirely in the return type: validateNonEmpty always returns (), the type that contains no information, but parseNonEmpty returns NonEmpty a, a refinement of the input type that preserves the knowledge gained in the type system. Both of these functions check the same thing, but parseNonEmpty gives the caller access to the information it learned, while validateNonEmpty just throws it away.

This might not seem like much of a distinction, but it has far-reaching implications downstream:

> These two functions elegantly illustrate two different perspectives on the role of a static type system: validateNonEmpty obeys the typechecker well enough, but only parseNonEmpty takes full advantage of it. If you see why parseNonEmpty is preferable, you understand what I mean by the mantra “parse, don’t validate.”

parseNonEmpty is better because after a caller gets a NonEmpty it never has to check the boundary condition of empty again. The first element will always be available, and this is enforced by the compiler. Not only that, but functions the caller later calls never need to worry about the boundary condition, either.

The entire concern over the first element of an empty list (and handling the runtime errors that result from failure to meet the boundary condition) disappear as a developer concern.
If any industry is poised well to make relatively high pay anywhere, it’s tech. It’s speculation on my part, but I assume tech has one of the highest remote work percentages.

This is a phenomenon that is prevalent in other industries, without that remote work luxury. Oil and gas workers get paid handsomely but often have to live near the worksite. Even then, rent is astronomical without all the luxuries that SV offers.
Any sane mail client of your choice > whatever the fuck Outlook does.
I think it’s hilarious that they went and changed their name to their worst idea.

The term “metaverse” comes from Snow Crash, which is a dystopia. They would know this if they actually read.
We are talking orders of magnitude difference. Plus this is a much more solvable problem than what I mentioned: domains getting held hostage and then going to auction.
Why is this bad, threaded discussions have existed for all internet time
Ask HN: Is Patreon login broken for anyone else?
I've not been able to log in to Patreon in at least a month due to "An unrecoverable internal server error has occurred." This happens regardless of web browser, OS, or even mobile app.

I've sent two inquiries to support, one of which appears to have died, the other acknowledged the likelihood of a server-side error, but then appears to have gone nowhere after that.

Not being able to log in is preventing me from updating billing information, which means some creators I'd like to support are currently not getting supported. I'm mainly curious if other HNers are getting this.