skysight-inc/HackerNews huggingface dataset:
> It's maybe a clever tactic to keep religious extremists away.

Or a clever tactic to reduce diversity, because many diverse countries of the world are full of people who would be uncomfortable or wouldn't want to associate with such images, because of their culture and religion.

> Send from a Iphone ;)

Sent from Android, but besides the point. I've used FreeBSD and have tried to make it work for me. Unfortunately because of the logo I can't actually use it in general. For instance I wouldn't be comfortable using it with the church website I help maintain. I'm sure this is all just superstitious nonsense to you, but in truth this is part of my religion. Believing in the supernatural and sin is not 'extreme', unless you think Christianity in general is extreme.

I'm not stopping you from being anti religious, or anti Christian. I don't it's good, but I think it would be wrong to force you to not be. But FreeBSD claims to abide by a code of welcoming all people regardless of religion, I'm pointing out the hypocrisy here.
I love how your comment is assuming that anybody here who's not British must be American. I'm Dutch and had never heard of conker before either.
A lot of old time Magic The Gathering players are also familiar with Phil (and Katia) Foglio's work.
First, Ten
Does it have an understanding of the strict rules that govern the problem and that it needs to produce a result that is in total accordance to them? (In accordance which is not 100%, but boolean)
i.e., can it apply a function over a sentence?

I don’t know, that’s why I ask.
What I'm saying is that it might be the case that "capability c" (somehow measures as a positive scalar) of your fused sensor system is not the sum c = c_1 + ... + c_n of the capabilties of each sensor c_i, but more like c = (c_1^p + ... + c_n^p)^(1/p) where p is a large power. The case p = 1 is where every sensor contributes to the whole system with perfect efficiency. The case p = infinity, i.e. c = max (c_1, ..., c_n) is where really only the best sensor does all the work and the weaker sensors can not add anything useful. The case of p > 1 somewhat large represents that all sensors contribute but the real heavy work is being done by the best sensor and other sensors only have significant impact if they have roughly equal capability. So I believe that the team at Tesla has the intuition that p is too big for radar to be worth it.
DMDScript – implementation of the ECMA 262 scripting language
After Godel published his landmark incompleteness proof, that a logical system can't be complete and also without any internal inconsistencies, I would have expected this to trickle into philosophical arguments of this type.

I see no practical usefulness in all of these examples, except as instances of the rule that you can get correct results from incorrect reasoning.
Show HN: AI summarizer and personal knowledge base
Briefy turns all kinds of lengthy content into concise, structured summaries and saves them in your knowledge base for later review. We are aiming at solving information overload and increasing daily work productivity. Please try out and give us some feedback!
Measuring at a single point in time is so inaccurate due to things as simple as circadian variation of blood pressure (morning surge, night time dipping, etc). Not to mention acute stressors, arm positions etc. It's hard to put any weight on a single reading, and tbh doctors already know this.

After some hypertension issues last year I bought an inexpensive ambulatory monitor (Contec ABPM50) for experimenting. Turns out the biggest contributor was likely undiagnosed sleep apnea, infact research suggests up-to 50% of essential hypertension cases are probably apnea related [1].

Sleep apnea is ridiculously common and significant apnea in young/middle aged individuals (particularly women) is associated with an up-to 5x increase in all causes mortality [2].

If have poor sleep, mental health issues
(PTSD/anxiety/depression) and borderline/hypertension you should absolutely order something like a WatchPAT test. The odds of it coming back positive are probably 80%+. The STOP-BANG questionnaire is also pretty good: https://www.mdcalc.com/calc/3992/stop-bang-score-obstructive...

1. Chaudhary SC, Gupta P, Sawlani KK, Gupta KK, Singh A, Usman K, et al. Obstructive sleep apnea in hypertension. Cureus [Internet]. 2023 Apr 27; Available from: https://doi.org/10.7759/cureus.38229

2. Lavie P, Lavie L, Herer P. All-cause mortality in males with sleep apnoea syndrome: declining mortality rates with age. European Respiratory Journal [Internet]. 2005 Feb 28;25(3):514–20. Available from: https://doi.org/10.1183/09031936.05.00051504
Yes, the study incorporates no lithium storage. Including storage we will easily reach far above 90% renewable penetration.

