skysight-inc/HackerNews huggingface dataset:
We've been conditioned to pay $10/mo for an endless stream of gloried CRUD apps, but it is very common for specialized software to cost orders of magnitude more. Think Bloomberg Terminal, Cadence, Maya, lots of CAD software (like SOLIDWORKS), higher tiers of Adobe etc. all running in the thousands of dollars per user. And companies happily pay for them because of the value they add. ChatGPT isn't any different.
I'm saying knowledge of React is a good to have, even when you prefer something else. In the sense, avoiding it is not a good idea - know the enemy.
Design review has been suspended for three years in downtown Seattle: https://www.theurbanist.org/2024/09/25/seattle-downtown-desi...
I think in the security industry, password complexity requirements and frequent re-logging in have been considered bad practises for a while now. Alas they are still seen in places.
> Tokyo before 1995.

Great, and then the history stopped at 1995?

> It's the areas with the least available housing that get the most jobs, so the answer is "anything but housing".

The answer is: force jobs out of dense hellscapes (SF, NYC). Via taxes and incentives.

> Ignoring China is a total cop out, because it's pretty much the only location in the world that currently has a significant housing surplus.

I don't have data for China. So I can't tell if it's true or not. It's also not a country with a full market economy and free movement of people.
Yes, I've used it and the behaviour that we saw was it reporting every issue that had been in the repo ever (including in files that had been deleted). Which I suppose you might want, but every other scanning tool I've used chose the sensible default of scan what is there now.

Also, as far as I can, the security centre wouldn't let you download a .csv of current security issues in the repo - the UI lets you do a bunch of filtering, but the .csv always gives you everything, including issues that you've closed.
maybe the apps that I've worked on are not complex enough, but I found that Relay + Context API combo solves the state management problem for us. We have not had to use any state managers yet.
For constraint programming solvers, you need to define a model (i.e. what are the variables that the solver can change). Typically, a good model naturally enforces hard constraints. For instance, consider the employee scheduling problem, where you have a list of shifts that need to be assigned a single employee. Two possible models for it are:

- Use a boolean variable that is true if and only if a particular employee is assigned to a particular shift. For 2 shifts (A, B) and 2 employees (Amy, Beth), the variables would be Amy_A, Amy_B, Beth_A, Beth_B

- Use an int variable, where each employee is mapped to a number. For 2 shifts (A, B) and 3 employees (Amy, Beth, Carl), the variables would be A, B (which will have value 0 for Amy, 1 for Beth, 2 for Carl).

Using an int variable is usually better, since it automatically encodes the "each shift must have exactly one employee constraint" which would otherwise need to be added. That being said, sometimes the boolean model is used so a SAT solver can be used instead of a Integer Linear Programming Solver.

Typically, for theorem based solvers (such as Z3 or OR Tools), you add a group of similar constraints in a loop where you iterate through relevant variables. For instance, to add constraints for overlapping shifts, you would have a directory mapping each shift to the shifts its overlaps, and add a not equals constraint for each pair (since if they are equal, they have the same employee, and employees usually are unable to be at two places at the same time).

for shift in shift_vars:
for overlapping_shift in overlapping_shifts[shift]:
solver.add(shift != overlapping_shift)

There are also local search solvers, such as Timefold, which allows you use your domain objects and functions directly in your constraints. For instance, the above constraint would look like this:

@planning_entity
@dataclass
class Shift:
employee: Annotated[Employee, PlanningVariable]
start: datetime
end: datetime

def overlaps(self, other: 'Shift') -> bool:
return self.start < other.end and other.start < self.end

def no_overlapping_shifts(constraint_factory: ConstraintFactory):
return (constraint_factory.for_each(Shift)
.join(Shift,
Joiners.equal(lambda shift: shift.employee))
.filter(lambda a, b: a.overlaps(b))
.penalize(HardSoftScore.ONE_HARD)
.as_constraint('Overlapping Shift'))

Disclosure: I work for Timefold
Yes, everything is downhill from the convenience. It's the most basics of things, if there's friction or obstacles, people will go around. And, boy, do companies put up some obstacles:

