skysight-inc/HackerNews huggingface dataset:
"Bluetooth wardriving" has promising google results, e.g. [1] [2] [3]. That would involve either driving around with such a setup, or planting a couple of them, depending on your coverage and update requirements.

1: http://mateslab.weebly.com/bluedriving.html

2: https://interruptlabs.ca/2021/10/15/Bluetooth-WarDriving-wit...

3: https://hackaday.com/2011/04/15/long-range-bluetooth-wardriv...
Very interesting. I didn't know it was this nuanced. Thanks for breaking it down!
Visionaries continue to be around, but it's so much easier to make noise that you have to really work to sift the wheat from the chaff. It's in Wall Street's best interest to have you thinking that when they stop innovating innovation is dead. But I really think this is what our culture looks like when it's becoming.
> no division can produce a result that is exactly zero

Except 0 / n
This paper hardly touches on far and away the #1 pain point, and indeed only refers to it a single time. And that pain point is cheating.

In my institution -- and this is hardly unusual -- CS alone accounts for about half of all university-wide honor code violations. This isn't because CS students are evil. We know all the evil students are Finance majors. It's because of two factors. First, the medium of computer science, that is, program code, is trivially copied, forged, generated, and sold. It's much harder to get someone to build your breadboard circuit or sculpture. Second, CS programs are run by computer science professors, who among other professors are uniquely skilled at developing software to catch cheaters, and computer code is uniquely easily parsed, so we catch students more readily than, say, English professors with turnitin.com.

Distance learning, due to covid, greatly exacerbated this. Nobody still has any effective way of conducting exams remotely. Every software system we've tried has been highly invasive of privacy and easily circumvented. Cheating in online classes has been rampant.

And the amount of cheating among American students has risen from fairly low levels (when I was a student) to astonishingly high levels. My own theory behind this is the rise of helicopter parenting: before entering college, students were essentially never allowed to fail, and now when they fail they cannot handle it. It is an epidemic in CS academia.
> the nuclear power was replaced with wind + solar

Between 2021 and 2022 Germany's share of electricity from Nuclear declined from 12.6 to 6.3%, coal increased from 30.2 to 33.3% [0]

In a hypothetical scenario where Germany didn't reduce nuclear generating capacity what do you think is the likeliest amount of electricity generated from coal?

a. higher than 33.3%

b. lower than 33.3%

If you think that answer is (b) than decision to shut down nuclear did indeed increase coal usage as compared to hypothetical 2022 with nuclear not closed

If you instead think that answer is (a) I would be interested in hearing the reasoning.

[0] https://www.destatis.de/EN/Press/2023/03/PE23_090_43312.html
Is that something to do with Geek Feminism and the imposition of "codes of conduct" on conference attendees? And doing so has politicized the events? If that is true, then it's yet another example of pressure groups imposing their agenda on these events. It started roughly in 2014. Or was there a general political shift which coincides with this, at the time? Anyway, I have stopped going to these events because of the politics, particularly the censorship aspect.

These "codes of conduct" go against my fundamental principles of freedom of speech and liberty, the whole reason I got involved in open source in the first place. They prohibit far more than rude or aggressive behavior. And they are a specific political group's attempt to control what we can say at these events and on occasion, even outside them.

Whatever it was, something changed politically in 2014 - 2016 timeframe or so. Maybe a major social media platform changed it's policies which allowed this behavior to flourish? I'm wildly speculating here.

Prior to that we didn't really care about anything political, other than civil liberties at these conferences? But there wasn't really this left-wing / right-wing divide back then. At least not from what I remember.

After thinking about it for a while, yes, nobody cared if you were liberal or conservative before that.

I'm not going to allow any chilling effect to prevent me from speaking up about it, and I'm taking any downvotes and flagging as well. It will be interesting to see what happens. It's good that this site doesn't delete flagged posts, it just hides them from view by default.

