skysight-inc/HackerNews huggingface dataset:
Also, I should promote the code I wrote for running this. It runs models in ggml format, the one I made available is an older checkpoint though. It's easy to convert the newer one. And it's in Fortran but it should be easy to get gfortran if you don't have it installed.

https://github.com/rbitr/llm.f90/tree/optimize16/purefortran
"An" issue? Is it THE SAME issue?
Location: Accra, Ghana

Remote: Yes

Willing to relocate: Yes

Technologies: Python, Django, C#, .Net Core, REST, Golang, gRPC, Docker, AWS, KAFKA, PostGreSQL, MongoDB, JavaScript

Résumé/CV: https://drive.google.com/file/d/12xLQjU4_4UgQoC3e474410iLnrP...

Email: asantekwabena2013@gmail.com
Much as I like the idea of punishing Boeing, this doesn't make any sense in terms of personal safety. Airliner crashes are so unlikely to kill you that, in terms of your own personal safety, it just isn't worth worrying about.
You could argue all your games are in the cloud since of the hundreds of terabytes of games you have, you're only keeping 1TB of them on the computer.
Agree with the general economics, but this caught my eye:

> a gym customer needs quite a bit more space compared to the retail customers in the rest of the high street

Where I live, the two gyms nearest to me are not on a high street - they are effectively in residential areas, which I believe has lower rents. The gyms that are on the high street are 'super gyms' that are significantly more expensive.
There is some shitty engineering there for sure, but I still fly any 737 (MAX or not) so long as relevant authorities find it safe enough. It's usually not possible to switch airlines/planes anyway. If the trip is by MAX or not at all, the trip happens. Not really an argument of any kind, but these posts always get littered with people who are quick to say they won't fly plane X again etc. Just one vote the other way.
If it's true, I absolutely think so!
Agreed. I only mention engineering students as my only experience with ethics classes are in that domain. However it's still a good example for engineers, particularly how the design failures resulted in deaths, the role of whistleblowers and how disastrous self-certification can be.
The article might have been edited since you read it. What you quote is a bit confusing. Here's what I currently have, which makes it more clear:

"They have also looked at how the Apple Watch works better alongside the iPhone than other competing smartwatches."
We have had synonyms for those two functions for decades. (Though not always for functions whose names are derived from those.)

Can we lay this issue to cdr?
All those things are enforced by strict regulation, not by unions, no?
So you’re recommending a solution that’s fine for a few concurrent users? What about when you have tens of thousands of concurrent users?
I always remember it in terms of set operations. && corresponds to set intersection, while || corresponds to set union. The union operation is similar to "adding" two sets together. You also have the distributive property: a && (b || c) == (a && b) || (a && c).

The analogy isn't perfect, because || is also distributive over &&, but addition isn't distributive over multiplication. I think this is actually one of the essential properties that distinguishes a Boolean algebra from a ring. Someone with more knowledge of abstract algebra could probably provide more insight here, though.
There is:

The neutral element for + is 0 (x + 0 = x for any x).

The neutral element for * is 1 (x * 1 = x for any x).

Furthermore, you have arithmetic properties like x * 0 = 0 for any x (annulation) or (x + y) * z = (x * z) + (y * z) for any x, y, z (distributivity).

Similarly:

The neutral element for OR is false (x OR false = x for any x).

The neutral element for AND is true (x AND true = x for any x).

Furthermore, x AND false = false for any x, and (x OR y) AND z = (x AND z) OR (y AND z) for any x, y, z.

So OR works very much like + algebraically, and AND works very much like *.

When using 0 and 1 for false and true, AND is exactly the same as multiplication, and OR is like addition with saturation arithmetics (i.e. 1 + 1 = 1).

The common precedence rules stem from those parallels.
I'm sorry, but we're never going to fix unhappiness. Nor eliminate addiction entirely. Making it difficult to access the most dangerous, addictive drugs is the only practical method of harm reduction for drug users. I don't see dead people on the sidewalks as a result of their porn addiction.
At such scale it would be a different (and in some cases potentially much more dangerous :D) technology - huge hydrolox SSTOs, launch loops, rotovators, nuclear lightbulb SSTOs, maybe even orbital elevators.
Yes: the MacBook eventually learns to stop charging and keep at 80%. (it took a month for mine)

