skysight-inc/HackerNews huggingface dataset:
> OceanGate had previously taken the Titan to this depth to visit the Titanic. So, it was "proven".

The average HN knowledge of engineering.
I reckon you could suspend a net above each solar panel. Just make the gaps a bit smaller than the diameter of a hailstone that would cause damage.

That'd be quite a bit cheaper.
This site is a solid way of seeking work at a good company or being a responsible consumer.

When I was looking for work in environmental policy around 2016/18, I looked at this tool and it was sparsely populated. Now it feels like many companies have made attempts to conform to the standards, which is no simple feat, especially for multi-nationals.

It’s exciting to see alternate means of assessing value in a company. Such an evaluation is essential if we want to rethink classical economics and value companies who add value to their employees, the earth, or sustainable practices.
This is ridiculous and completely untrue. They filmed the actors in special suits that could be tracked more easily. They added the suits as CG because the CG suits look much better and let the actors actually move around. Not only that but if the iron man or war machine masks go down and obscure their face they can transition to a full CG character and have them fly off.
Yes, correct. The author is skipping something here.

The Dafny compiler only accepts programs if it can prove they terminate. You help it with a “decreases annotation”.

So it’s true that no every program provably terminates. But those programs that don’t will be rejected by the Dafny compiler.

In practice I suspect this is a good thing overall (writing your loops in such a way that it’s easy to prove they terminate is good style).

Official documentation: https://dafny.org/dafny/OnlineTutorial/Termination
I can personally memorize and recite copyrighted works all I want, but when ChatGPT does it then it’s in a commercial context and they’re liable to be sued for infringement.

If you ask ChatGPT the rules for D&D, the private sourcebooks are all in there.
This dude needs to walk away already.

Why grind when you've got like a quarter trillion dollars?

Honestly, it's folks like him that really need to realize that life isn't just about "work" - it's about spending time with the folks around you who you care about the most. Well, maybe he's actually doing just that because his shareholders care about him, and he clearly doesn't give much attention to his families (he's got like 10 kids with 3 or 4 different women and has had numerous affairs between/during each of his marriages).

It's OK to grind, it's OK to work hard, it's OK to work long hours....if your heart is in it and you're not responsible for anything else. If you've got that sort of money, you need to realize that you've won already, and your intellect would be better suited to fixing the world's toughest problems rather than making wealthy people wealthier through stock appreciation.
Thanks! That surprises me but maybe it shouldn’t. I figured it was some purpose-built software for attorneys.
Discord rolled out a ChatGPT based bot that can be used in (and thus can read) all private conversations. Not surprised there are issues with it.
my father would do this with us, only respond to us in his native tongue or even acknowledge it. We speak 3 languages at home and were fortunate that my parents picked one language to start us off in and english for example would come second as we'd learn it in school. I think its absolutely crucial to learn your mother/father tongue that is not english because knowing the language is knowing the culture as well and that to me is priceless.
The paper is from 2020. My understanding is that composite testing is still in its infancy.

Also note that the hull was 5 inches thick (safety factor > 2.5). Depending on the dispersion properties of the medium ultrasound might not penetrate and get a good result. In Ti (some alloys at least), for example, you cant get much signal past a couple of inches due to the scattering (from the grains?)
I don't think the mass of the water would have a very noticeable effect on the perceived gravity. The average depth of the ocean is about 4 km, whereas the radius of the Earth is 6,000 km, and stone is denser than water as well.
the problem with clojure is you have to learn java (or at least some java)
same issue i see with F#, you still need to have at least some basic knowledge of C#

unfortunately running on JVM actually really means running on Java
same for .net it mean running on C#

i dont mind learning two languages, its expected from most developers to know more than one, but context switching in a single function between two language is not fun
Neeva did only one thing right: they cared about privacy, but otherwise they really did not do a good job. Their search results were worse than google, their load times were even slower than google, they tried making too much money too quickly, and they jumped towards fads too quickly.
Shout out to F#. I think it does a lot of this, doesn't get much respect I think because it is from MS and runs on .NET.

