skysight-inc/HackerNews huggingface dataset:
> For example, farm runoff is a top cause of algae blooms and dead zones in rivers, lakes and bays. And food waste takes up one-fourth of the space in U.S. landfills, where it rots, generating methane that warms Earth’s climate.

the true cost of being alive in a society is quite high. it extends far beyond food. for example, just think of what all went into the device used to read this, and what went in to keeping it charged.
There is certainly validity in conistency. Some might find it easier with religion.

But the main core concept doesn't require any ritualistic pagentry to work.
Oh, absolutely! And as the other guy pointed out, docker-compose can be quite reusable when developing locally if you write it right.

But at $WORKPLACE we often use pytest-xprocess to start the required app in the same container where the tests run. It's probably the easiest way mostly because a custom wrapper does all the heavy lifting (starts the app, checks that it is running and responding to requests before the tests start, correctly terminates it when tests end).
Dislike tattoos and obese folk all you like but I'm not quite sure this is the place to be trashy yourself?
Grocery Stores with Delis that also have a Bakery, most likely exempted too then?
I don't think Subway sells bread as a standalone item. (And I can't imagine anybody buying it.)
You start with product people, but if you do well enough making your product better doesn't really move the needle any more, so organizations tend to promote...

marketing / sales /operations people. These people usually are pretty good at understanding what the customer wants and so has a decent feel for the product, perhaps innovation goes down, but the customer is getting what they want, but then once you saturate the market sales and marketing are no longer going to move the needle so you promote...

Finance people. They usually don't have a great feel for product nor even what the customer wants, but they understand how to increase revenue and decrease costs and at this point in the company lifestyle that is what matters most. The risk is that you are in a competitive space where competitors are willing to jump on any product stumble. Often companies get stuck at this stage and stagnate, but usually they are so large and entrenched they keep doing just fine anyway.
That is the Nakba in a nutshell.

The standard (and perversely broken) right-wing narrative of said events, anyway.

A lesson that is apparently difficult for Palestinians to understand.

At least you're making clear for us where you're coming from.
privacy.com is that for CCs.
After AB5 passed with a list of like 3 dozen exempted industries, I've started to just assume that labor regulations in California are going to have unprincipled lobbyist sponsored carveouts.
The SFC design with Vue is close to my heart, so you mentioning it made me even more interested
Not doing something is also a decision, and one you can end up regretting.
I was expecting this for some time... If you have watched any of the latest Curb Episodes with him - he was clearly on the way out for a long time.

The last scene he was in golfing with Larry, he was visibly holding onto the cart and they only briefly showed him standing...

RIP
I hope your die falls on one of the 2 good sides.
Dragon capsules (as well as all US-based capsules [could be wrong]) splash down in water, so not soil. Soyuz capsules land on soil.
> aspiring Korean husbands should be able to sponsor and marry foreign wives

Nearly any foreign wife will be eaten alive by how competitive Korea is. Even worse, everyone else in that society will look down on them for not putting their children through the same things - like spending more than they can on extra-curriculars that start at age 4.

The second especially sounds like a recipe for a truly miserable marriage
This post is going to get a ton of comments... tomorrow :)

I'm also a slow thinker and here somethings that have helped me:

1. lean into your strengths. Like you said in your post where you asked for more time for him during tests. Real life is much more negotiable. Ask for time, Ask to think on this and get back, etc.

2. Like some of said, prep is helpful. Utilize your super power by taking a look at the material before. This can be intense like when I'm interviewing I really go crazy with prep but it can also be 5mins before the meeting, gathering your thoughts.

3. To get better at real time thinking, for me, is taking some lose notes during the meeting.

4. Sometimes you have to tune out the presenter. If all they are doing is reading out the slides, I've found ignoring the presenter, and digesting the content on my own is better. Then I come up with question to clarify my understanding, highlight a decision that needs made and my opinion, think about how this may effect other areas, etc.
Basing it off of [1], nothing is lost from traditional notation, inasmuch as it's extra notation on top of traditional notation. In this sense, it's a bit similar to furigana[2] for Japanese, as an aid to readers. Something that surprised me is that [1] is of a minor key, but the solfege marks are for the relative major. I'm not a singer, so I can't say as to how/why that makes sense.