That way we avoid the "spiral of silence" effect that leads to self-censorship. If we all did the same, then this problem, assuming it is valid, would not have existed in the first place.
whether or not you save money and how much you save depends on how much your regular job pays. Sure, a google software engineer will be better off just buying all their food. but someone working a minimum wage job, will be much better off growing their own fruit trees. Here are some quick calculations/back of the napkin. with an average harvest labor of 3 apples per minute, that would produce 180 organic apples per hour or 40 lbs/hour or about 80$ worth of fruit per hour, not including time spend watering, pruning, irrigation and mulching (if done). Organic Berries on the other hand are 4-10 times more expensive, thus even giving some engineers a run for their money!
Really impressive that they provide instructions to solder the old cards up towards the new spec.

Fully out of my range of talents, but does show they genuinely care about what they preach.
This really seems like a huge Solution in Search of a Problem. The problems he mentions are:

1. you have to fumble with your phone to look something up

2. you sometimes bump into other people on the street looking at your phone

3. screens are bad

Are those really big problems? Are they big enough that I need to learn how to interact with an entirely new interface? It's obviously incredible technology, but I just don't see people walking around with these things and talking to them.
> Caveat: In the following, I use "comparison" to mean "check for equality".

You never use the word “comparison” again in the comment!
> I suspect this tweet thread opens Unity Inc up to risk by funding, through keeping on the payroll, a person who, in turn, drives hatred and vitriol online to another one of its employees. So I imagine unity decided to put an end to this liability.

As opposed to firing the employee and giving her good reasons to deliberately send harassment trolls after the former employer.
Figuring out what a building should look like is different from pouring the cement. It is unfortunate, but in our specific case the team likes getting that cement poured. They focus and they get a lot of work done, only then it has to be re-done as it turns out everyone actually had very different ideas.

This isn’t necessarily a remote/non-remote work problem, but I think that’s why that guy in the original article talks about the benefits of having people in the office.
Why is money the main goal? If you see everything through that lens, then of course permaculture seems incoherent.

If money is a primary concern, why grow food at all? Just strip-mine your land instead, or simply engage in real-estate speculation and landlordism.
Implementing Vale's Region Borrowing, and Its Unexpected Quest
> It is also the reason why they cannot be trusted in the most serious of applications which such decision making requires lots of transparency rather than a model regurgitating nonsense confidently.

Doesn't this criticism also apply to people to some extent? We don't know what the purpose of individual brain neurons is.
I wonder what the fallout will look like if they make Logic on the desktop subscription based. The DAW / audio plugin community at large have resisted subscriptions quite ferociously. And considering how competitive the space is, I could see a lot of people jumping ship based on this alone.
This list is missing "entelechy", which is a lovely word to say as well as having an interesting meaning.
> There is no self reflection, but if you ask an LLM program how "it" knows something it will produce some text.

To be clear, you're saying that we should just dismiss out-of-hand any possibility that an LM AI might actually be able to explain its reasoning step-by-step?

I find it kind of charming actually how so many humans are just so darn sure that they have their own special kind of cognition that could never be replicated. Not even with 175,000,000,000 calculations for every word generated.
Already decided in court to an extent, Bette Midler won against Ford when they used an inpersonator to sing in an ad she refused to do. Voice itself is still uncopyrightable, but use of it can be considered impersonation.

https://en.wikipedia.org/wiki/Midler_v._Ford_Motor_Co.
I think it is "just" 4 billion per launch, though of course this doesn't include the development costs. Regardless, the costs are staggering compared to Falcon 9, Falcon Heavy, Vulcan, or Starship.
Ryan Air signs deal $40B to buy 300 Boeing 737-Max-10 aircraft over next 10years
Despite the blowout of Boeing’s 737-MAX8, I am really surprised a competitor couldn’t rise to replace them. Pilot (re)training probably has a big role to play here??
PyGotham Call for Proposals
What part of permaculture is "snake oil"? Please be specific.
It's not a well-defined term but by most definitions, quiet quitting is doing the bare minimum.

> Quiet quitting is a mindset in which employees deliberately limit work activities to their job description, meet yet not exceed the previously established expectations, never volunteer for additional tasks and do all this to merely maintain their current employment status while prioritizing their well-being over organizational goals.

https://en.wikipedia.org/wiki/Work-to-rule#Quiet_quitting
Amazon’s new service lets users buy physical items in games and apps
We know that complex arrangements of neurons are triggered based on input and generating output that appears to have some intelligence to many humans.