Love the type checking, which I think is better than Rusts. But since I think Rust will win the market, I hope it improves.
Under the fair use idea wouldn't they just be able to pay for a copy of all the books and use them for AI?
I've not had as much time to look into formal verification as I'd like and this blew me away

lemma LemmaFromToBytes(v: nat)
ensures FromBytes(ToBytes(v)) == v {
// Dafny does all the work!
}

The compiler can _prove_ one function is the inverse of another? That's so cool.

Also I disagree with some of the other posts dismissing the usefulness of this kind of thing. I grant that formally verifying every little piece of my code would be overkill. However, I absolutely want certain core pieces of my application formally verified.

I'm gonna have to play with Dafny at some point.
There's nothing wrong with using carbon fiber for a compressive load like this. Like most engineering the devil is in the details - how do you interface the carbon to the metal end caps for example? They likely are a weak point as the compressibility will be different for both materials making them want to shift (or fracture if they are glued together) during pressure cycles. I'd love to know how they solved this (or if they didn't and that's why we're reading this).
Napster was people sharing files. That's a crime! But now it's corporations so it should be legal.
EMFs affect the calling song and level of biogenic amines in crickets
Noup. Amazfit/Zepp Health is a Chinese brand, somehow related to Xiaomi (I have a few Xiaomi Mi Band devices and they use the Zepp app on the phone).
Ireland is currently bringing in an extremely draconian hate speech bill that doesn't clearly define what hate it, and makes it possible for an individual to make a citizen's arrest if they consider someone's speech hateful. Can you imagine the carnage at the next protest? It doesn't matter what it's about, either side can accuse the other of hate thought crimes, and then things will get physical as they try to arrest each other.

Of course the ICCL (Irish Council for Civil Liberties) aren't kicking up a fuss about thought crime, because they've been pretty much ideologically captured.
Yes, or even more likely Y ;-)
Think of it this way: what if there was a 100% tax on profits?

Why would anyone invest money in that venture?
How do you handle the growing dependency problems in ruby (and rails) projects?

How can we as open source community better support projects we are using for fun and business?
FTA:

> The lawsuit is seeking class-action certification and damages of $3 billion – though that figure is presumably a placeholder. Any actual damages would be determined if the plaintiffs prevail, based on the findings of the court.
Ad-hominem attacks don't really make your opinion more credible.
But a great day for fans of alliteration.
Anecdotally, when Tesla implemented safety score as a voluntary activity to unlock FSD, my gamer brain kicked in and couldn't not pursue a high score. The result is that I went from an extremely anxious and aggressive driver (which is 90% of american drivers) to completely ambivalent to my arrival time and obsessively approaching intersections cautiously and giving time for drivers that cut me off.

I do think that a key component for success is near real-time feedback so it feels like a game and not a speeding ticket in the mail.
> Probably not insurable at any price - either because risk is too high or they can’t evaluate it.

FWIW, fatal experimental submarine accidents aren't the weirdest thing insurers have insured. https://havenlife.com/blog/craziest-things-insured-lloyds-lo...
Even if only 0.1% of IRCC applications slipped through the cracks, that would still be hundreds of cases like yours annually.
Interview with an Emacs Enthusiast in 2023
The key thing is to build resilience into the system:

- diversify power generation among multiple classes of electricity generation: geothermal, running water (=dams), solar, onshore wind, offshore wind, biogas/waste incineration, pumped-water storage.

- build large grids with ample transmission capacity on long lines. China for example has built multiple HVDC links spanning thousands of kilometers - enough to span the entire US.

- build out mesh grids. The more interconnections, the better the resilience against any kind of external shock.

- incentivize large consumers (=heavy industry) to build out the ability to weather outages - basically, pay them to go offline when needed. Yes, some processes (e.g. glass smelters) cannot be stopped without incurring severe damages, but a lot can.