1: https://en.wikipedia.org/wiki/Sacred_Harp#/media/File:Windha...

2: https://en.wikipedia.org/wiki/Furigana
CHERI's capabilities are more permissive. For example, if you use-after-free in CHERI, then you can access the "free" memory (or whatever ends up there after another malloc) without trapping regardless of what type ends up there.

Fil-C never allows pointer memory to allow primitive or vice-versa, and use-after-free means you're at least pointing at data of the same type. Also, Fil-C has a clear path to using concurrent GC and then not have the UaF problem at all, while CHERI has no path to concurrent GC (they can stop the world, kinda maybe).

It's not meaningful to conclude anything from Fil-C's current perf. In the limit, it's easier to make Fil-C fast than it is to make CHERI fast. For example, in CHERI, if you want to have a thin pointer then you have to throw safety out of the window. The Fil-C plan is to give you thin pointers provided that you opt into more static typing.
They didn't USED to offer it, but now they may choose to.
> we did run Rust scheduling algorithms on the ISS

Actually on the ISS? It's been a while but if I remember right e.g. SACE (EUROPA) planning for the solar arrays happens down here. Transmission time is a fraction of a second, so there was no compelling reason to do the planning station-side. I'm only familiar with that use case, though.
Reminds me of how ActiveRecord works in Rails
Question, that might be obvious to many but not to me: isn't space supposed to be empty? How is the mic picking up noise (= sound) just after detaching from the other module?
Yeah, that's quite possible.

