skysight-inc/HackerNews huggingface dataset:
Casualty insurance companies just want the numbers, then to set the markup, then profit. They've filled out that elusive intermediate step. If it means finding a way to get a customer a discount then that's ok, as long as they have the customer.

The biggest factor they can monitor is verifying miles driven. Miles driven, unsurprisingly, has a bigger impact than virtually anything else someone signing up to be monitored would be guilty of.
> freezing the accounts of thousands of people attending a protest with today's system would be a monumental task

We already have that system. They put your name on a list, and everyone with that name or similar has lots of paperwork to do.

https://en.wikipedia.org/wiki/Financial_Action_Task_Force_bl...
Have you tried QML? My efficiency improved dramatically since switching from C++ Qt for the UI.
Though, at the low level, it is perfectly valid to compare the full costs, not just the growth rates. Right?
2015 seems to mark the beginning and mostly the end of the project. Another EU taxpayers money throwaway subsidy I believe.
Washington Power Brokers are just mad that they can't trade favors for access to foreign "skunkworks" style projects. Tons of power and corruption they're missing out on for trading access to such tech.
Although it has not happened yet, I wonder what will happen to Apple Silicon Macs if the newly released macOS drops support.

It is not like Macs with Intel chips, which can easily install an alternative operating system.
Just sounds like pure survivorship bias to me.

I think you are using it in the exactly opposite way. "Crazy innovator succeeds and makes it rich! Future innovators don't need to listen to experts!" is the "survivor" in this situation. The number of "innovators" to failed/died/etc will be much higher than the ones who are successful.
I love using Awk, the only thing I miss is that it can't handle complex csv files. Does anyone know how to handle quoted CSV strings like

> "foo","bar,baz"
They're fishing.
"that if it ever got out we were doing that would turn out to be majorly illegal and also would probably cause us to bleed customers fairly quick!"
Steve Yegge praises Cody, a chatbot with a couple neat integrations into the IDE, surfacing tech debt and comprehending a legacy codebase.

This may be the same author of Done, and Gets Things Smart (2008), a post about the importance of hiring "seed engineers."

http://steve-yegge.blogspot.com/2008/06/done-and-gets-things...

That was inspired by Joel Spolsky's post The Guerilla Guide to Interviewing (2006), where the desired attributes are intelligence and delivery.

https://www.joelonsoftware.com/2006/10/25/the-guerrilla-guid...

Within this context, Cody seems to promise productivity increases in both types of software folks, both seed engineers and "Just As Soon As I Read Up On The Subject, On The Company's Dime riff-raff like you and me."

Technical agility aside, how else can we develop the attributes of a seed engineer?

Are personality, vision, and curiosity traits a (coaching) chatbot could also help with?
I don't want to be subjected to my ISP (and even worse, government) "security" blocklists.
> and recite copyrighted works all I want

...wait, isn't that false? legitimately asking.

or is it because it was done by a corporation that makes it illegal?

im thinking of how restaurants dont sing happy birthday and fair use restrictions etc
But it produces the worst, results. Just examine some music that you like an you will find it is far more complex than that. Often a single line of notes is supported by the chords rather than being shaped by them, and the chords can vary wildly in duration.

A chord is two or more different notes being played close together in time. That's all.
> "I suspect no deep diving sub did 50 MOD dives before non-essential crew were taken," Rush said.

This right here. Just a casual dismissal of what an expert said because he didn't want to do that. An expert whose advice he explicitly sought out to make sure what happened wouldn't happen.

Bucking the recommendations of those experienced in the activity you are performing because you feel you are special and your pluck is going to vindicate you makes for a good film or episode of television, but it's a poor way to conduct your business.
The phrase “As an AI language model..” was reportedly produced by GPT itself. Humans reported that phrase as a more palatable output than other options, hence the model was fine tuned to produce it reliably.
There is also ABCL, an implementation of common lisp on the JVM https://armedbear.common-lisp.dev/
>green storm