The more interesting question is why are intelligence/beauty/consciousness emergent properties that exist in our minds.
Sure once you start bleeding you die from blood loss but if you're knifed can you really say you died from anemia?
I'm not sure if a quack doctor's miracle cure "protocol" is a good point of comparison...

https://veja.abril.com.br/saude/medicos-questionam-tratament...
This is amazing. So fun to read.

A "Snitch" cluster is 8+1 single-stage small integer cpus +1 DMA core. Cores each have their own "decoupled heavily pipelined" FPU. The cluster shares a L1 I-cache, has 32 banks of 4kB scratchpads, and has a 64bit config / peripheral AXI bus, and a 512bit "wide" AXI bus the +1 DMA core can talk to, and it's own connection to all the scratchpads.

Clusters are grouped together. On this "Occamy" chip, there are 4 Snitch clusters in a group. These groups share the 64bit/512bit AXI group bus, which connects up to top bus. Groups also share a L2 consts cache. Then 6 groups.

The chiplet also has 8 HBM2e chips bringing ~400GBps, and some other goodies, like a 8GBps off-die serial link, a system DMA controller, 8GBps and 64GBps die-to-die serials to connect to other chiplets, and a CVA6 management core.

There's some interesting iterations done to make the FPU more decoupleable, such as having native loop instructions & some interesting memory access instructions with address generation built in- "streaming semantic registers", a neat risc-v isa extension. https://arxiv.org/abs/1911.08356

I love love love the non-cache coherent design. Even within a cluster, there's still not really cache coherence, is my feel; there's just some shared memory one can use. The early slides in this deck so show much promise. Notably, a huge weakness in the ecosystem in general around hard IP for talking to memory, ethernet, PCIe, but otherwise, so much glorious stuff & rapidly improving tools for doing this kind of work.
OK, we've squeezed out the mixed fruits and put 'some' juices in instead. Thanks!
Show HN: Open-source LLM agent builder – Databerry.ai
I buy mostly from a local one personally and a little from Fresh Market but in this regard national chains wouldn’t be affected by any putative local water quality problems
For some reason, I ended up calling those "axiomatic semantics"; predicate transformer semantics is a much better name.

One of the weaknesses of PTS for common languages is that statements and expressions have very complicated semantics, compared to the relatively simple semantics of GCL and other simple treatments. One of the nice things about Frama-C (and I think the GNAT SPARK tools) is that, when you are using the WP (Weakest Precondition) module to prove properties of C code, it can automatically generate assertions that describe overflow/underflow, which then forces you to put the appropriate preconditions on function parameters. :-)

By the way, have you run across K. Rustan M. Leino's recent book, Program Proofs, and the Dafny language. It's the most recent and so far, best book I've seen on the style and technology.
I've been recently seeing the word enshittification to describe this online phenomena.

I also would refer to Eternal September when we reference any kind of online community

https://en.wikipedia.org/wiki/Eternal_September
There were a couple of years in the early "research chemicals" scene when this was true in some areas but LSD itself is now in ample supply in most places.
Thought about this idea, but there is not a simple way to organise this logistic worldwide.
I asked this of our bat expert friend. Apparently not. The droppings, of which there won't be many for a small house, are quite dry and will naturally fall out of the opening.
Is it really fair to say this brings us “no closer” to explainability?

This seems like a novel approach to try to tackle the scale of the problem. Just because the earliest results aren’t great doesn’t mean it’s not a fruitful path to travel.
I highly suspect Apple (like all these companies, Adobe first and foremost) merely consider the elasticity of demand when they force their customers to the subscription model.

They also factor in heavily the securing of recurring income to impress their shareholders.

The needs or desires of customers are never considered. Just whether enough of them suckers would yield to a subscription model.
I'm trying to be helpful?

I'm just saying this comment doesn't seem to be related to OP.