Does your Intranet site not work with my password manager? Do I have to carry a hardware token generator with me, everywhere I go? Do I need to use an arcane VPN technology to get to your company-approved tool? Are you still making me rotate passwords every six weeks? Are you still making me use bad p@ssword$123 with outdated password policies? Are you logging me out of email every four hours to cycle me through the multi-step login process, even though I'm on a secured-by-you company device?
Internet Takes Lack of Sympathy Further, Thirsts over Suspect in CEO Shooting
Singapore: https://tradingeconomics.com/singapore/housing-index - prices are growing.

Like, can you do at least a 5 second google check?!?
There's also, in every market, a substantial number of vacant homes owing to transaction latency: houses are vacant after their owners have moved on, but before the new owners or renters move in. You can imagine the system with literally no vacancies, and how it would(n't) work.
Show HN: Image2video.ai – Image to Video AI Converter
Instantly transform static images into dynamic videos with various animation effects and music options. No professional skills needed. Perfect for social media content, marketing, and product demos. Simple to use, quick results - an essential tool for content creators.
The 70% problem: Hard truths about AI-assisted coding
He was there in 2020!

He left after something like 3 months because he couldn't get buy-in for his ideas from senior management, most probably the board of directors: https://www.reddit.com/r/intel/comments/z3set6/jim_keller_ap...
How do you have that configured? The Windows+. shortcut was added in a later update to W10 and pops up a GUI for selecting emojis, symbols, or other non-typable characters.
The board works in mysterious ways.
As a shareholder who lost quite a bit I was angry at Gelsinger. But now after reading this article I feel sorry for him as someone who by all appearances tried to do a very hard thing and just came up short and got pushed out by the board.

Loss of a lot of performance crowns to AMD and 13th and 14th gen cpu failure problems were big black marks on his watch but its not certain that anyone else would have done better and I never doubted his commitment to the job at hand. Maybe what Intel needs is a whole culture shift to get rid of the bureaucratization and HR-ization and Gelsinger was not ruthless enough in removing calcified middle management layers and thought he could save Intel with technical achievements alone and avoid a lot of human suffering.
> IMO no big enterprise will adopt chatGPT unless it's all hosted in their cloud

80% of big enterprises already use MS Sharepoint hosted in Azure for some of their document management. It’s certified for storing medical and financial records.
They'll cheer for it and ask for more? That's what we've been seeing with Trump's rallies, and the strong support he got at the polls.

Sure, a few malcontents might get angry and try shooting at someone. It only takes one angry person to pull off a successful assassination, as we just saw in NYC. A couple of other angry people shot at Trump on the campaign trail. But that wasn't related to his popularity, since he won overwhelmingly in the election afterwards.

I suppose the rich people are probably going to need to hire more bodyguards, so this might be a good time to buy stock in a security company.
Totally off topic, but is your name a reference to the Cossatot River in Arkansas? If so, fantastic choice.
Why is fat bad
Hey HN, I'm a YC s24 founder who's still part of YC (I think they still like me) but recently left my YC startup. I used to work at Coinbase, and am hacking on some new crypto stuff.

I subscribe to the thought school that all of the "future of the internet" stuff in crypto is BS. Because it is. Crypto is more about how people organize.

I believe that good crypto projects are more like new ideologies, religions if you will. Bitcoin is a good example. It's a belief system with its own prophets, rituals, and artifacts. Linked post talks about it - https://higherrrrrrr.fun/theology

I've been bootstrapping and found quite a bit of traction with a new asset type and exchange idea. It's also nice to be bootstraped because no VCs maintains the purity of the project.

The concept is basically "evolutionary assets". You can read about the protocol more on our site: https://higherrrrrrr.fun/protocol

