skysight-inc/HackerNews huggingface dataset:
>This is the thing that I'm finding difficulty with - the formal specification isn't an alternative to an informal specification; it should go along with one.

Why are you finding difficulty with that? Not having formal verification is an alternative to having a formal verification.

There ought to be a cost/benefit analysis applied to the tool - i.e. does the cost of writing and maintaining the formal specification pay for itself in terms of bugs caught. Does it have the potential to create new kinds of bugs? (I would argue yes).

The common belief is that it does bring value for certain types of code (rocket ships, maybe pacemakers? etc.), however very few people actually use it because for most applications a certain level of bugginess is perfectly fine. As a result, very few people actually have experience with it.

>Specification "by example" is, in my experience, almost guaranteed to result in missed cases or unspecified behaviors in uncommon situations.

Specification by example does mean missed cases, yes, but the missed cases will get caught by manual testers involved in the process of writing the examples, programmers while implementing the code or fuzz testing.

The dysfunctions I tend to see aren't edge case scenarios being missed altogether, but:

* Not involving programmers / testers who would spot the edge cases in the process of writing the examples. This is typically an organizational dysfunction.

* The programmer decides themselves what the correct behavior should be during edge cases without consulting the stakeholders.

* The PO/PM/Developers make poor decisions about overall architecture or intended edge case behavior. A large part of good system design involves constraining the number of inputs to a system so that the number of potential scenarios doesn't explode unmanageably.

The question I think formal verification has to answer is - does it actually bring any value if you are already doing all of those things or is it more of a performative ritual to ward off the bug spirits?
NiGHTS into Dreams was ported to PlayStation 2, and thence onto PC, PS3 and Xbox 360.

Technically Tomb Raider was out on Saturn in Europe a few weeks before PlayStation and PC, but that's really being silly.

Edit: Forgot I'd already mentioned Panzer Dragoon for PC elsewhere, but there was Sonic R for PC as well, as with Panzer Dragoon, later ports of Sonic R are based on the PC version AFAIK.
No, compilers may be able to vectorize basic loops, but they won't for example turn four adjacent additions into a vector addition.
give each engineer a budget of 256 bytes
What's worth mentioning is that shortwave offers much lower transfer latency than optic fibre so it's possible to establish faster cross-continental communication over radio than trans-oceanic optic fibre cables.
you're thinking way too much about the future instead of living in the moment.

try unplugging from the internet for a couple hours, days, weeks and maybe months.

it's either nihilistic optimism or that. i chose the former everyday.
Indeed about the founders. I'm sorry to hear you were fleeced. I highly recommend taking that monster out back and recreating our favorite scene from Office Space.

HP was once a great company that innovated and made incredible technology.

It was taken over by financial types in the late nineties. They sold off the test equipment core business and leaned into cost cutting. They excised any vestiges of integrity or quality wherever it could be found.
What difference does it make if they’re low paid or not?

If you want to sound reasonable, at least try to hide your contempt.

Better luck next time.
Given the site guidelines discourage voting based on agreement, I wonder what part of what I say is so fundamentally wrong and counter-productive it's not even worth responding to and actively detrimental to the conversation.

Is it that I say that monopolies can increase efficiency (e.g. Apple making their own chips and having their own stores)? Is it that companies often disrupt industries by pricing out competition at a loss before hiking prices? Is it that US broadband providers often operate in effective monopoly positions? Is it that Starlink can be disruptive to those monopolies? Is it that it's rational to expect SpaceX to want to be the new monopoly rather than being stuck in permanent competition?

Heck, I literally use Starlink because cable wasn't available and I didn't want to pay for copper until we'll be connected to fiber hopefully later this year. I'm not arguing Starlink isn't useful to consumers in the short term or that there aren't legitimate use cases that can't be equally served by other existing technologies. That doesn't mean there aren't obvious problems with it.
We should submit a PR
Julian Assange has been granted leave to appeal extradition to the US
also maybe try spending more time with your family and friends.

if you don't have one, make one.

if you have one but you dread them, find better ones.

if you were unable to see nor read or if you were born in a different country will you have the same exact worries? you're probably taking for granted a lot of things in your life now that other people would fight and die for.
Tapping into both my own uni graphics design and a past life as senior exec at a mega corp: because designers that use bad tools to make unusable presentations are failing "you had one job", to make something presentable across the variety of business modalities.

Being able to email the presentation and copy text from it are generally more important to communications impact and utility in the workplace than how it looks.

Being aware what your tool does to the presentation is part of the job you're learning in school.
The answer is "always no" because the question is inherently underspecified, precisely because importing things into Excel is more complicated and context-dependent than it appears on the surface.
I rarely follow intra-israeli politics; is this a real whole-society row, or just a problem for Likud?
They did well so far. It's healthy to challenge the idea that things need to keep expanding forever.