https://www.reddit.com/r/lostredditors
D̶o̶e̶s̶ ̶t̶h̶i̶s̶ ̶w̶o̶r̶k̶ ̶w̶i̶t̶h̶ ̶a̶n̶y̶ ̶i̶P̶a̶d̶ ̶m̶o̶d̶e̶l̶?̶ ̶I̶ ̶u̶n̶d̶e̶r̶s̶t̶a̶n̶d̶ ̶t̶h̶e̶ ̶f̶o̶r̶m̶ ̶f̶a̶c̶t̶o̶r̶ ̶i̶s̶ ̶n̶o̶t̶ ̶t̶h̶e̶ ̶b̶e̶s̶t̶ ̶i̶n̶ ̶a̶n̶ ̶i̶P̶a̶d̶ ̶M̶i̶n̶i̶ ̶b̶u̶t̶ ̶c̶o̶u̶r̶i̶o̶u̶s̶ ̶t̶o̶ ̶k̶n̶o̶w̶.̶

I read that it works on >= M1 processor. It is at the end of [1] before the footer:

"Final Cut Pro for iPad is available on the App Store. Requires an iPad with Apple M1 chip or later and iPadOS 16.4 or later. Downloading apps requires an Apple ID. To subscribe to Final Cut Pro for iPad you must have an internet connection."