- incentivize private consumers to invest in battery-backed fallbacks and solar panels on their roofs. A typical home runs at anything from 3-6 kWh - that's around 5.000€ for a battery that provides a day worth of regular electricity usage.
The reality is, unfortunately, it's more profitable to not have customer support at all if things work for most customers, and let the customers with problems just leave.
Thank you for the clarification. I should have searched around a bit more for an explanation before complaining about it here.

As soon as I have a little free time I'll do my best to update the relevant Wikipedia pages in hopes fewer people are confused by the nomenclature in the future.
Airbnb Revenue Collapse Data Sparks Housing Market Crash Fears
shade causes the panel to shut off or under perform.
> including personal information obtained without consent

Obtained from (check notes) public internet forums

> For the 16 plaintiffs, the complaint indicates that they used ChatGPT, as well as other internet services like Reddit, and expected that their digital interactions would not be incorporated into an AI model.

You've got to be incredibly naive if you think public Reddit data isn't used to train ML models, not least by Reddit themselves
Thank you. I thought I was going crazy.
Correct, in part. It is our promotion to motivate someone to signup but many times it is the child pushing the parent by bringing up the cash reward. It is just our first introductory promotion. Every subsequent month challenge is rewarded in Litcoin and kids can use their bitcoin at the Litnerd Store to buy items they want like iPads, Roux, Game stations, collector cards to play the Litnerd game and more. Much better than trying to acquire customers via high CAC ad spend.
How is "believe the victims" any different to "guilty until proven innocent"?
This is a thing in parts of Texas and it can destroy roofs, cars, equipment, you name it. It can also injure and kill people and livestock.

Yes the hail too is big in Texas.
First step would be to run their own hardware. Why? $1.5B is a substantial amount of money. They can claim to be more green/energy efficient.

As for a public cloud, maybe not yet.. the problem with it is that it can be difficult to change/unwind.

However, they might just want to sell those sweet high margin AI/ML cycles running on both the backend and the client devices
>so maybe it'll cost lower to build a search engine index compared to an internet preservation project?

An index is just hashmap of words and list of urls. So you have to parse the page, and add the urls and word frequencies to the list.

In terms of storage is cheaper, in terms of computing power is more expensive.
Are you implying people writing code should have some training in how computers actually work? Heretic!
Curious cat - had you considered using Antlr4 and a Python visitor/listener? (Were you aware of antlr?). Depending what you're trying to do with a regex tokenizer, it might be suitable.
I was able to get it to summarize parts of a private conversation (when doing @Clyde in said private chat), and it properly summed up pretty specific details of the chat to which it claims not to have access. In another chat, I could convince it to quote a message from earlier in the day, again from what I assumed to be outside the context window of the AI.
I have no idea whether the current telematics algorithms are any good at assessing risk.

However, with a large enough corpus of training data including years of telematics on drivers with and without insurance claims it certainly seems like it should be possible to build models that can make much more accurate risk assessments than they can with the data they currently collect such as age, zipcode, and past accidents.

Put another way, I would be surprised if there was zero correlation between driving behavior and insurance claims.
Show HN: Gridify.it – Svelte app to add grids to images and pixel art
Because the laptop/cellphone/tv you buy is priced in USD and then converted to CAD. Take a look at Macbook prices in Canada and weep for us. Canada imports most products, and so we pay a hefty price for weaker currency
Inflection.ai Raises $1B
Nets have their own issues as they can ensnare birds and trap debris blown around by the wind.
No, the land immediately surrounding the urban area of Toronto is some of the most fertile and productive farmland on Earth, the really cheap land is several hours drive north and almost entirely rock/muskeg/etc. and much colder.
No, I like Gnome, period. That’s a subjective fact. My arguments are reasonable. That’s true, but has no relation to the former.

You do not like Gnome. That’s completely fair, subjective opinion - though you seem to be actively hating it, which is I believe way too strong of an emotion to feel, but you do you.