We've put up some reasonable numbers week 1:
- $25k ish in fees
- $2m in protocol volume
- $10s of millions in secondary volume on our assets
- Millions of page views on our domains
- Lots of jokes (Check out 8=D - https://alpha.higherrrrrrr.fun/token/0x17e1f08f8f80a07406d4f...)
- Community of thousands

Best things are misunderstood. I don't think many YC people like it, but most builders think it's cool and respect it. That's what matters to me.

Here are some links that prove I'm not a fraudster:
- All of the protocol code is OSS - https://github.com/Thrive-Point-Group/higherrrrrrr-protocol
- Alpha page - https://alpha.higherrrrrrr.fun
- Protocol brief (already linked) - https://higherrrrrrr.fun/protocol
- Community is the product -https://mirror.xyz/0xBA525e4c0d544eFc01af4382CA5a589b7e0656C...

Happy to answer any questions in the thread. Hacker News traditionally HATES crypto things, so will see how this goes... No, I'm not a scammer, you can check the protocol code, but the way it's deployed it's totally immutable onchain - impossible to tamper with this and anyone can read it.

- Carl
Does this one help illustrate the problem?

https://www.theregister.com/2023/11/15/unitedhealthcare_ai_m...
The current architect of LLMs will always "hallucinate".
There’s some nuance to this.

The ACA’s loss ratio rules don’t apply to self-funded plans (many large employers use these) even if they’re administered (and possibly re-insured) by a health insurance company, which is usually the case. Just doesn’t apply at all.

Certain plans also allow much lower loss ratios, like 60/40 for expat plans.

A provider that manages to have a lot of new plans in a given state in a given year is immune from loss ratios rules in that state, for that year. I don’t know how gameable this is but my WAG would be it’s only state insurance commissions preventing this from being the case in every state, every year, for every provider, and keeping it to only some states in some years for some providers (I bet the biggies manage to rotate their state[s] and have at least one most years)

So a company the only business of which is health insurance can easily spend far less than 80 or 85% of income on payouts, and only need maintain that ratio on some subset—possibly small—of the premiums it’s collecting.

I don’t know how the game of this affects decisions for insurers that also own providers, but I bet there’s something beneficial there and that’s why they’ve been snapping up provider offices for the last several years.
I came here to understand what is the use-case of this, thank you!
It would be nice if the article would mention how the fire resistance compares to regular wood. I found this document that indicates it should be good for an hour. What I'm not sure is even if it doesn't burn completely, how well its structural integrity holds up compared to steel.
https://rosboro.com/wp-content/uploads/2021/10/APA-EWS-Y245B...
Clowns indeed. The only investment Boeing and Intel board members know how to execute is the ole' C-suite self-serving stock buyback.

Intel is over 100B in the last 30 years.

Boeing bought back 3x what it would have cost to develop the next-gen 737 in very recent history.

Clowns with no shame, and apparently no repercussions.
Austin has not materially increased density. And it'll go back up the next year.
Also hosting a SF happy hour tomorrow for anyone interested

https://partiful.com/e/cbVz4UjR66wdyNdr29j7
There are plenty of due-diligence internal things that need to be put in order to make your company attractive. Processes, documentation, compliance, etc.

Then there are things like having roadmaps for the future to make you look attractive.

Then there are vulture things to make your numbers look good which can range from doing neglected cleanups of actually unnecessary costs to cutting costs in ways that really suck for customers and employees.
Kinesis JavaScript – Easily create complex interactive animations
OK. Suppose I magically erased all the cities and replaced them with single-family homes equipped with teleporters?
Look up “bagging” a jacket. Many are constructed with the right sides of the lining and the outer cloth together, then turned inside out. It works if the jacket is fully lined.

Go ahead and remove the lining, but look carefully how the construction is done - you may well want to put it back in.
Designing a Shared Use, Incubator, or Commissary Kitchen
I think you are being unhealthily combative in this whole exchange. Not every person wants to have every utterance fact checked and checked for logic errors.

OP is trying to make a subjective point with his terminology. The words may be synonymous but words also carry subtext and other associations. They don't want counter examples. They don't want anyone to ask or beg them to move to the US. Who cares if the claims they made were inaccurate or warped? They are not teaching a class or writing a book but speaking off the cuff about memories. Logic is not the most important thing in the world, sometimes compassion and just listening to a story being told without pointing out every oddity is just how society works.
> the less technical managers have been bozos AND bad at management

The golden combo.
"Bodyguard, I wouldn't like your job, snakes in the grass that know not Jah." --Steel Pulse
I also found it kind of hard to understand what it's for from the docs. Logging into the demo UI (linked on the GitHub README) helped a lot.
Always interesting to me these type of solutions choose SQLite (which is great) and not something like Postgres with Orioledb. With SQLite you have to also use Litestream for S3 backups and this is always something I'm surprised isn't found in these types of solutions.
The approach has more to do with C# the language, and the Code-as-Data principles it explored and executed well. I had seen various ORMs starting from the early 2000s (Hibernate etc), and when C# added Code-as-Data into the mix my jaw dropped. Like a bit of Lisp in a mainstream language, with mainstream applicability.

Nothing wrong with your approach, I was just arguing that language-native query patterns (such as customers.filter(c => c.country === "Chile")) can be appealing. And at the same time, reachable with current JS/TS tooling.

But like you said, it may not be the direction litdb wants to go.
> Password Reuse: 49% of respondents use the same login credentials for multiple work applications, and 36% use the same credentials for personal and professional accounts.

If your company has multiple things you need to log in to, its doing something wrong. Having company-wide single login system is really critical for good security.

> 30% of employees share their workplace passwords with colleagues, effectively nullifying the protections offered by unique credentials or MFA.

This also suggests something is setup wrong in the company (lack of giving people correct access?). Normally sharing passwords should be harder than not sharing, if you have to log out of a global account to log in as another one.

Security is all about incentives. If employees are incentivized to act insecurely, they will. Its not the employees fault, its the people who setup the system in such a way that encourages people to act insecurely. Good security is all about aligning incentives to control risk.
https://archive.ph/Zh6iX

What's up with calling all (or at least quite many) cabinet members "tsar"? Or was it always customary in the past also, and I was only living under a rock? Or is it just insinuating at Russian influence?
I’m partial to the Claim Avenger
Is this actually true? It's one of those bits of "telephone wisdom" I've heard passed from commenter to commenter on Hacker News (and Slashdot before that) for as long as I can remember, but nobody ever seems to have a primary source for it, it's always been a "just trust me" bit of knowledge.
When I learned Japanese around 15 years ago I did 10k in one year. Was a great pace. Still speak it to this day, so it worked like a charm.

I try to target 35 a day, and expect to hit that at least 80% of the time.
I'm a Coloradan who voted for the 2016 universal healthcare (aka ColoradoCare) proposal, but I understand why the majority (79%) voted against it: there was sticker shock at the additional 10% income tax (with caveats, but people saw the 10%) and an inability of proponents to answer basic questions such as "Will I be able to keep my current doctor?", "Will I be able to get an abortion?", and "Will there be additional tax increases?".
Abolishing SFZ, and allowing people to build stuff on their own property, as opposed to allowing communities to stop them, is literally the opposite of communism.
> not grounded, but in more of an anxious way than an evil profit minded kind of way

What do you mean by "anxious way" ?
> there's no serious theory of change that begins with murdering health care industry people.

To be fair, we’ve never tried it.
Sure, and my point is that the entire bottleneck is based on a a completely arbitrary artifact of how we handle billing in the US. It is a policy choice.

Residents provide healthcare to patients with real value. This healthcare either gets attributed to the attending physician or goes unbilled. The market value of care provided exceeds what it actually costs to employ and train a resident.

https://pubmed.ncbi.nlm.nih.gov/21217491/
ChatGPT through Siri/Apple Intelligence is a joke compared to using ChatGPT's iPhone app. Siri is still a dumb one trick pony after 13 years of being on the market.

Supposedly Apple wont be able to offer a Siri LLM that acts like ChatGPT's iPhone app until 2026. That gives Apple's current and new competitors a head start. Maybe ChatGPT and Microsoft could release an AI Phone. I'd drop Apple quickly if that becomes a reality.
They are going to blame Biden or China or the left or the lgbtq community or Obama. Anyone but their own team.
It might be worth thinking of more natural partners like senior centers, libraries, etc. Maybe start with more of a open Q&A session and show them how to navigate the course to answer their questions.

Such a tremendous amount of work, really Kudos! So cool.
I saw some up on that upper level near the top of the stadium seating.
What "problem"? You're not being clear about what you're trying to say. That a particular insurer has done bad things? Nobody was going to take the other side of that argument.
>There is a surplus of abandoned housing in Baltimore, Detroit, and lots of other rust belt towns.

That's not housing. "Housing" means places where people are able to live. If you've seen pictures of the abandoned houses in Detroit, you'd know that these simply do not meet the definition. No, they don't need investment in refurb, they need to be demolished; they're completely unsuitable for human habitation after so many years of neglect and decay, and it would make no economic sense at all to try to save them.
> BCBS had unveiled new rules to stop covering anathesia during surgery after the scheduled end time, regardless of if the surgery was still in progress. Those were rolled back after the killing.

Sounds like some positive outcomes already.
"70% of Americans are happy with their fire insurance. The ones whose homes burn down aren't, and are saying something about their claims being denied, but they are a minority."
This comment was most likely generated using AI
It is reusing phrases from previous comments -

https://news.ycombinator.com/item?id=42330710 and https://news.ycombinator.com/item?id=42330639
> How far back should you be able to amend history?

If user U1 sends a message M1 at time T1, then U1 must be able to modify/delete that message M1, in some reasonable sense, at any conceivable time from T1 forwards.

Any protocol that doesn't support some reasonable form of message modification/deletion in this sense, is a toy protocol, and will never be widely adopted.
Agreed. The new 1121 is better but still garbage relatively.
The "arbitrary artifact" here is literally Medicare!
This looks quite nice overall and the demo is slick.

It looks like backend APIs need to be written in JS and and then deployed as separate files. Not quite what I want, but I can appreciate why they went that route.

It'd be neat to have a project like this as a Rust crate, where you can write your own APIs in Rust and compile the whole thing to a single file.
Disagree. Would I like zero ads? Yes, do I think a company should be required to offer a zero ad service for money? No. If you don't like that they have ads even if you pay then don't use the service.

People still subscribe to newspaper even though they are full of ads. They paid money, they got an ad full paper. People still subscribe to cable TV even though it's full of ads. People still buy magazines (paid for them) that are full of ads. International flights have ads on their entertainment. Flights by some airlines I've been on have ads just after the safety instructions. I've been on flights where they have ads for shopping while on the plane.
Fair, but not statically typed
> 2. Better architecture. To scale out ClickHouse uses sharding. Which means if you want to add a node you have to bring down the database, re-partition the database and reload the data, then bring it back up.

This is not true in practice. In a properly designed implementation you can add new shards without downtime. ClickHouse compression is so efficient that most installations don't need to shard in the first place--everything fits on a single server with a few TB of storage. (We've put up to 50Tb on single servers.)
Why would you make such a blanket generalization? The security team where I work is comprised of competent professionals and generally nice people to boot. Our CISO is a great guy to have a beer with. We've had our disagreements, but they've been of the "smart people championing conflicting business values having a reasonable discussion" variety.
Agreed. But I also thinks this sets a bit of a bad precedent. Apparently all you have to do to get a hated industry to back off is murder one of their leaders.

Kind of a no win situation they put themselves into.
I have mixed feelings about this. On one hand, Intel as we knew it, a technical powerhouse, who kicked ass and delivered the Moore's law, would likely have been best served by someone like Pat than the alternatives. However, the world may have changed and the real value of Intel going forward may be the national security aspect of it. If Intel is becoming a Lockheed Martin, perhaps you want a capital allocator more than a technologist at the helm.
I paid $200 but it can't figure out something this simple. Sonnet 3.5 gets this question right

https://chatgpt.com/share/67528a78-c61c-8007-b6fa-1d1deb8d84...

I'm going to give it one month. So far I'm inclined to not pay this crazy fee if the performance is like this
Isn’t that Google’s garbage models only?
Does anyone else find the use of 'tsar' off putting?

These are not Roman emperors - not Slavic monarchs, nor kings, or other ecclesiastical officials. They're literally rewriting our culture. These are temporary positions being labelled as kings.