Another great project like that is http://reaper.fm/ and I hope they'll never move from the "pay once for current and current+1 version" which is both providing future income and is not a subscription.
On the contrary, lack of storage is a huge limitation on installations. This may not be worth optimising 50MB to 30MB, but optimising 500MB to 300MB would be very impactful to installation rate.

People love taking photos on their phones, they love big games, and Apple are notoriously stingy with storage space and iCloud storage to ship off device. It is a very significant portion of the population who are borderline out of storage all the time. I work quite closely to this sort of stuff on a regular basis.
You don’t even need to write a macro. Excel’s Import Text Wizard will allow you to assign data type to each column at the time of import.
When in doubt, it's because "men".

Sure, sex sells, but no one is forcing them to stream themselves in bikinis for money. It's time to stop blaming every societary ill on men and their biology. In a consensual monetary transaction, there are always two parties.
And the solution to end slavery is to reduce the maximum allowed enslavement length - I man to outlaw it. But in the short term that doesn't mean you shouldn't run away and ensure your own freedom instead of waiting for something that likely won't happen in your lifetime.
It's more about the dollar losing its status of default global currency in the long run, with more and more emerging countries growing increasingly defiant and worried about these questions and with the sanctions pushing Russia away from US/EU banks/tech/services it's natural that they'll start thinking more seriously about building alternatives on their side.

I don't care about foreign investors, I don't care much about the US either, but if the dollar continues to lose relevance (albeit very slowly, but increasingly faster) you have to wonder what will the far future bring.

It's more of a though experiment than anything for me, I'm just curious about how all of this will end in 50-100 years
There's a difference between "1" and 1.
When you import a csv and try to do maths on a "number" you won't get the expected result. Some importers won't even allow you to specify that "number" columns are numbers, they'll outright fail and force you to say it's a string, or you'll have to specify which columns are "numbers" and map the strings to numbers on the importer side.

If they are numbers to begin with (not "numbers"), you can just import the csv and you'll get the expected result out of the box.

In the end things are just 1s and 0s, but that doesn't mean we only ever do binary operations on data at the abstraction layer we humans operate, so saying it's just 0s and 1s or just strings is not very smart.
I have sometimes distributed a CSV file with a similarly-named text file that contains key-value pairs to aid in the use of the CSV file.

A minimal text file of this type would contain:

#key=value
sep=;
TTFB role in the overall time to a usable web page has dramatically decreased. Instead of being the primary driver in display of mostly static sites, the role is smaller now due to the increased compilation/execution time of client code.
> only bridges that "barely" stand are economically viable

That really depends on what is counted as part of the economy and who is doing the valuing.
There is another video where we can see two power outage occurred. Ship was uncontrollable but with enormous amount of inertia.

I'm sure captain tried to do anything he can to avoid collision.
Then bugs in the process need to be aggressively fixed, with liability for damages caused.
These gene names are human readable strings, not concept unique identifiers. We in bioinformatics / comp bio world strongly encourage the use of ncbi or ensmbl gene IDs. In general it is bad practice to use human readable “names” of things as a primary indexing key.
Interlisp/Medley has a fully Lisp-based GUI, complete with substantial example apps, and it's all FOSS now.

https://www.theregister.com/2023/11/23/medley_interlisp_revi...

I'd love to see some kind of shim to run Medley on top of SBCL, rather than its own VM.

If you are trying to attract people to your programming language in 2024, I'm afraid that Emacs is not tempting bait, no matter how good the integration. It appeals to very niche tastes.
If you're going to be dropped into water, heavy clothing is probably very much not what you want.
Here are the week's GenAI/ AI/ Tech updates.

Despite holidays worldwide, the pace of development keeps up.

- Novel Ways of Building Foundation Models by Sakana AI
- Google’s VLOGGER
- Mind-control (like sci-fi, but reality) by Neuralink
- Some Rumors cooking

Stay up to date here: https://lnkd.in/ex3c2ZjZ

#generativeai #tech #robots #gpt5 #agi
There is this often in HN featured article about bridge engineer analysing bridge collapses in film [1]. It’s about suspension bridges though but the takeaway for me was that when they go they go completely.

[1] https://hackaday.com/2015/11/18/suspension-bridges-of-disbel...
> ..what you will find there

Made me laugh, especially since you can’t “see” them.

In fact, that was maybe an oversight when ASCII was designed, but maybe there was a reason for that. If they were visible, and were actually recognizable as separator types then people would know them better.

https://www.lammertbies.nl/comm/info/ascii-characters
this is great, I am currently working on making a kit that teaches people how an electric vehicle works.

- all core concepts explained on one board

- no dangerous electricity when learning

- no soldering required

- parts of the kit can later be re-used in a real EV conversion

I built some custom EVs myself and drove 20k miles with them and am sharing my knowledge :)

Sketches on the kit include:

- BMS sample exercises

- Three-phase A/C motor control (all modern cars have A/C motors)

- Precharge inverter circuit

- ...

I got a KiCAD board mockup and am putting a landing page together for pre-orders.

If anyone is interested in talking about this, please(!) drop me a line on:

hello@foxev.io

as I am looking for early adopters who would be interested in something like this and give feedback.
This country?
> there's no way that the hardware aspect of this project is worth making over that.

Well making it yourself would allow it to customize it to your needs. I though about creating something to hang below my monitor. That way it will not take any desk real-estate.

If you buy a chip with pins you don't even need to solder, just use female to female dupont.

Of course buying a midi controller is a valid option. I would just not say there is "no way" creating it yourself is not worth it.
It's not just a question of individual research groups deciding to use a different tool.

Even if you're conscientious enough to handle this issue, the automatic conversion could come and cause you problems from anyone you share data with: medical teams, grad students, administrators...
Whats a lie exactly? My claim that a lot of people (I guess you could call them "progressive") believe in this myth? Because the post above clearly shows that it is true.
Here is what I expect that to look like: https://youtu.be/LFlFIG22Y9E

This movie was released in 1985. At that time, a dystopian scenario like this was far out. In 2024 I don't think it's very far out—it's on the horizon.
Interesting! I didn't realise this, however on balance I think I'm still happy with my purchase. Also looking into it, business licences (minimum of 2 pack purchase) can still be activated offline, just in case that is useful to anyone https://forum.affinity.serif.com/index.php?/topic/188396-off...
Same in German. We have things like 1.500.021,92 (I.e. 1,500,021.92)
Jokes like this were written for all languages ever made and all over the web.
> Maybe it's for the best I don't have to compete with investors from shady countries to buy myself an apartment in London

Oh yeah for sure, I'm more thinking about the global economy than real estate. imho foreigners shouldn't be able to buy real estate unless they actually live in the country in the first place

But look at gas for example, EU used to buy it straight from Russia, now Russia sells it to India, which sells it to EU and take a cut on top: Russia didn't lose anything, India gains from it, the EU gets the same good at a higher price.
> I just don't think your use case of "I want to capture the Python from Xcode in my dev env so it's resilient to changes and upgrades" is something anyone wants (or should want) to do.

Then you are wrong. Simple as that. I’m describing a very real scenario.

> Do you really want to ship on that version?

Holy moly, is it really that hard to understand the difference between wanting and having to? For the use case, and older version in a consistent place which is easy to install is the best solution.

> Are you asking your users to install Xcode?

Triggering an Xcode CLI tools installation is simple and done graphically. And it’s one step removed from installing Homebrew or pyenv, which both need them (even for the scripted installation, pyenv requires git).

> In other words: when are you forced to use Xcode's Python for development, and why would that be a good idea?

See, for a moment there you understood it’s about users, not just your own dev environment, but then went back. Unfortunately, after this conversation with you two I no longer have the energy to go through it in detail in an uphill explanation. Another time, maybe.
Can not confirm. On my windows I often regulate the volume between ~20 - ~80%
The median household income in California is $92k. The top 1% is $844k. $400k is definitely pretty rich, but it's interesting how many wealthy Americans resolutely deny that they fall into this category.
The example you show has integer division and multiplication.

SSE or AVX instructions don't have an integer division instruction so neither GCC or Clang will emit SIMD code for the division.

For the multiplication you need to bump up GCC to `-O3` optimization to get SIMD instruction but Clang will give the correct answer even on `-O2`. Both emit a `vpmullq` instruction.

At a general level, I agree with you: when writing SIMD code you need to keep an eye on your benchmark results and/or the compiler generated assembly. Typically you're doing some optimization work when working with SIMD so keeping a close eye one the performance is a good idea anyways.
I'm really annoyed that even Open/LibreOffice copied this crap behaviour.

I try to avoid spreadsheets. I won't use them unless there's calculations to be done.

When I do use them, the first thing when I create a new sheet is to select all cells and set it to text. It's probably a bad habit, but it's the only way to avoid future frustration and mistakes.
> Reading AI shit every single day [..] is driving me insane

You've got the solution to your problem in that phrase
According to Goldstein, The Theory and Practice of Oligarchical Collectivism (appearing in [Orwell49]), there are two possible governing coalitions in any society: Low+High (vs Middle) or Low+Middle (vs High).

If both Low and Middle were to agree the High ought be taxed, it would be to the High's advantage to stoke culture wars between Low and Middle in an effort to ensure the first coalition.
Not even the first time :) https://news.ycombinator.com/item?id=26645019
Can't help you with a list.

But https://hackaday.com/ features sometimes nice DIY project, I often also see them popping up on youtube. But you might be able to find some if you search on 3D printing websites such as https://www.printables.com/
Here is the old archived blog post where x264 team answered in the comments why they do it that way.
https://web.archive.org/web/20091223024333/http://x264dev.mu...
If you don't have a lot of images, you can go over them all manually and write the "please invert me" request directly into the filename.