Your arguments are not logical, and don’t conclude what you say they do. That’s a fact. Just look at the bullshit you wrote about menus and how they are good, while what gnome does is bad — menus also don’t show you what they hide! They don’t start out opened, like come on! They are exactly analogous to what gnome does with the task bar - you just have been using one for decades, and the other is new. But then say that you don’t like new things — completely fair, and feel free to use xfce or whatever! People really dislike change, being a designer is not a kind job, no matter how objectively good your work is. But let’s not post-facto “reason” yourself into that position, because that’s just made up bullshit brains are very good at — we like to build up a reasoning from the emotional conclusion backwards, and not the correct way.
For context, Irish DPC is the one that handles most GDPR complaints for mega corporations like Google, Apple and Meta (because that's where they're officially based for their EU operations).

It's been massively criticized because it's been dragging their feet when resolving complaints and having... strange... resolutions when they actually managed to resolve anything: https://www.irishtimes.com/technology/big-tech/2023/01/13/eu...

Now the Irish parliament accepted a surprise amendment which makes process of this office opaque and untransparent for everyone else - it's not hard what's going on here.

It's GDPR protection office refusing to be accountable for their slow GDPR resolution process in a country which wants to retain megacorporations that love to break said GDPR.
It had to happen eventually. There is so much money to go after. This is a case of lawyers creating their own income stream.
How is code generation handled on modern operating systems and CPUs? Isn't there normally a strict separation between code and data to prevent exploits?
Have to concur. SO many people grab Python or Javascript for a 'quick short script' and it turns into a real production system and then becomes un-maintainable. But F#, functional languages, they maybe take more time to learn, or become proficient, but the errors drop way down, because the langue doesn't allow those types of errors that are common in 'scripting' languages.
This is 100% a 3DS/SCA issue. Are all of your cards one brand type (Mastercard, Visa, or AMEX)?
Sure, but that begs the question of "why a mechanical watch"? A simple quartz watch doesn't need to replace batteries for years, is very accurate and much cheaper still. For many people it boils down to "I like the mechanical engineering aspect and want to show that" (status and signalling) or as a fashion item. Of course, that is a different signal than the rolex "I am rich", but it is a signal. Which is perfectly fine; most clothing and accessories are like that. The point is "because it tells time" is nowadays more of a secondary function after that.

Just as an anecdote: A friend would often wear a very fashionable, old, mechanical watch. That watch would sometimes just stop, but that did not matter because the primary function was being jewellery on the wrist.
List of Resources for the Helix Editor
Do you have experience with that second approach actually working? I'm currently stuck maintaining and upgrading multiple microservices that are a total mess because nobody understood how they were built, and we just had to cope with their weird spaghetti.
Looks awesome! Congratulations guys!
Nah, Nikola tesla was working with something unknown and strange at the time. There wasn’t a hundred years worth of engineering work behind the field.

SpaceX’s “new thing” was recovering the first stage, which made subsequent launches cheaper.

We have a LOT of engineering experience behind carbon fiber structures. Sometimes, you listen.
They use some sort of glue to seal the titanium rings to the CF hull, then the Titanium hemisphere end caps are bolted to the rings. Here’s their own YT vid showing the construction process: https://youtu.be/WK99kBS1AfE
Happy Kagi subscriber here. Keep up the good work!
How can you trust a list that places JavaScript an order of magnitude lower than TypeScript? Seems fundamentally broken.
I have it and if fitness/sleep tracking is the main thing you are after, it's easy to recommend. It looks fantastic and the battery lasts forever.

But I find it almost completely useless for reading notifications from my phone. The small screen + no way to recall notifications if you don't watch the whole thing scroll past when it originally comes in are very frustrating. Plus it's very annoying that despite having users asking for this for years they have not implemented a "find my phone" feature.
Scraping is a bit of a legal gray area though. If you were to go scrape 300 billion words from the Internet, you probably would be committing a crime somewhere. Especially if you then reproduced some of those words verbatim for paying customers as ChatGPT does...

I am sure OpenAI thought all this through, so I can only assume they said "fuck it let's pull an Uber and do this anyway." We are in for lots of interesting legal headlines
They want to put AI in the tools.
Not in Nebraska but in the Texas Triangle, thinking of getting Solar panels and was wondering about hail as well.