That is currently iPad Pro and iPad Air (10.9" display).

[1] https://www.apple.com/final-cut-pro-for-ipad/
Sequential reads will still generally be faster at least for small ones, just that NVMe are fast enough that this rarely matters
Corporations tend to behave like sociopaths. In this case, it's the reluctance to do more against objectively harmful content because it would be expensive and probably cause a hit to ad revenues.
I'm not up on non-Hetzner physical machine rentals ... but I am curious: why are you looking for a different vendor?
which tool besides syncthing can do automatic backups of my phone? by automatic i mean copy photos and other data to a second device of my choosing as soon as they are created.

the primary use for syncthing on my phone is to make sure data is backed up immediately.

i have yet to find an app that has the resilience and flexibility of syncthing for this purpose.

apart from that the primary issue i have with syncthing is that the app on a device can not tell me if all data in a particular folder is fully copied to the other device. it only tells me if all local folders are complete.

it also gets confusing when you have more than a few devices and sync between all of them. i recently discovered that i had a set up A<->B<->C but A and C were not connected. i never noticed because A and C were always in sync, until device B died. but it took me some time to notice that because i didn't realize that i missed to connect A to C directly.

it would be nice to have some way to get an overview of the whole graph to see what syncs to where.
North Bay Python 2023 Call for Proposals
It's Ghost, so Markdown's available, and you could use a triple-backtick block, ``` before and after.
Shoulder surgery should not be delayed. The probable retraction of some damaged parts is not a joke. Your friend could have been the lucky one in the pool, but there is also a possibility that in a few years the problem will grow and the surgery required will be much heavier and expensive.

> and without surgery are back competing on the bike.

My bet is that they are on painkillers for life
Not generally. Prior art works like that for patents. For copyright the courts generally allow copyrights on things created independently of an existing item. So it's likely the whole exercise is worthless at affecting any future copyrights.
I like to think of property tax as a wealth tax for the middle class. My understanding is that the per capita taxes of those states aren't really much different from others, but they're structured more regressively.
It was always slow-ish compared to traditional ones, same with ZFS in some workloads
Ask HN: Anyone else find ChatGPT 3.5 a much better co-programmer than ChatGPT 4?
I always use ChatGPT 3.5 for assisting my coding because it seems to give much better answers, and is more willing to do what it is actually asked, than ChatGPT 4.

Anyone else having the same experience?
GPT-4 upgraded with new original thought capability module
I would add generating large financial reports, enterprise billing etc. There is a huge business effect between for example 2 hours needed to calculate monthly invoices and 24 hours.
That is a relatable worry.

On one hand, I do enough work that the price of Abelton (which is what I'd move to if that happened) isn't a big deal so unless there simply is no non-subscription tool I can use I'll be okay.

However, I remain hopeful. It's a 30 year old piece of software and my understanding of Apple's model for it is to drive hardware sales seems reasonable to me.
It's well within reasonable limits; assuming most of your karma comes from posts you've posted about 8 times a day on HN. Sounds about right for a social media platform.
If you had 10's thousands or millions of files, and several terabytes, is syncthing a good option for this?

I haven't seen a ton of great options unfortunately :/
TFA starts with "Vitamin D deficiency is widespread worldwide and is particularly common among cancer patients."

and concludes "in the summary of the ten studies with daily dosing, the researchers determined a statistically significant twelve percent reduction in cancer mortality."

So yes, not enough is bad, and many require supplementation to get to an ideal level. Nowhere was anyone proposing overdosing.
I can only guess but it can be a daunting prospect to get things portable. Could be their DAW abstraction or their graphics framework that causes them massive work. And let’s get real here. It’s not exactly a lucrative market. We charge much less on iOS than we do on desktop for several reasons (among them no method for resale). Yet when we launched on iOS people were shocked at our high prices (we’re not making yet another compressor or 3 band eq we’re doing complicated original stuff at the highest audio quality). We are just two people and want to make a modest income. (We would earn way way more in typical software jobs). So yeah I suspect it’s just not worth it to these larger companies. Especially with the Apple cut.
Honestly, why bother? Its hard to imagine it would amount to a good product.
TLDR; People are willing to pay high fees to get their meme art on the blockchain aka the blockchain is getting more popular therefore fees have gone up.

The issue here is that this meme art popularity has almost nothing to do with the bitcoin currency. My understanding is that the protocol has an allotted memory size and you can use that space however you choose, whether transactions or meme art or like Satoshi did on the first transaction, adding the message, "The Times 03/Jan/2009 Chancellor on brink of second bailout for banks." I assume that was to mimic how a person holds up the current day's newspaper in a photo to show its creation date is accurate.
Barq’s formerly had bottling in Louisiana (due to a franchising dispute with the MS originators)
Sure, if you scope the problem to Google.

How about having nobody track you? No companies, no governments, nobody. What does that look like?
Physics simulations are a great example of where there's obviously no need to do arithmetic in decimal rather than binary floating point.
The replacements I’m contemplating atm are:

MacBook -> steam deck and nreal air glasses

iPhone -> any Samsung with Dex

iPad -> a Boox Tab (I mostly use my tablet for reading pdfs and writing)
Looks like one of the authors has a working draft here: http://www.brycejdietrich.com/files/working_papers/dietrich_...
> ignoring the massive amount of labor they put in

I thought the whole point of permaculture was exploring tradeoffs between labour and space (i.e, that "yield per acre" of a small intensively managed gardening plot is surprisingly good, and conversely you can trade effort for yield with "forest garden" type stuff that requires less maintenance).
Heh, my calculations are always under, because I go "mortgage + utilities + let's say $5 for ramen a day" and miss a bunch of things.
The thing people don't realize is that we waste so much space and resources on useless crap.

1 hectate per person is easy to get in any suburban neighborhood if everyone can agree that a stable healthy food supply is more important than endless lawns or empty lots.

The resources are all there, we just grossly misallocate and squander them.
Oh heavens. An executive being held accountable for the negative externalities their incessant nudging is trying to push on other employees?

Unthinkable. That sort of accountability is only for those plebian workers.
The 80s were a weird decade. GM didn't want to give up vacuum lines, Ford had electronic fuel injection and little else, and Chrysler had those K-Cars that broke a lot, but they were at least cheap to fix.

Toyotas, Hondas and Volvos of that era lasted a long time, and it would have been simple to predict had you bothered to look. Simplicity + Robustness = Longevity. Because of that equation, the domestic long running vehicles are all pickup trucks.

The last era where we had any semblance of simplicity and reliability was probably the 2000s right up to the recession. Those cars and trucks were just the perfected versions of their 90s version. (Except Chrysler, it's best to avoid all era of Chrysler and I say this as former K-Car and Ram owner.)

Post recession we added turbos to everything. Then came CVTs and variable timing and a slew of new engines. And then came the slow and steady computerization and electric motor actuators for everything. The length of wiring harnesses exploded. Why does my car seat now weigh 300 pounds and have 1200 position settings and climate control, etc. etc.

Simplicity + Robustness = Longevity is true for any era.
Pilot: we can't take off due to bees

Passengers: have you tried turning it off then turning it back on again?
..or something else entirely
If I had a little more time I’d make a Twitter bot that used an LLM to extract unrelated / negative news from SEC filings and post it.
Is any of that actually bottlenecked by arithmetic rather than pointer chasing?
That, or Red Dawn