When they're green, you know there is hail and perhaps even a tornado inside somewhere. Beautiful but terrifying all at the same time.
I am getting a weird rectangular box on this website that is not allowing me to read the article in peace. My assumption was they did want me to read it, but it doesn't seem to be the case. It says "Discover more from Deus In Machina" on this box. I would maybe want to discover more except for 2 things, #1 it won't let me read the current thing, #2 i don't know that other things will let me read it either.

I think they should fix this quite obvious bug before writing more articles.
I did not speak out because copyright is farcical nonsense that fetishizes the profit motive at the expense of humanity.
Advice for the Kagi team: create a way for new visitors to try your product before signing up.

I understand that it’s a paid service but you’re destroying conversion rate, and there’s no way there are enough countervailing benefits to gating your service behind sign up.
It's not nonsense to use acoustic events to detect slow failures in engineering structures. In fact this is somewhat common, for example to detect failing steel inside reinforced concrete structures.[1] It's definitely nonsense to assume that because the boat didn't immediately implode after a big cracking sound was heard that you're all good.

[1] https://www.newcivilengineer.com/latest/acoustic-monitoring-...
I used to use this as an interview question. I passed people more for being able to talk about different tradeoffs than any optimum solution, though. Gave a yes vote to more than a few that messed up and had bugs. (Granted, most of the bugs were in extending this to the "3 sum" idea.)
Glad to know Kagi did not raise crazy amount of venture funding which often leads to company switching gears & pursuing unattainable long term goal.

I think Kagi is focused on a great niche with simple business model. Unsurprisingly this works out well in the long run.
You don't index HTML code, but you have to process HTML and eventually run Javascript to get the text content. Then you have to compute the word frequencies.And that means you have to use more compute power.
Today, yes, but the point here is that this is not really a fair use of fair use, and would be compulsory licensing.
I suppose the article meant cap itself was a carbon fiber/epoxy build, implying nothing about the connection?

On a separate note, although the submarine failed catastrophically, that doesn't mean every decision it took was wrong. I wonder if the bolts actually make sense under high water pressure.
Doesn’t this assume that the cost will not effect behavior? If trucking logistics becomes more expensive to properly account for the externalities, wouldn’t companies be more motivated to find more cost efficient methods. I’m sure there are plenty of items that could be shipped by rail, but aren’t because trucking is currently cheaper for the individual company, while the cost in road damage, pollution, greenhouse gasses, increased traffic, etc. are paid by everyone else.

As for disproportionately affecting the poor, sales taxes (like on groceries and other goods) and excise taxes (like on gas) are exactly the regressive taxation systems that burden the very people living paycheck to paycheck. Shifting the tax burden from skimming off the top for the people spending all their income on daily necessities, towards companies paying the full cost of their chosen operations, would give the poor more buying power and allow market forces to find and utilize the most effective and efficient means to provide services instead of the cheapest means that are only cheap because they are subsidized by everyone else.
I don’t get your point. Whether you use copyrighted material in commercial context or not always matters. That’s one of the most important aspects of different open source licenses.
Not being typed in a untyped/weakly typed language like JS, is NOT a bug.

Just because something is 'legacy' doesn't mean it's crap. It cauld be well thought out and easily maintained.

I've been dealing with a straightforward legacy api in JS. Trying to port it to typescript, the hard part is typing classes with dynamic propertied based on a schema. Has worked great in production for years. Well tested. I have to rewrite it to make it workin typescript apparently. going from about 10 line files to 50+ just for typings. Im sure i'm doing something wrong, but i've asked and it seems my code is wrong? despite having worked great for me all this time.... Yes i'm salty
> AWS lambda runtime

λ most of the way down.
> Yeah, baseball sized hail is not a normal thing in my area.

yet
The analogy is lost here because the core is open source but the GUI is not. Core system services do most of the heavy lifting for these apps and that remains in AOSP.
Hi,

This is a simple web app that I created to add grids and stylize images and pixel art, for an example see [1].