When we get to the final percent in the 2030s we can utilize akin to todays peaker plants financed on capacity markets [1] but zero carbon.

Peaker plants today already run too little to be economical on their own, essentially what in our current grids constitute seasonal storage and emergency reserves.

Simply update the terms for the capacity markets to require the fuel to be zero-carbon. It can be synfuels, biofuels or hydrogen. Whatever comes out the cheapest.

As we electrify transportation we can shift over the massive ethanol blending in gasoline in the US to be our seasonal buffer. [2]

[1]: https://en.wikipedia.org/wiki/Electricity_market#Capacity_ma...

[2]: https://www.eia.gov/tools/faqs/faq.php?id=27&t=10
While I tend to also wave away philosophers as it always boil down to unclear definitions, I don’t think your argument answers the question at all.

From “it has the genetic makeup of a cow”, you’re saying that what make a cow a cow is the genetic makeup. But then part of that ADN defines the cow? What can vary, by how much, before a cow stops being a cow?

The point is that you can give any definition of “cow”, and we can imagine a thing that fits this definition yet you’d probably not consider a cow. It’s a reflection on how language relates to reality. Whether it’s an interesting point or not is left to the reader (I personally don’t think it is)
> The password-killing tech known as “passkeys” have proliferated over the past two years, developed by the tech industry association known as the FIDO Alliance

Amazon, Cisco, Google, Apple, Meta, Microsoft etc, they all want your passwords.
Your passwords are secure, in the cloud. /s
Unless you wrote the compiler
lmao, you say shit study but you suggest using green h2 as backup which not only isn't economically feasible (for now at least) but current generators are either using a mix with gas or use pure h2 with huge nox releases due to high temp burning. Not just that, most lcoe costs magically assume that 4h storage is enough. Look at yesterday's Germany generation and tell me how 4h storage will be enough there. Or maybe I should link to amount of subsidies Germany is pouring each year in renewables like https://www.bloomberg.com/news/articles/2024-05-29/germany-s... or like https://www.reuters.com/business/energy/germany-looks-specia...
It's funny that when I ask ren-bros how much subsidies edf in France is getting they are either silent or are linking to price shielding that's totally unrelated and is present in most eu countries after russia's invasion.
Renewable bros as usual are dunking on nuclear and promoting their clean supply like a mecca without facing hard reality - most renewables now are subsidized by fossils and will be in any close future
It is a myth that it was banned nationally for health & safety (“nanny state”) reasons, as was incorrectly reported in the press (mostly in the red-top papers), but some schools certainly did ban the game.

This was usually because it became a tool for bullying: deliberate hand hits in games, deliberate hand hits in other contexts with complaints of an attack fobbed off as “we were playing conckers and there was an accident”, and so on.