We get hail here, but haven't seen baseball sized hail yet.

Anyone have any insights on this?
There were no errors in the compile
You'll be able to do this soon with the Rust regex crate as well. Well, by using one of its dependencies. Once regex 1.9 is out, you'll be able to do this with regex-automata:

use regex_automata::{
meta::Regex,
util::iter::Searcher,
Anchored, Input,
};

#[derive(Clone, Copy, Debug)]
enum Token {
Integer,
Identifier,
Punctuation,
}

fn main() {
let re = Regex::new_many(&[
r"[0-9]+",
r"[a-z_]+",
r"[,.]+",
r"\s+",
]).unwrap();
let hay = "45 pigeons, 23 cows, 11 spiders";
let input = Input::new(hay).anchored(Anchored::Yes);
let mut it = Searcher::new(input).into_matches_iter(|input| {
Ok(re.search(input))
}).infallible();
for m in &mut it {
let token = match m.pattern().as_usize() {
0 => Token::Integer,
1 => Token::Identifier,
2 => Token::Punctuation,
3 => continue,
pid => unreachable!("unrecognized pattern ID: {:?}", pid),
};
println!("{:?}: {:?}", token, &hay[m.range()]);
}
let remainder = &hay[it.input().get_span()];
if !remainder.is_empty() {
println!("did not consume entire haystack");
}
}

And its output:

$ cargo run
Compiling regex-scanner v0.1.0 (/home/andrew/tmp/scratch/regex-scanner)
Finished dev [unoptimized + debuginfo] target(s) in 0.31s
Running `target/debug/regex-scanner`
Integer: "45"
Identifier: "pigeons"
Punctuation: ","
Integer: "23"
Identifier: "cows"
Punctuation: ","
Integer: "11"
Identifier: "spiders"

A bit more verbose than the Python, but the library is exposing much lower level components. You have to do a little more stitching to get the `Scanner` behavior. But it does everything the Python does: a single scan (using finite automata and not backtracking like Python), skip certain token types and guarantees that the entirety of the haystack is consumed.
I grew up reading his "Ask the Guru" columns in Computer Shopper and loves all the creative ways he came up to use PostScript. His hardware hacker articles were also great. He will be missed.
Perl is a great language, but please listen to this old perl programmer's advice:

1. You can write totally unreadable perl. It is probably the single worst language in this regard most programmers will run into. Be careful to make your code readable.

2. Keep your amount of perl small. 200-300 lines is a good bit of it.

So for quick bang it out scripts that want to parse text etc... perl is great. For writing a major application, not so much.
Carbon fibers have great tensile strength. Why would they be a good choice when a sub faces compressive forces?
The weird thing about this is that i stopped drinking Diet Coke, specifically because of aspartame, after reading this same thing in 1996 or perhaps early 97. WHO's decision to wait nearly 30 years before backing that just makes them look impotent.
I'm not particularly worried; GrapheneOS is already replacing/improving plenty of AOSP apps, so Messaging & Caller will likely just be added to that list.
Most material science VC deals are done off of data derived from the ‘lucky sample.’

“Scalability turned out to be harder than we thought!”

Or it was statistical reversion to the mean.
Joshua Sheats over at Radical Personal Finance just ran through an 18-part podcast series (starting at #908) on investing into one's children at a young age, spanning everything from conception through education and character development. Highly recommend listening through his thought process.

It's mostly not financial, in this context, other than the idea that the early years may very well shape your and their financial future.

He also has an extensive back-catalog on education, pregnancy, raising children, etc. A lot of the segments of the big series I referenced above have roots in topics he's covered over the years.

Extremely well-spoken and thoughtful, but I'll attach the usual warning when posting any media to a broad audience like HN, you'll probably find values that you share and values that you don't, so approach with an open mind and extract what's valuable to your life.

RSS: https://radicalpersonalfinance.libsyn.com/
I need a source to believe gifting something something allows you to use a false appraisal.