I used Sveltekit for the website, DaisyUI/Tailwind for the styling, Superforms to handle user inputs and custom code using the canvas API for rendering images.

You can check out the repository at: https://github.com/velut/gridify.it.

[1]: https://www.gridify.it/examples/06.jpg
Billions of pounds are sucked out of England’s water system
Isn't that because a performance is different from the creation of a permanent copy? If you published an article and included a significant chunk of the copyrighted work, you'd be liable too unless it fell under fair use. Doesn't matter if you did it or ChatGpt. Commercial use would be one consideration, but not the only one, for both of you.

The rules of games cannot be copyrighted either. The artistic elements can be trademarked, but if ChatGpt merely explains the rules to you in different ways, that isn't infringement either.
Milk-V Pioneer A 64-core, RISC-V workstation for native development
Love their summarizer, it is my daily tool now. Was kinda surprised by $670k, looking at others who rising billions with 1000x worse products ...
I don't agree. LLaMA models are great if you want to run your own models on your own systems, but only if you fine-tune them to specific tasks. The problem is that LLaMA is non-commercial. There was a need for a small efficient pre-trained model to build on. This is what Salesforce released. It's not intended to be used with general purpose prompting like chatGPT.

The problems with chatGPT are many - dependence on third party, privacy, externally imposed ideology and rules, cost, and most importantly - prompting is context-size limited and token-expensive, you can't pack much data into it.

Fine-tuning is a more powerful approach where you can actually fix the model problems instead of futzing around with the prompt and demonstrations. Yes, you got to work on your dataset. But if you don't already have it you can bootstrap with GPT-4 for a small sum.

Meta provided the training wheels - LLaMA, every company tried fine-tuning it for their purposes, but could not proceed for lack of a commercial base model. Salesforce XGen and a few other open-small-LLMs (funny how that sounds!) open the flood gates.

So the recipe is: use an existing dataset, or make one with regular GPT-4 prompting and a bit of curation. Then fine-tune a small open model. You can get it to be better than stock GPT-4, cheaper, faster and private. If you use LoRA's you can save each skill in a separate diff model just 1% the size of the base model and use a single GPU to fine-tune it, in a single day.
Hard to understand how someone can read the word 'sued' and think it has anything to do with criminal law.
1995 Mayfest storm

https://en.wikipedia.org/wiki/1995_Mayfest_Storm
Giddy up!

https://amphetamem.es/meme?id=seinfeld_06_01_191&timestamp=0...
That's true but the regulations and taxes on corporate entities are quite significant in Canada once it gets past start-up size.

For an office of a few hundred people, large enough to not qualify for most of the cost and paperwork reducing programs, it is likely not nearly as clear-cut.
> trying to suss out the types on a given code path.

Are there any tools for that? If not could one be made? Sounds almost like an advanced linter.
Not how copyright works.

Being non-commercial is not an automatic fair use exception. Being commercial does not preclude fair use. And rule concepts are not copyrightable, only the specific expression. Rules may have other IP protection, including patents.
That’s great, but have you tried interacting with government to confirm yourself? It is unbelievable how long it takes to deal with CRA these days, or get a building permit for something as simple as a deck returned. Wait times are massively longer than they were pre-COVID.
Word has pretty good revision tracking and support for footnotes which are probably the main things lawyers use more than most average people do. And remember that lawyers communicate a lot with clients, etc. too so there would be a lot of friction associated with a non-standard tool.

When I worked on an expert witness report for a big law firm we just used Word.
RWKV Language Model Math
Rather than there being lawsuit after lawsuit of this sort, we wrote an op-ed this morning that says there should be a simple, compulsory licensing fee that AI companies pay to the public -- something we called the AI Dividend: https://www.politico.com/news/magazine/2023/06/29/ai-pay-ame...
If you singup you will have the summarizer for free (request-time limited). Amazing tool.
You might want to look in Lean 4 at some point too. A lot of work has gone into making it's theorem solving ergonomic and approachable for average programmers.
How you can help Debian
That had the added benefit, something which feels very strange to type, of not sinking in international waters. It's significantly easier to restrict access in that case.