Also like any playground sport there were gambling issues (I'm not sure if they were serious issues, or just if some schools took them too seriously, but I remember there being a glut of warnings about it when I was in secondary level education, around the same time as some bullying concern related bans).
Driving in a torrential rain can be terrifying. Literally can't see practically anything in any direction.

Haven't seen an equivalent snowstorm so far. Even in the worst case there's still at least 30 ft / 10 m visible range. Which is not great, but at least something.

In both cases, if at all possible, better to stay put!
Codeium Supercomplete
> The FreeBSD Code of Conduct mentions being welcoming to people regardless of religion, but by using imagery that explicitly comes from religious depictions of evil in their logo they're blatantly being unwelcoming to a lot of religious people.

When you use the term "religion" here, are you referring to an immutable set of 'official' religions? If so, which religions are in the set? If it's not immutable, how does a religion get added to the set? If it's not a closed set, would you be willing to cease using or promoting anything that has a logo on that offends my religion?
That said, can't AI iteratively edit a picture? Then it can accumulate lots of input and one couldn't say input was small.
Re your last note (which is hilarious) I was hugely amused to discover that many Americans reading in Potter about Filch "punting" the kids across the temporary swamp assumed he was kicking them over rather than using a flat bottomed boat. Understandable but much funnier than the original intended.
So clean, thank you
Back when I was a teenager, I used to also have similar thoughts as the person you replied to about not playing with toys because it was childish behavior.

Luckily, I grew out of that and I do not feel self conscious when playing as an adult or being goofy.
I think the assumption is more that someone who's offended that the Guardian didn't explain a mainstay British playground game to their readers...

Is probably from the USA.
It's remarkable how LLMs have skipped any kind of philosophical grounding for "how do we know that this output is valid?" and just gone straight to "looks good to me". Very postmodernist. Also why LLMs are going to turn us into a low-trust society.

A tool for filling the fields with papier-mache cows.
I guess they are beaver technology. Non-human intelligence. It's a philosophical question. Regardless it's not the same kind of "mindless brute force evolution" that led to ATP synthase.
soo.. bayblade with nuts?
> We shouldn't encourage people to run old software. They will be part of a botnet sooner or later.

We shouldn't encourage people to run new, untested software. They will be part of a botnet sooner or later.
Agreed. I've been reading about the return of airships since I was a kids in the 1980s. The fundamentals haven't changed.
A red Devil is also the official mascot of the well known Italian AC Milan football club.
To me that is comically atrocious way to cheat... Like was there any time spend to think more sensible approach?
>If your Rust project leans heavily on unsafe code and/or many libraries that use lots of unsafe, then aren’t you fooling yourself to some degree; i.e. trusting that the unsafe code you write or that written by the 10 other people who wrote the unsafe libs you’re using is ok? Seems like that tosses some cold water on the warm afterglow.

It's true is that you have to trust your dependencies (unsafe or not). Not needing to trust at all that developers know what they are doing was never a thing a programming language could provide. We can only carve out some specific properties that we can machine-check in a limited way.

There are limits on what a type system can do (Rice's theorem, Gödel's incompleteness theorem), and in addition there are limits on what a non-dependent type system can do.

Therefore, you either need unsafe (something that adds operations that the type system doesn't model) or you can't write some perfectly OK programs.

Basically, the Rust type system is a toy model of your computer's abilities and the domain you want to model. And so is any other type system. The type systems of systems languages at least have some inkling of the actual machine--which is not necessarily the case in non-systems languages.

Ask a computer engineer what he thinks about this toy model's misconceptions, like that reading and writing from the same location via the memory bus affect the same thing, or reading the same memory location twice in a row when there's only one cpu is guaranteed to give you the same value, or that reading a memory location can't change it, or that writing to some memory location can't automatically change some other aliased memory location, or that writing some memory location from cpu 1 means cpu 2 can immediately read that new value out etcetc. I could go on (memory barriers, cache coherency, paging, ...).

This is not specific to Rust.

I'm not sure why we are having new "unsafe" discussions lately. Java and .NET have unsafe as well. Didn't we have that discussion already in ca. year 2000 and everyone arranged themselves with it?
What changed? Are there new arguments?

If you want to have some empirical tests if the unsafe blocks are broken, run your program under miri.

Now you could say that you could just make better and better type systems that encompass everything as it really is. To that I say (1) you can't do that in principle and (2) if you could, humans wouldn't be able to practically use it anymore and (3) It would be too much effort for something that only a tiny minority of programs need in some places. The toy model is pretty good 95% of the time!
> Passport/ID document expiration dates are decided by law

Passport max validity length is set by the ICAO not the government.
it's pretty easy to infer by the article. Or ask GPT-n to do it.
The commenter asks if the game is well known in Britain / Ireland itself.

I don't see the commenter expressing displeasure but rather only curiosity
Well if you have read the document he only retracted his opinion on children children and childhood seems to stop for him at 14 and after that you are a teenager and you are fair game.

I have a lot of sympathy for teenager leading their own sex lives with each other. I have a lot less sympathy for adults that bring up the fact that teenager are entitled to a sexuality when the implication is that adults shouldn't be frowned upon for courting teenagers. Even less so for someone who had to retract his previous positions that children of all age...

EDIT: You haven't read the document clearly because it does not rely on the epstein quote and clearly marks what has been retracted
thanks for making me discover this sport.
And can be recharged as soon as the wind or the sun comes back.

The sizing of batteries and power sources is highly region specific, and the places where it makes sense today with current manufacturing capacity, don't have to be "everywhere" for it to be fine where it's actually done; and given the roll out rate of renewables, we also don't need to wait until battery output per year can totally displace the existing and currently running gas plants, just back up the newly installed renewables themselves - 4h in this case is how fast the PV farm would recharge those batteries in the best case, the average output of a PV plant is about 10% of the peak, so this is really a 40 hour battery pack not a 4 hour pack.
puffin or pangolin?

puffin would have double benefit of being better than a penguin
Undisclosed Trading firm | SRE, SWE | Full-time | Onsite | Remote | 100k-200k CHF Software Engineer / Site Reliability Engineer (SRE) - Infrastructure
Responsibilities:

• Develop and maintain exchange connectivity and internal trading software. • Work with C++, TypeScript within an AWS environment.

Qualifications:

• Strong technical skills in C++, TypeScript, and AWS.

Compensation:

• Competitive salary ranging from 100k-200k CHF. • Bonus scheme • Opportunities to reinvest bonuses in the fund and equity options.

We seek only highly qualified candidates with a strong background

How to Apply: tfcodingcat at proton.me
Fair enough. I can't say I'm familiar enough with professor Pearl's work to argue productively, but I do thank you for pointing this out. This is most interesting.
For reference, chess skill has a function indicating likelihood to beat a player of another rank (I don't recall the ratios). This user's chess skill dwarfs mine (1400s), might be higher than anyone I've ever played with in person. I can stomp all my acquaintances easily, but this person might never lose a game to me, no matter how many we play. There's something deeply gratifying about the formalization of chess skill like this imo, it keeps everyone humble. It's good to meet other players, cheers.

That said, I'm only surprised that such a high-ranking player was caught so easily with cheating. I've been expecting for many years that the problem of catching cheating in chess is complicated by motivated cheaters being necessarily intellectual, therefore hiding it well. We may never know our best cheaters, at least during their professional careers, and it's a little disheartening knowing even top100 players can overtly toss away their prospects this way. It would be a surprise for anyone this high to not be invested in chess in multiple financial avenues, so this really is like shooting yourself in the foot.
I am talking about the "cult of bussyness" form of busy, most people can get their 8 hour day done by lunch even at a leisurly pace.

https://www.independent.co.uk/life-style/busy-work-productiv...
Show HN: FTWA – a tool to turn any website into an app
> we have added the SWAP function available on demand, applicable to any sequence of words.

What is {SWAP Hello} ?
Or {SWAP one two three} ?

> It's a mistery.

A mystery, even:-)
> I think "this guy" just has some weird obssession with Elon Musk.

It seem the whole planet has this obsession :-)
Have you ever actually worn out an SSD by compiling too much? I ran gentoo on SSDs for several years, never had an issue. If most compilation is happening in memory, updating software from source shouldn't be significantly more damaging to drives than binary patching?
I was skeptical, but the amount I've managed to do with the free tokens and a short amount of time is impressive.
I'll see how it does with SvelteKit tomorrow and decide whether they'll make a paying customer out of me.

I didn't realize you had specific the stack you want beforehand.
Is it just me or are LLM chat bots still useless in many cases?
Despite all enthusiasm I hear around me (at work mostly) and read online, I've noticed on many occasions the responses I get are really just useless.

This recent encounter illustrates that well. It's a simple coding task, where I couldn't by reading the manual figure out in 1 minute whether or not I could get something done with a given project. Hence I asked the following question at phind.com, MS Co-pilot, MS M365 Chat, Llama 3.1 70B (via the Huggingface web interface), chatgpt-o1 preview:

---

I have a recent BMW electric vehicle. I want to programmatically list all charging sessions: I need the charging session's start and end time, with the amount of kWh charged.

I found the bimmer_connected Python module, which may be able to do what I want. Can you check whether that indeed allows to obtain such a list, and if so, suggest some sample Python code.

Be brief, I'll read the code and don't need much explanation.

---

Observations:

- all of them except from chatgtp-o1 preview told me the functionality existed (which, from reading the manual, is not the case; I guess BMW doesn't store extended history and hence doesn't offer an API to obtain such info)
- they all returned code examples with functions that in reality don't exist in the said module
- chatgpt-o1 told me the functionality didn't exist in bimmer_connected, but suggested another Python module named 'MyBMW'. As I couldn't find that easily, I asked the follow-up question where I should find it: the response was that no such Python module existed.

This is really representative for my experiences so far.

What are your thoughts and experiences?
> So large companies are now government agencies?

The CAB forum is not a company (although it is made up of some) and the government does not set passport max validity lengths (they can make it shorter than 10 years, just like CAs can make certs shorter, but there is a reason no country gives out passports longer than 10 years)
Same for Manchester United, a team which literally has a red devil in its crest:

https://upload.wikimedia.org/wikipedia/en/thumb/7/7a/Manches...
It's a glossy 3D emblem which aren't drawn today, it's like stealing sand from a desert.
I like that there is also a solid option. Makes it easy to show a selected menu item state.
I wonder if adversarial model which looks at user input & LLM output and predicts whether output is accurate + maybe output what is not accurate. This worked pretty well for image generation.
It's ugly and expensive.
Are there even any other free/libre C compilers that can produce 16-bit DOS binaries?
they don't target 100% by 2035. They want to close last coal plant by 2038 which is a bit optimistic looking at yesterday's generation. For gas it's even worse - the plan is totally unrealistic and their planned h2 ready plants that'll use gas initially, will probably still use a mix with gas when/if green h2 becomes reality or they'll replace the generators with pure h2(unlikely) which has huge nox emissions due to high burn temperature

Larger image is yesterday's generation + https://www.bloomberg.com/news/articles/2024-05-29/germany-s... and https://www.reuters.com/business/energy/germany-looks-specia...

And nuclear construction can be much faster https://en.wikipedia.org/wiki/Barakah_nuclear_power_plant or you can look at projects from China
That entire report is an exercise in selectively choosing data to misrepresent renewables and present nuclear power in the best possible light and wishful thinking.

To the degree that the prominent "renewables vs. nuclear" graph they keep repeating on the webpage and figure 6 in the report is straight up misleading.

This is the source:

What is different about different net-zero carbon electricity systems?

https://www.sciencedirect.com/science/article/pii/S266627872...

Utilizing storage costs from 2018 and then of course making the comparison against the model not incorporating any hydrogen derived zero carbon fuel to solve seasonal problems.

Which is todays suggestion for solving the final 1-2% requiring seasonal storage in the late 2030s.

Something akin to todays peaker plants financed on capacity because they run too little to be economical on their own, but zero carbon. Can be hydrogen or biofuel derived. We will know in 10 years time.

Would they have chosen the ReBF model the difference between made up optimal nuclear power and 2018 renewables would be: $80-94/MWh and $82-102/MWh.

It is essentially: Nukebros writes reports for nukebros, they confirm their own bias. Simply an attempt to justify another massive round of government subsidies on nuclear power.
What does "Open Source" do for graphical assets like icons?

I'm more interested in the license, how can I use them, are you using a Creative Commons derivative or a custom license?

https://mynaui.com/legal

> You are prohibited from the following uses:
> - Distributing or publishing the Item or its assets online.
> - Placing Item design files into an End Product as-is.

So can I put these on a web page or not? How about an executable application?
Or how they feel about eating deviled eggs... https://www.nola.com/entertainment_life/eat-drink/article_f2...
Looks great, thanks so much for writing this!
We've been using it for a year and we hate it.

Not flexible enough, performance problems, doesn't provide much ootb.

You're better off just writing a service from scratch, the time you are saving is minimal (this applies to most products before we get to django or wordpress imho)

We tried and abandoned keystone too.