You can override it to fully charge.
I think that most people simply don't read contracts before signing them. They go by what the sales pitch says, and sales pitches are almost never honest and complete.

> why hasn’t anyone introduced a brand that doesn’t have all these awful features?

There are, at least in my part of the country, a lot of gyms that don't behave this way -- but you have to actually read the contract to know if that's the sort of gym you're in.
Speaking for myself, I live in the hills and have shitty cell reception.

One friend in a group chat has an android, and that hoses the messages I send out, because Apple will default to SMS. It is quite maddening.

The main complaints from other seem to be about high def videos, pictures etc, which I don't personally care about.
Is that possible? You can set priority to background and your process will be restricted to E cores, but last I checked other processes will favor P cores but will be spilled to E if everything is loaded. I also don’t remember an API to query the core layout (to only spawn as many workers as there are P cores).

But maybe that was added since?
That's simply untrue. I opened the App Store on my iPhone, searched for Maps, tapped the Apple Maps item, scrolled down, and there's its privacy scorecard. I did the same for Messages, Mail, Photos, and Phone. All of them show up in the App Store with user reviews and the privacy section that all other apps have.

I'm not trying to be an Apple defender here. I don't work for them. They don't pay me. It's just that the things you and the person above you said are factually, demonstrably wrong. Not like "well, that's a difference of opinion" wrong, but like "takes a few seconds to disprove, complete with screenshots": https://imgur.com/a/3S03PtW
They sold what they created to someone else. Now the someone else owns it, but Apple still wants to control it.

You either get the money or you keep the stuff. You don't get to take the money and retain ownership control of the stuff.
Sorry, but I'm of the exact opposite opinion. If you don't know, learn. It's not hard (as other sibling comments have noted). Code with superfluous parentheses is even more confusing, since I expect them to be present only when overriding precedence.

...and I just realised your username adds some additional irony.
I haven't noticed this hostility. Where did you see it?
> How else do you suggest we destroy Hamas, given that they've already said they'd do October 7th again as soon as they can?

Stopping blowing kids to pieces through indiscriminate air raids and ending apartheid would be a good start. That will cause a big recruitment problem for Hamas. Perhaps if people are given a bare minimum of dignity, if they have something to lose, I don't think they could be easily motivated to rush tanks by foot with handheld IEDs like in Saving Private Ryan.
Popularity is an anti feature at the gym. Working adults have limited windows to workout and so once a gym gets affordable like 24hr fitness where seasonal sales at Costco make it VERY cheap it becomes a gym you might not actually want to work out in.