It is somewhat surreal that a historically short amount of time must pass before people can visit these areas without it being taboo. Some of them, in my opinion, are extremely important to humanity such as Auschwitz and Choeung Ek, and the latter happened during my lifetime.
Yeah...though SciAm seemed to be in a long, slow decline for a decade+ before "free with ads on the web" was really a thing. And (that I've found) there is nothing comparable (to the old SciAm) that is free on the web.

Did the demographic that was willing to think hard & long enough to enjoy the old SciAm gradually die off? Or did they just replace eating paid-for healthy brain food with eating free junk food.

(FWIW - I pretty much dropped all the "premium" subscriptions I once had - all dead-tree editions - between ~2000 and ~2010, as either their quality went to crap, or they ceased publication.)
This is an annoying Substack thing. Click on "Continue reading" (if you wish to).
IANAL: I regularly see articles about how the passengers who were killed signed various liability waivers and therefore how their families have no case to sue OceanGate and others into oblivion. Liability waivers generally only exclude ordinary negligence, if that. In general, you can't waive your legal rights protecting you from gross negligence or wilful misconduct (definitions may vary -- the UK doesn't have gross negligence as such, but you can't waive the risk of death in most cases).

The people who were on the sub were very much wealthy enough (and now are high profile enough) to afford the kinds of legal teams that probably won't worry too much about liability waivers in these kinds of suits. I hope they extract every penny from OceanGate and any related entities.
Texas did have an unplanned reactor shutdown when it got a little cold though.
I'm not particularly security conscious, but this seems very vulnerable to malware.
Prototyping is a wonderful thing we should do more of.

However, in my experience, when you take this approach the majority of organizations will make the prototype the product. You will never throw out that code. It will simply be added on to, papered over, and mixed up with everything else. What started off as a fine prototype becomes a error-ridden ball-of-mud that nobody understands anymore. Where working on that code takes longer and longer and carries a higher risk of introducing even more errors.

The key thing with prototypes is that you have to mercilessly rip that code out before people start extending it and relying on it otherwise it's going to stick around.
A license does not redefine copyright law.

I can give you a rock that I own, which I hope we all agree is not copyrightable, and ask you to sign a license that you will keep it indoors. If you put it in your yard, you are breaking the license and potentially liable. This has nothing to do with copyright.
There are lots of extremely high-risk things that can still be insured.
As a simple example you can get a new life insurance policy as an 89 year old with some generic insurance providers—-it’ll cost you, though, obviously.

Even if you put the risk of death ridiculously high (say, 90%) for each trip, it probably wouldn’t be impossible to insure it. The premium per trip would just likely be roughly the maximum payout and so it wouldn’t necessarily be worth it.
The 4090, which seems like it's blowing the M2 Ultra out of the water, is $1600 though.
Has this been decided by the courts?
With airplanes, a lot of maintenance routines depends on the number of cycles (takeoffs+landings). No one knows how many cycles this sub was safe to perform, but just because it had successfully performed N dives, does not imply that N+1 is safe (or even N for that matter).
Tkinter looks native on platforms that have native GUIs (Windows, macOS). On Unix you can use any of the numerous platform-independent (non-native) skins for Ttk:

- https://ttkbootstrap.readthedocs.io/en/latest/#sample-themes

- https://wiki.tcl-lang.org/page/List+of+ttk+Themes#60ca3eb80e...

- https://ttkthemes.readthedocs.io/en/latest/themes.html

The main issue with Tk/Ttk is mostly documentation and of course that it's a classic GUI framework, not a 3D-GPU-layer-based framework suitable for highly animated and composited UIs.

There's a bunch of stuff that you really wanna know about but simply isn't included in the Python docs, and the real API docs are for Tcl and you need to understand how those tclisms map over to Python.
How careful? Everything is a trade-off, without numbers on the quantities, extraction rates, and what levels are tolerable for short or long-term exposure we can't make a reasoned choice.
The problem with this tracking nonsense is that it doesn't change anything. The business model is still the same. Unless the insurance company pays out less claims there won't be any savings.
The world isn't stopping buying ICE cars today though. It will be a gradual transition.
>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.

I don't expect this lawsuit to lead anywhere. But if it does, I hope it leads to some clear laws regarding data privacy and how TOS is binding. The recent ruling regarding web scraping makes the case against OpenAI a lot weaker. [1] Data scraping publicly available data is legal. People didn't need consent to having their data be used, there was an implicit assumption the moment the data was published to the public, like on reddit or youtube.

I keep seeing this idea reoccur in the suit:

>Plaintiff ... is concerned that Defendants have taken her skills and expertise, as reflected in [their] online contributions, and incorporated it into Products that could someday result in [their] professional obsolescence ...

Anyone is able to file a suit, I wish people stopped assuming that a news report automatically means it has merit.

1. https://www.natlawreview.com/article/hiq-and-linkedin-reach-...
This is similar to recent discussions here on HN around the effects of melting ice (Antarctica, Greenland) on sea level. Not only does the meltwater itself cause increase, but the gravitational pull of so much ice pulls the water level around it up higher, resulting in lower sea level everywhere else. When the ice melts, that local gravity lessens, letting the surrounding elevated water spread out to the rest of the ocearn.
That sounds impressive but I feel like this might be a misunderstanding of Python.

You can break almost any python code by passing in the wrong type. The code throwing runtime type-errors IS the type checking.

The danger is only if the code happily operates on the wrong types and returns incorrect results.
Surprise! --- nothing about WeChat can reasonably be viewed as being really private.

The same holds for any other Chinese app. In a totalitarian system like the one in China, there is no effective boundary between company and military/government. Any suggestion otherwise is merely an illusion offered for western consumption.
`pdfinfo` on the file says:

Creator: Acrobat PDFMaker 23 for Word
Producer: Adobe PDF Library 23.3.247; modified using iText® 7.1.6 ©2000-2019 iText Group NV (Administrative Office of the United States Courts; licensed version)

So it was likely made in Word and exported to PDF. (One can anyway guess from the "look" of the paragraphs that they're not using anything like Knuth–Plass line-breaking, which rules out things like *TeX and InDesign.)
Onboard video of winning launch for Youth International Rocketry Challenge
Onboard video of the UK team's launch at the Paris Airshow, which helped to win them first place in the International Youth Rocketry Challenge 2023.
AFAIK Musk hasn't stepped inside one of his own test rockets?
just click continue reading…
This is misleading. Only raw CF is like a rope, once made into a composite with resin it becomes a stiff member with entirely different properties. It's more analogous to a wood beam - very stiff and resistant to bending but once you get past it's limit it cracks.

I suspect the failure mode in a submersible like this isn't so much the carbon fibers themselves but either the carbon > metal interface at the ends or gradual delamination between layers of fibers due to the cyclical pressure loads.
As a language model I cannot speak for you. But I can help you express your thoughts and views. I can generate words and sentences in many ways.
I'm not saying we don't. I'm just commenting on that statement. It's easier to build a strong and realistic picture once statements that have unlikely implications are removed.
Car insurance is partly based on the distances you travel with the car, and the area. The US is bigger than the UK, so on average, that component of the insurance price should be higher in the US.
I've been looking at panels and one of the specs that at least some have included is a hail-strike rating.
Beneath the large obvious green 'Subscribe' button there is some low-contrast grey text ('Continue reading') that, when clicked, hides the box. This is on Substack's side, not the author of the article.
This seems to work too

https://www.google.com/search?q=site%3Adocs.python.org+%22py...
Assuming Google, Amazon, etc haven't already been doing exactly that.
Funny how WalterBright seems to comment in every single HN thread other than this one...
The only way I would even consider to have one of these things is if the insurance premium would be reduced proportionally to how much I (don't) drive. Only use the car on Sundays? Pay 1/7 of the price.

But of course prices can only go up.