My Sony also has some minor glitches like forgetting to output sound sometimes (a restart fixes it - it's most probably caused by one of the apps I have installed).
why? if you have power from other than fossil fuels, that power can be used to do anything that you would use fossil fuels for.
They're about to start!
Simple bio mechanics so: the leverage and overall force are the same in zombie body (ignoring voodoo magic) as they are in human one, intentional injuries and hoing beyond the pain limit nonwithstanding.

And zombies are, again ignoring voodoo, well, rotting. That means less tensile strength of muscles and such. And even without all that, a himan cannot use his fingers and teeth to tear another human, well, we know the films. The human body simply lacks the necessary tools: claws and fangs.

As the sibling pointed out, just rolling with all of that is also fun!
But more often than not, particularly when interfacing with remote services, you don't want 'FakeSentimentAnalysis' to behave exactly like SentimentAnalysis. You want it to do crazy and unexpected things exactly unlike SentimentAnalysis to ensure that you properly handle the failure conditions that shouldn't, but theoretically could, occur when using SentimentAnalysis. You almost don't even need to worry about the cases where SentimentAnalysis is working as expected. It's the failure states that are of top concern.
There was a video with audio.
Some more discussion over here on the paper: https://news.ycombinator.com/item?id=39542567
Right, that's the one.
I think what you’re doing with Fil-C is cool, but I wouldn’t call a 200x slowdown a “small change.”

One of the interesting things that Rust has demonstrated is that you don’t have to choose between performance and safety and, in fact, that safety improvements in languages can actually result in faster programs (e.g. due to improved alias analysis). New technology/sexiness advantage aside, I think this is a significant driver of adoption.
It seemed at first glance like it was pretty specific to Quake engine games, knowing how to load .wad files, etc. I was wondering how it might be adapted for a custom game. The answer is here, in case anyone else is curious:

https://trenchbroom.github.io/manual/latest/#game_configurat...
I wonder how many vouches I've fat-fingered on mobile.
Some of my usecases would be summarizing a PDF report, analyzing json/csv data, upload a dev project to write a function or feature or build a UI, rename image files, categorize images, etc
Android lets you delete the advertising id that's mentioned in the article, as well as reset it. Does anybody who is in Adtech know what that does in terms of identifiability on brokers? Am I now "anon at location x,y", or am I "anon4321 at location x,y”?
If your logical expressions aren't too strange, and there aren't too many, that's well suited to an SMT solver, such as Z3.

You might, for example, create a new logical expression for each pair of your original expressions, joining each pair with AND, and then join those AND pairs with OR. Then ask the SMT solver to generate an unsatisfiability proof.
I mentioned using bronners, but most of the time I just wash my clothes with just warm water.

What I have noticed is that when I do this, my clothes no longer develop a mildewy smell if I forget them sitting wet. They still come out smelling clean (i.e. not smelling.)
I don't know if it's been the first time in fiction where that concept was described but in Heinleins "The Moon is a harsh Mistress" this was what the Moon Colonists did.
They renamed the biggest ML conference (NIPS) over the same joke, so don't count on it.
> The only thing I like in SQL is that is almost the same language in decades

So you do agree that the rest of SQL is broken. That’s why there is a value in creating (and learning) such new languages.
Not really. Regulation serves the interest of the consumer, rather than the kind of deregulation that serves the interest of the shareholder.

In the US you build your app and everything is in English. You can launch that across all of the states as-is.

In Europe (not even the EU specifically) you’re gonna need i18n, particularly with B2B. If you want to launch in Germany, for example, you’ll be expected to provide an interface in German. You can’t presume everyone speaks English, because they don’t. Expect multilingual support too.

Then you have payment. Different countries have different cultural norms, so what people are used to using in the Netherlands is unlikely to be supported generically elsewhere. It’s not gonna be enough to just support Stripe and card payments or PayPal for B2C.

Regulation doesn’t mandate any of this. It’s effectively conducting business internationally.
As a no-longer Christian, I still find singing Sacred Harp extremely compelling. There is a group that gathers at an LGBTQIA+ affirming baptist church near the University of MN whose meetings I used to join irregularly until my kids were born. Communal singing is powerful by itself and pretty rare in America, but in addition this repertoire/tradition has something raw and real about it that transcends the dogmas of its authors.
Just sharing, dont shoot...

https://twitter.com/eyeslasho/status/1760650986425618509
Currently at 85 feeds in my self-hosted FreshRSS instance. There's probably about 10% that are inactive (I was using nitter's RSS feature for some twitter accounts). Mostly tech sites/blogs, quite a few webcomics, and some YouTube channels (I don't log into YouTube all that often).
That hasn’t stopped RTB (real time bidding) mechanisms from leaking personal data to hundred/thousands of third parties yet.
27 years is a pretty long time. In that time the wealth gap has widened and the minimum wage fears of businesses closing or poor people not getting a job seems to be false.

It's particularly gross that so many states have a minimum wage of a little over $7 in 2024. That's ~$14k before taxes at 40 hours a week.
This seems like a great way to poison the well. But maybe Google already plans on search dying out and they are scrambling to find the next big thing?
I've long wondered if legislation should be required to have "reasonable" justifications provided with it in order to be passed -- and if not, judicial review should be able to strike it down, whether as a whole law, parts of a law, or exemptions in a law.

In other words, lawmakers shouldn't be allowed to pass whatever law they want. Rather, as part of the law, they would be required to explain the underlying need to justify the law, why that need is legitimate, and why this particular law is the best solution to satisfy the need. And if those didn't pass a minimal level of muster, then its gets struck down.

Because the idea that minimum wage would be exempt for "chains that bake bread and sell it as a standalone item" is just something that it's impossible to think of any reasonable justification for, unless there were some kind of emergency nationwide shortage of bread or something -- which is not the case here.

Generally speaking I'm not even a big fan of judicial review as a concept, since it does seem to involve a somewhat anti-democratic element of appointed judges overriding elected representatives. But at the same time, I do think that legislation needs to have a basic level of justification and coherency -- and the governor getting legislators to insert an exemption for his buddy seems even more anti-democratic.
> How do you handle unions?

This union is fine:

union {
int* x;
foo* y;
}

It's fine because they're both pointers. This union is also fine:

union {
int x;
float y;
}

It's fine because Fil-C treats both members as "ints" in the underlying type system.

This union has to change:

union {
char* a;
int b;
}

You can turn it into a struct or you can move the `char*` member out of it.

> In the worst case, this seems like you must simply never reallocate memory, or we're discarding parts of the type. If I successively allocate integer arrays of growing lengths, it seems to be it must either return memory that had previously been used with a different type (e.g., a int[5] and an int[3] occupying the same memory at disjoint times) or address space usage in such a program is quadratic, or we're not considering array length as "part of the type", i.e., we're discarding it. (I'm not sure if this is acceptable or not. I think that should be fine, but I'll have to think harder.)

int[3] and int[5] are both integer typed but have different size. The allocator also uses size segregation. It so happens that the virtual memory used for int[3] will never be reused for int[5] for that reason.

There's no problem with this; it's just a more aggressive version of segregated allocation.

The allocator still returns physical pages when they go free. It's just the virtual memory that only gets reused in a way that conforms to type.

And, that part of the system is the most well-tested. The isoheap allocator has been shipping in WebKit for years.
Word on the street is the badges at the next Software You Can Love conference will be running this.
Great question... also why sugar taxes in Seattle, you know those things designed to "fight obesity", don't apply to 550 calorie coffee drinks made in town
No, hallucination is a better term. It conveys the important fact -- "these chatbots will just confidently state things as facts even though they're completely made up" -- in a way that everyone understands. If you used the term "confabulation" you'd have to start by explaining what "confabulation" means any time you wanted to talk about a chatbot making something up.

It's not even more accurate. The problem with hallucinations isn't a "gap in memory". The fundamental problem is that the chatbots are "plausible English text" generators(*), not intelligent agents. As such, no existing term is going to fit perfectly -- it neither hallucinates nor confabulates, it just generates probable token sequences(*) -- so we may as well use a word people know.

(*) I know it's slightly more complicated, especially with RLHF and stuff, but you know what I mean.
https://github.com/teacherpeterpan/Logic-LLM
The thing a about GPT4 that matters so much is not just raw knowledge retention, but complex, abstract reasoning and even knowing what it doesn't know. We haven't seen that yet in smaller models and it's unclear if it is even possible. The best we could hope for right now is a better natural language interface than Siri for calling OS functions.
I may be a trashy disfigured individual, but at least I'm able to accept that different people can make different life choices and be happy with them. And I'm happy for them that they're able to make decisions that make them happy.

It's really not that hard to not say anything, and to not be a judgemental twat.
For many of us small business owners, that 1987 opinion is on the money. The direct and immediate consequence of raising the minimum wage by a bunch is that I'd have to lay a couple of people off, which would be heartbreaking (for them of course, but also for me).

Unskilled labor simply isn't worth very much most of the time, but it's nice to help people get their foot in the door. One of my absolute favorite outcomes for an employee is to have them grow in capacity so that I "have" to pay them way much more than some artificial wage floor because they've developed into a solid contributor.
Hey everyone, I built this YouTube channel to cover interesting MarTech tools and services, but int the future I'm hoping to dive into demos and tutorials on things like CDPs and Hubspot.
This is the sequel of StarCoder and The Stack (v1) - https://news.ycombinator.com/item?id=35954481

StarCoder2 has 3 models, biggest one is StarCoder2-15B, trained on 600+ programming languages from The Stack v2 on 4+ trillion tokens.

The Stack2 is largest open code dataset suitable for LLM pretraining.
A browser, where it can't get that data expect by ip. At least it would be approx only and totally unrelated with a vpn.
i.e. keep it in vector form if you're combining them a lot, convert to polar form when you want to work with angles
Ask HN: Why hasn't anyone tried building an AI wearable wristband?
Over the past few months, we've seen a couple of consumer hardware startups come out with their take on what an "AI wearable" will look like. For example, the Humane Pin, Rewind Pendant, Brilliant Labs Glasses, Avi's Tab (Necklace), etc.

However, no one has tried making an AI wearable wrist device that isn't a smartwatch. I'm envisioning a wristband with no screen that is used as a device that passively listens to your conversations and gathers context (but doesn't store your recordings). I imagine this being paired with your phone so that the AI can proactively send you notifications regarding what you've talked about, almost like having a second companion always there, ready to help. This would be super cool to have as a student in a classroom because then I can have my personal AI help me study after!

This sounds cool to me, but I'm not an engineer, so I don't know why no one has attempted this. What are the hardware or software blockers preventing this from happening? Has it not been done due to engineering constraints or is it because it's a stupid idea?
Ask HN: Bad for financials to get sba microloan
Hey,
Working on my tech startup side project and would like to get some money to keep my focus on it. Does it look bad if I get a microloan from the U.S. SBA? Am sending out pitch deck for pre-seed / seed funding at same time as I work on this. Also if there's a place I can go to find this info lmk (an IRC channel, discord, etc), thanks
>maybe NAND gates are not the ideal fundamental building block here?

It's my long held opinion that LUTs (Look Up Tables) are the basis of computation for the future. I've been pondering this for a long time since George Gilder told us that wasting transistors was the winning strategy. What could be more wasteful than just making a huge grid of LUTs that all interconnect, with NO routing hardware?

As time goes by, the idea seems to have more and more merit. Imagine a grid of 4x4 bit look up tables, each connected to its neighbors, and clocked in 2 phases, to prevent race conditions. You eliminate the high speed long lines across chips that cause so much grief (except the clock signals, and bits to load the tables, which don't happen often).

What you lose in performance (in terms of latency), you make up for with the homogenous architecture that is easy to think about, can route around bad cells, and be compiled to almost instantly, thanks to the lack of special cases. You also don't ever have to worry about latency, it's constant.
It’s only for fast food so it already didn’t apply
It's hard to accidentally vouch a comment, just like it's hard to accidentally flag a comment (submitted articles are another matter, I have accidentally flagged a lot of submissions since that's an option on the main page itself). You have to first select the specific comment (reply or click on its time stamp). Then you have to press vouch (or flag). You cannot vouch for them directly from the general comments page.

So I'd wager close to 0.
You sure that wasn't a tiger pistol shrimp?

Mantis shrimp are exotic terrors of the deep you don't exactly forget you have.
In an embedded environment you would want it to be pre-compiled and optimized.
I'd say vibrations of the capsule which shake the camera, which then shakes the diaphragm/membrane of the microphone, and maybe electromagnetic inferences
But doesn't it help the state overall, because more people will become ineligible for tax breaks and other diverse subsidies and programs the state offer's for the low-income households. Has any study taken a look at that?
Sandboxie Plus
Well, taking into account how much Cloudfare made my web experience shitty, it might be a good thing.
Nobody would need to buy it. They'd just need to offer it for sale.
Just charge $1000 for the loaf. No issues with running out of stock
see also https://old.reddit.com/r/LocalLLaMA/comments/1b1q88w/selfext... who could help with code because of huge context.
No, x < 4, within integers. If N < 5, then N <= 4. If x < N, then x < 4.
Your brain is case insensiteve :)
Separation of church and state matters
There is a lot of work on neurosymbolic systems, see this review

https://arxiv.org/pdf/2305.00813.pdf

I'd note that it would be much more powerful to produce code to run in an SMT solver

https://en.wikipedia.org/wiki/Satisfiability_modulo_theories

as opposed to Prolog. It's clear to me how you can get the LLM to generate code for such a system but many of the tough problems about decidibility are as tough as they ever were. On top of that there is the problem of efficient logical inference. For instance the Cyc system

https://cyc.com/platform/

has more than 1000 specialized inference engines for particular kinds of problems, which doesn't seem like a terribly sustainable route.