Then you have the whole gym owner archetype which I won’t dive into but IMO exasperates the issue.
install it on another partition or on a separate computer if you can. that will work better than on or VM.
I doubt you'd even need to. The fact that it's not a uniform grey blob means they're already controlling how the light leaves the device. I suspect it's already directional.
Unfortunately even though this was called out as a mistake in 1982, much more modern languages (e.g. C#) are still copying it.

As painful as breaking changes might be, they beat the alternative of dealing with a bad design indefinitely. At least in more modern languages, the type checker usually catches the mistakes caused by this design mistake.
> your non-Apple watch will not be replying to texts when paired to an iPhone.

An apple watch is allowed to do it.

Look at it from an anti-trust standpoint, in favor of the consumer, not a technical standpoint.
Probably because gym density isn't super high in some areas, so consumers may not have a ton of choices. And opening a gym that can compete with a big gym chain is not as easy as opening a sandwich shop to compete with subway.
I personally know my attention span will not be 100% driving for 3 hours straight, a short break is necessary and parking, ordering a coffee can take a bit longer than you'd think.
yay, compromises!

who needs to work offline anyway.
I self-host a number of things that I've cobbled together in similar fashion for my kids. A while ago I had a bunch of minecraft servers running, when the kids were more into minecraft. There's Vaultwarden, a musescore downloader for my piano-minded kid, a spidered mirror of imgur user ngugi's middle-earth lore posts, an Emby instance populated by both random funny videos I find and also by a cron job that mirrors certain youtube (and other) channels locally so that my kids can watch them without being classified by an algorithm...

I don't publish these things for the most part, each of them took between a few hours and a few days' worth of spare time to put together, they're all made without pretension for an audience of 3-4 people only.
this isn't signal jamming, it's a directed energy weapon.
it disrupts and degrades the electronic components that operate the drone.
it seems easy to detect overheating, frost or no frost, no?
Just don't buy them?
you're right, it's not an sms replacement: it's actually secure, and it has no requirement that you have a sim or phone number. Something RCS does not have.

You can use SMS (and apparently RCS in future?) to talk to others, and if there's the option to use iMessage instead it does that. i.e it interoperates with existing standard messaging systems when appropriate.

> Apple's messaging service is integrated with Apple's runtime, and because they control both they can implement features that competitors cannot.

Every messaging app on Mac and iOS can implement whatever features they want, just like iMessage does. It has nothing to do with the being "part of the system".

> Google and Twitter have services to run that compete on generally equal terms (eg. the Internet)

No they don't. I can't make a search engine that competes with google I don't have the hardware or existing index, much like apple has infrastructure to support and developer iMessage, google has hardware and infrastructure to support search. Why should I have to build my own infrastructure if google already has that?

Similarly I can't make something that competes with twitter if I can't read and reply to tweets on twitter, so why shouldn't twitter be required to let me do that as well?

You have created an artificial distinction that makes iMessage (a service that is part of a paid product that requires significant infrastructure) somehow different from every other service operated by every other company for which someone might want to piggy back off to avoid paying the actual operational costs. There is no different from "I want to make my own messaging app that uses iMessage for message delivery so that it interacts with iMessage, so apple must let me do that" and "I want to make a microblogging site that uses twitter's infrastructure so that it can interact with twitter, so twitter must let me do that".
> However, the precedence of & vs &&, or & vs ||, etc is a source of problems.

Do you have any examples of this? In my experience you almost always want the bitwise operators to have a higher precedence than the logical operators, as using the result of logical operators as a bitmask makes little sense. Consider e.g. `A & B && C & D`, which currently is equivalent to `(A & B) && (C & D)`, but with reversed precedence would be equivalent to the almost nonsensical `A & (B && C) & D`.

Now, the precedence of == with respect to & and | is actually problematic (as Ritchie admits as well). Having `A == B | C` interpreted as `(A == B) | C` is almost never desirable. For extra annoyance, the shift operators do have higher precedence than comparison, so `A == B << C` does what you usually want (`A == (B << C)`).
Which don’t have this problem because the material used for the engine pod is metal and not fiber like with the uncertified models. This fiber is breaking up after five minutes of heating
How about, say, Airbus and Bombardier?
It has a supposedly intelligent thing which works about the same as iOS, meaning not well and not reliably.

iOS has gained a hard limit toggle, but macOS has yet to. Aldente does that job.
An asynchronous lock free ring buffer for logging
As someone who has seen the film but was somewhat ambivalent towards it, I appreciate your take, but for the sake of others who haven't seen it, it might be good to put a spoiler warning at the top of that...
Yes, sometimes logical AND called logical multiplication and logical OR called logical summation.

It seems clear for me, because I remember learning De Morgan's Laws in electronics class and from one specific level of Turing Complete game.
Thank you for your kind words. I'm the guy behind MicroBeast - and yes, you're right that video is hard.

However, I'm working on it! VideoBeast is a video 'chip' that I hope solves some of the problems with getting decent graphics out of 8-bit retro and homebrew computers.

* It has a high bandwidth interface, acting like a (paged) RAM chip that should be compatible with most 8-bit CPUs.

* It outputs a digital video signal that can be easily connected with modern monitors.

* It supports text, bitmaps, tile maps and sprites and composites them in up to six layers.

* It has a large (1Mb) video ram to support full screen graphics, and provides an SD-Card interface to load data efficiently either for display or the host CPU to read.

* It supports the features used in many late 80's arcade boards that allow a relatively slow CPU to move large graphics around on screen, including hardware scrolling, palette effects, raster timing, windowing and transparency.

Whilst there are designs out there that do this with TTL logic, for reasons of cost and sanity the design is FPGA based - I'm working hard to use the lowest cost device to do the maximum amount of work, whilst taking nothing away from the host CPU. VideoBeast acts like an old school Video Display Processor, with memory mapped graphics, not a co-processor pretending to be a graphics device.

I think this is a far better solution than a Pi or ESP32 on a serial bus (slow to update and restricted by on-board RAM), and it should reasonably outperform the X16 thanks to an architecture that centres on efficient and flexible memory access.

There are some more details linked from the MicroBeast page. I've got the prototype units running currently and will be sharing more demos and information over the next few months as it approaches feature complete. There's a way to go yet, but I think this is going to be pretty exciting.
yes, good, time for the FAA to force Boeing to think ahead
data mining. So much scientific pollution these days.
Looks great. Is it just DuckDB and SQLite for now? No Postgres?
What if all our existence, it has a meaning, but it's not what we hope it is. We exist to develop as evolution becoming more complex, is also evidently more energy 'consuming', or actually to hint the following question, dispersing.

What if the only reason we exist is... what if we are just a tool for... entropy?
> This ultimate truth transcends individual systems, offering a broader, more holistic understanding.

But the unknowability of that so-called "ultimate truth" implies that it's not offering anything, much less any understanding.

The article says Gödel thought that escape hatch for these contradictions is death, because all the local consistency and rationality hints at some greater consistency that must be there. However, that sounds a lot like wishful thinking.
There are also other benefits - avoiding weather along the route, taking a straight road where an airplane needs to take a longer route for political or safety reasons, etc.
The collection from that basement was relocated to the California Academy but it's not a surprise to me that it isn't all on public display, there were 7,000 skulls in there after all!

There's a wall of sea lion skulls at CalAcademy which were collected by Ray Bandar - those have been there for years and are visible in the main hall.

Here's a fun tip: any time you're at any kind of wildlife preserve or zoo in California and you run into a guide or docent who looks like they might have been there for more than 5 years or so, ask them if they ever met Ray Bandar. I've found that this often leads to a gruesome and entertaining story!
I've never heard of saturation arithmetic and now it all makes sense. Otherwise I thought it was more common to think of XOR as boolean addition, and OR would be represented as xy + x + y.
Because different countries might have different gauges. Japanese system is great not because they have different gauges, but because they don’t see it as a problem if there are different gauges. In general, Japan has many train companies that run on totally separate systems.
> what does turbo even mean in the context of an electric car?

It means marketing is now the boss of the company and engineers have no say.
Where do you get the 2 times faster from. I doubt it's even close
A Few times a month
The McDonald-Douglas Fast Engineering company. I'm flyin' it!
Your comment reminds me of another biology tale:

The natural, most efficient, and optimal state of an animal is napping.

Wakefulness, and everything that happens during that time, is just an annoying distraction to maintain homeostasis.
> In airplane design, almost all catastrophic failures happen only the first time.

Presumably you meant airliners specifically?
cat and mouse is the nature of warfare. They're already working on mounting these types of weapons onto drones as well.
You think an airplane doesn't need lift when in a level flight? :)
Thanks to the atmosphere an airplane doesn't need to carry its own oxidizer, either. I'll leave to you to check how much oxidizer a Falcon rocket needs to carry for every ton of fuel.
I've seen RSUs issued with single-trigger acceleration on acquisition or IPO.
>> but the example on the CES floor does not have an __apparent__ tint.

> I assure you it is semi opaque

> It may not be __noticeably visible__ to the human eye under most lighting conditions, though.

I'm not sure you two are disagreeing. Seems like you're just reinforcing their point. I mean if someone said glass is opaque and their evidence is that you can't see through glass and your evidence is to point at UV light... well... you'd be technically correct but you're talking from a different ballpark.
Ryan Hamilton's comedy bit about canceling gym contracts is hilarious:
https://www.youtube.com/watch?v=lnKJiixfa00
> The company’s share price rose significantly toward year-end based partly on that expectation.

And partly due to the bombing of Gaza aided by Boeing JDAM systems, I guess.
& vs && doesn't feel like a problem to me.

& vs == is the real problem: `(val & MASK) == CONSTANT` needs parentheses due to this mistake.

`a & (b == c)` essentially almost never makes sense (== gives you a boolean, and when dealing with booleans you can use && instead), yet that it what you get by default if omitting the parentheses.
> `await` is the one with the most variation [..] in C++ it's just barely tighter than assignment.

That doesn't seem right to me. According to cppreference[1] it's the operator with the third-highest precedence, well above assignment, which is the second-lowest.

[1] https://en.cppreference.com/w/cpp/language/operator_preceden...
I think it's fair to tell them you'll only pay for their articles if they cite their sources with URLs.

Most :NewsArticle are not even journalism; LLM summaries without citations or attribution are not worth money.

More articles is not a net good.

GNews used to have ~ "first breaking" and "most in-depth"; and probably the graph of who copied who.

They do not pay the people they sell articles about.
IIRC, you only get QSBS if you (a) exercise to purchase actual shares while the company is QSBS eligible; and (b) hold the resulting stock for 5 full years.
"true is a #define for 1" is bad idea. Because when `x` is, say, `2` then `if x` is not the same as `if x==true`.
> It's like if *humans* went around making all of the important decisions and only bothered to spin up a *machine* briefly for reproductive purposes. But then the sex *bot* got a bit out of control and got a job and an apartment and now it's the humans who look like they're just for reproduction.

This perspective could kind of also apply to plants, a la The Botany of Desire (good book). From a certain plant's perspective, humans exist to help them reproduce.
I'm going to tell your mother you said that.
I suspect most startups are doing more than crud for the most part. Of course, good on you if you have a great startup idea that just requires a simple crud app!
I'm getting serious "you can build Dropbox yourself quite trivially" vibes here. I mean, people don't even turn their flash off in broad daylight…
I wonder what Gödel would have thought of Wolfram's opinion on physics. According to that the reality is a kind of superposition of all possible combinations among all possible abstract mathematical concepts to which we have only very restricted, macroscopic insight. That makes mathematics objective and primary structure of the Universe and feeds right in the rationality canon.

https://writings.stephenwolfram.com/2020/04/finally-we-may-h...
what do you mean by "any kind of lock"? All I can think of in this context is caps lock. Or scroll lock, may it rest in peace.
There's also a connection to probability: if you want the probability of A and B and C happening and they're independent, it's P(A) * P(B) * P(C). If you want the probability of A or B or C happening and they're mutually exclusive, it's P(A) + P(B) + P(C).

Similar analogue for set theory, as another commenter pointed out.
Wait, I can't tell if you're being serious or sarcastic :)
no issues on laptop.. maybe a difference in mobile behavior?
You can install adapters for pg, MySQL, big query, and trino, with others coming soon. harlequin.sh for more info
> Second, #3 is always a red flag for me.

Does Zeiss manufacture any public facing camera currently ? All their general public facing projects are collaborations with Sony or Vivo or other makers, and I think they only manufacture lenses, so nothing with a high quality chip in it.

It's probably another story on the medical side, but this doesn't fit a highly specialized, peofessional only niche with a PC doing the processor on the side.
Pay off any loans you have, and build up enough savings to get by on for a year. Then reevaluate.
> (good pointers on speeding up the Python code beyond Numpy listed but not tried or benchmarked)

Damn, it would have been a nice benchmark if they did do a comparison against numba/cython.
Apple’s offices were closed 22/12 - 01/01, which is a not-insignificant chunk of those 19 days (not mentioning that their chosen launch date was the first day back)