CSS:

img[src^="/images/invertable"] {
filter: hue-rotate(180deg) invert(1);
}

Now all image names starting with "invertable" will be inverted.
myself i'm partial to rose trees

rather than

(set (aref a i) (+ i j))

you have

set(aref(a i) +(i j))

and no difference between i and i(), and only one type of node, with a tag and zero or more kids, instead of separate node types for having kids and having tags

the rose tree model feels like a slightly closer fit to the needs of abstract syntax trees, and although it isn't simpler than sexps, it isn't more complicated either

another possibility is the ml approach where juxtaposition denotes function application but the functions are curried so they only ever take a single argument, which usually looks exactly the same as sexps but conceptually associates the other way

set (aref a i) (+ i j)

the only difference is that this is equivalent, which i think is worse in this context:

set ((aref a) i) ((+ i) j)

(note that ml only uses this approach for expressions to evaluate. for data, such as asts, it uses the rose tree approach)

regardless, the semantics are a lot more important than the syntax
Total solar eclipse in 2017 linked to brief rise in traffic accidents
Apparently, “sometimes you don’t have a choice” is a foreign language.

— Hey, so you know how we have this requirement, which came about after years of dealing with and understanding a problem and the available solutions?

— Yes, what about it?

— Well, a random commenter on Hacker News who has zero context of the problem has suggested we use a method we already found inadequate for our specific use case.

— Oh wow, in that case let’s replace the whole system right now.
Because they'll go somewhere else, and probably use some other currency, which will weaken the dollar in the long run and god knows what will happens once the US loses its de facto world bank status. This is not the straw that will break the camel's back yet, we're probably far from that, but it's one more event that goes in this direction.
Bridges only last for roughly 50 years. Considering such collisions are rare enough to make the news as a memorable event you can workout for yourself that the odds are quite low over a bridges lifespan.

They are designed to withstand smaller boat impacts because they occur relatively frequently, but cost vs benefit on rare events that are difficult to mitigate is quite different.
>, but optimising 500MB to 300MB would be very impactful to installation rate. [...] It is a very significant portion of the population who are borderline out of storage all the time. I work quite closely to this sort of stuff on a regular basis.

Does Apple send telemetry information back to developers about failed app installs due to users' device being out of space?

I don't have a current Apple Developer account to test this but the documentation doesn't have any obvious statistic concerning failed installs: https://developer.apple.com/help/app-store-connect/view-app-....

EDIT reply to: >I don't think there's any special permissions required to get free disk space, so presumably he's getting it via telemetry from his app.

I was thinking of new users who didn't have the app at all.

E.g. hypothetical... "We're a brand new YC tech startup. Our app is 500 MB. This bloated size prevents 20% of potential new users from installing the app." <-- Does Apple provide enough stats to make that type of confident correlation?
Calm down, this was passed a few months ago.

You do realize people don't keep up with the ballot initiatives in every state on every election. And that there is an overwhelm stream of information to digest?

I was in Ohio just a year ago and it did seem radical, and that was first person observation. So not a huge 'contempt before investigation'. But, to be fair, I was in the countryside, and I did not run my own state wide Gallup Poll.
Fujitsu set to be preferred bidder in UK digital ID scheme
Maybe an Elgato StreamDeck +?
I get what you mean and appreciate the help, unfortunately that really doesn't mean anything to me.

I won't be able to help my family anymore, not that where I came from, not the one I'd liked to build with my fiancee. I won't be able to provide anymore, I won't mean anything anymore as a human. The significance of an individual is already so brittle when taken out of every relationship with others that it takes very little to be left with meaning nothing at all.

> if you were unable to see nor read or if you were born in a different country will you have the same exact worries? you're probably taking for granted a lot of things in your life now that other people would fight and die for.

"Why are you complaining about your leg being cut off and bleeding, if there are people out there who were born without legs at all?" This kind of retorts go nowhere and just serve as an apathetic response to any event that can happen in life. I won't have that. I'll simply choose violence, and since nobody deserves to be hurt by anyone's else anger, I'll simply redirect it towards myself and reject the world that is going to come. That's taking action.
We should not accept this at the end goal though. Libraries were needed when there were physical things you had to store that were impractical to have in every home and could only be duplicated with significan effort and cost.

In the digital age it's absurd to say that we should have to rely on public libraries to access our culture when we have the means for everyone to have their own personal library in their pocket.

It doesn't help that libraries that do carry digital content have fully embraced DRM, thus giving a pretense of legitimacy to anti-user technologies and absurd laws that give them teeth and thereby weakening attempts to correct problem.
> If you just ignore the problem, it'll go away

If only that was so simple