skysight-inc/HackerNews huggingface dataset:
Thanks. The intended tone of my comment was to be factual and direct, not to be derogatory. Pointing out a mistake is certainly not the equivalent of calling someone stupid.

I also agree that sometimes it's a mistake to use a language that may later turn out not to be powerful enough. Consider ugly build-system languages that were once fully declarative but had to evolve imperative features to cope with difficult cases. They would have been better off using something like Python from the start.
Yes, .NET Orleans, also referred to as Microsoft Orleans
Preconditions and postconditions seem like the wrong way to go about solving the issue they try to solve. They are essentially a secondary type system that tries to express information not expressed by the primary type system in a way that is awkwardly disconnected from the primary type system. You could instead just implement the functionality needed to incorporate that information into the primary type system. In practice this would result in an implementation of dependent types, which is fine.
I suspect so too and again, their thinking is obviously incorrect. Those sediments and yuckies were all taken out of the hot water supply, but passed right through to the faucet on the cold side.

Every time I drain my water heater, I dumped a bunch of sediment and yuckies down the drain that otherwise would have been in me, if I were drinking from the hot side rather than the cold.

The logic you’re describing is like looking at a gross filter you’re replacing and saying “look at all this junk in the filter, I’m never filtering my drinking water again!”

Filters look gross when you replace them for the exact same reason that hot water tank is full of sediment. It removed them.
“The primary source of data was interviews conducted with 15 people…”
The second E is usually Extend. Where'd you see one about Engulf?
> we no longer trust developers as much and we are re-introducing the complexity that we were fighting

Says who? Or is it: we're way past the toy stage of web apps with their trivial CRUD forms, so the code base grows, complexity is unavoidable, and untyped languages are a bad choice under those conditions?

> Java did not even have generics.

Java got generics in 2004 (when the author was 15?).

> The core principles of [using typing] have not altered: types add value and they add cost.

And that's the conclusion? I'm flabbergasted.
If so, it would be more humane to cut them down as quickly as possible so as to minimize their suffering. I recommend C4.
I’ve used Ada. I’ve not used Rust beyond a few hello world type programs. Personally, I like Ada quite a bit, and I really do like Spark. But I think that Ada and Rust are aiming at similar problems in entirely different ways. One of the key design choices in Ada was to emphasize maintainability. Rust’s answer was to emphasize memory safety. While the Ada compiler does quite a few safety checks, these aren’t part of the spec so that will vary by compiler. I am not sure that direct comparisons between the two languages are entirely useful. Ada is used for things like cruise missiles and jets. Rust is used for things like browsers and reimplementing GNU. Both are important, but they aren’t exactly similar.
WorkTiles | Founding Fullstack Engineer | Remote (Sweden) | Full time

I'm seeking an engineer who will help me drive tech and product at WorkTiles. WorkTiles is a B2B SaaS collaboration tool designed to help companies organize, perform, and improve their monthly closing and consolidation process. (Think Linear but for finance/accounting)

See more here https://www.linkedin.com/jobs/view/3770164426

Or just reach out to me directly if you have any questions at adam at worktiles.se
I saw some poi that worked like that. The performer did a very good show with them
Would I hallucinate code in my dream better than an LLM?
I think Forbes runs their site somewhat like substack, where citizen-journalists/bloggers can start a newsletter sub-site on their platform.
ZFS Workload Tuning: PostgreSQL
That’s how Dagger works. You use Dagger to make those building blocks cleaner, faster, and more portable. Then you can run them directly, or from your favorite CI configuration.
If the admins using your project are sys admins, they seem to prefer yaml. Shrug.

I hesitated posting just because I had a feeling this would not make sense. The project is for super computers and so it’s niche for the admins since they are overburdened at their centers and don’t have time or sometimes the expertise to role their own JavaScript to do advanced things with a form that is then used on the backend to submit jobs to clusters and apps on HPC systems.

But this is a niche. My perception of the web dev space is it’s a mess and often has endless debates that do nothing for users, and much of the mess and debate centers around JS, a language that is the only choice (a monopoly) which then claims to be a great choice (how is that choice? Seriously, I’ve never understood that statement).
I mean, I just the last hour setup the deepseek-coder-6.7B-instruct-GGUF model on my computer and tried it out with llama.cpp. It is maybe free ChatGTP level.

If I could have run this when I was a student it would have been a real killer app. It is kinda impressive that I can run it on a crappy laptop.

I some way this is also really scary, job wise. I would not recommend anyone getting into the programmer fields after the last years progress in these tools.

But at least they will not be locked up to "OpenAI"'s servers ...

I wonder if there could be a community effort doing model training, like the protein folding? If 30 000 computers ran some model training while not being used, would that be enough to get anywhere?
I am not sure about Putin, but Zelensky definitely will stay in Ukrainian history in the magnitude of Hitler in German history!
The second list only matters once you've checked the correct box. If you go to a .NET shop and say "I've never used Microsoft products before but I'm a quick learner, look at these haskell projects" your resume is going in the bit bucket.

with the exception being if they have some constraint that means you are the only person applying to the job, e.g. they want you onsite 5 days a week in the middle of nowhere and you're the only person willing to move out there
Does GTK give me KDE's window decorations when running on a KDE desktop or does it look "alien"? Does every Linux desktop setup that runs Wayland have GTK libs installed? Last I checked these were the main show stoppers when linking against a specific widget framework on Linux. There's no least common system standard like on Windows or macOS (X11 was that standard, but oh well...)
DDS: an amazing peer to peer data centric pub-sub midddleware.
I also share their idea about reallocation of programming resource away from big corporations.

There is so much bullshit empire building in our industry that serves only to waste talent. Small teams working on problems that need tech but can’t normally afford it should hopefully deliver something akin to a productivity shot in the arm across industries.
https://githubnext.com/projects/code-brushes/

You select some code and apply a brush and it'll use a preset prompt to modify it: "Make Readable", "Add Types", "Document" are some of the options.
Copilot has a pretty poor implementation, and mostly they just butcher your code - but they seem very powerful, especially with custom brushes.
So far AI was great in generating awe-inspiring outputs and fail on realism. I've been to Cappadocia and the photos of the photographer don't represent the reality of Cappadocia at all, they are all heavily stylised and what's lost is the awe to this stylisation.

IMHO Artists really need to embrace these new tools the way they embraced digitalisation and thrived.

You can tell that there's a plenty of room for artists as the nerdy types keep pumping out of the mill AI content that is only interesting in the context that it is AI.

The swagged pope image for example, is an example of good use of the tech for art(I know, may will disagree but consider the impact of that image on the culture).

My problem with the generative AI tools is strictly with the economical problems they might create to the artists who might lost the opportunity to be compensated for the art they already produced(because their business landscape was designed with the assumption that it's impossible to do what AI does today) and used in the development(training) of these tools. Other than that, it's just another toolset and it creates ample opportunities.
Technically, anything you could ever write in any [programmed or spoken] language is some sort of remix of existing tokens.
> better, faster and cheaper

Better is subjective, faster - in my opinion - is no longer as much of a factor with even cheap modern phones unless you're doing something like AR. Not sure how you can build two native apps for cheaper though.

Jank... I agree there a little. I would say most of it can easily be avoided though if you've got developers who have native experience and know what they're looking at.
This seems almost like you're framing an observation "in the consumer realm it has lost" as some moral failing and feels in dangerously bad faith. What's the point? Do you really want to willfully ignore the artists using Procreate a closed source iOS app, the chip designers using proprietary EDA tools, the DJs using proprietary DJ software like Serrato, the musicians using proprietary DAWs like Ableton?

If anything, it's the creatives who use more proprietary software than the folks doing generic office work that can get away using LibreOffice and read PDFs using evince.
Here's one example: Today I used GPT-4 to write documentation for a Neovim plugin: https://github.com/Robitx/gp.nvim/pull/72/files

It may be a fancy Markov chain, but it seems to have understood the code it documented.
or your unnecessary apostrophe in it's
Disaster is to read this site from phone. It is horrible.
> The front-end meme developers in this thread are absolutely seething over this post but it's a good point.

Are they actually seething? I've read the top comments on this post and don't see much that I'd describe as seething, just some people who bring up valid points about browser support.
In these scenarios the company selling product should offer either full refund, or the price the product is being sold with in some other store so the customers are made whole.
I uninstalled Discord when they transitioned the Android version to the React Native version. It was such a drop in performance and stability, it was unbearable. Less distractions on my phone at least!
I’m not super familiar with Go generics, but would it be able to express the kind of constraints you’d typically want for a heap, namely that the elements are comparable in some way?
You can try checking https://threefold.io/ completely decentralized cloud infrastructure and they are seeking funding
>it's just blockbuster clip art

Well said, op
> I think there is a risk that someone becomes overly enamored with the generative process, and just creates something that is solely an outcome of that generative process.

I agree with that entirely. That is already happening at a concerningly rapid pace with little in its way and will only speed up.
Doesn’t every additional infection also reduce the likelihood of you getting it again or even noticing you got it as it gets milder?

If I hadn't tested I would not have guessed that the mild cold I just got was my second covid infection. My first covid infection was quite bad even with 3 vaccinations.
In my experience, apps rewritten in Flutter are janky, to the point where I can spot them a mile off - especially in animations/transitions and fake native widgets (based on a sample of 2 apps which I use often and have been rewritten in Flutter recently: Philips Hue and EE mobile network).

Same can also be true of RN (or native!) of course, and I’m sure with enough work the apps in question could be made slicker and it probably wasn’t a priority; but they’re both developed by large companies and to me as an iOS user, feel pretty bad compared to their previous native implementation, so Flutter is definitely not a magic bullet.
It's really cool, I am amazed what these modern chat bots can do. They feel so real. Great work!
All things are never equal, so this isn’t particularly relevant or useful.
True, from what I can tell, Meta is more interested in moderating different political views, than it is moderating child pornography.
Covid over? Not a chance. Still here, still contagious as ever. Media brainwashing may be over, wealth transfer maybe over - Covid no. I have had it 3 times. Every time around 5 days after an international flight with no mask. Mask for me in future and maybe even in the supermarket.Five days in bed I can not afford!
Show HN: ThreeFold – Decentralized Cloud Infrastructure
We built it from the ground up, minimal Linux based operating system (written in go and rust), messaging system written in rust and infrastructure as code support (terraform and pulumi)

There is even a dashboard, and a playground UI to manage it (that you can even run yourself) . Beautifully decentralized, you have full control of everything, you can deploy on your own servers if the cost of the cloud is too much. You can even run the whole system yourself if you want to.

Here is a link to documentation https://manual.grid.tf/

Also, we are honored if it piqued your interest, and would love to support your testing journey free of charge.
For me personally, I think the update is fine and the old version was fine.

It’s just harder for me to get significantly worked up over small changes that cause no major inconvenience than most people on HN. I can’t control it so why complain about it or even think about it?
>they conclude that we should move back to old mechanical systems. But mechanical systems are not always more reliable.

In general I agree, but I worry this glosses over the subtle cases in the middle.

In a non-zero number of cases, the only reason electronics are "superior" to mechanical solutions is precisely because it's easy to enforce proprietary restrictions. In this subset of cases, it is proper to replace the electronic solution with a (here, superior) mechanical one.
.
If you have a large gov contract for incinerating the poor, this is the OS for you...
With those you know you are not buying them, but getting subscription. Like any other digital subscription they offer access to large library of products for pretty reasonable price.

Then again a digital newspaper subscription be a scam as well if they did not offer you full permanent access to all issues released during time you subscribed.
I think by most definitions LLMs can definitely create new things.

As much as I can create new things by cobbling together open source projects and answers on stack overflow at least.
I did the dwarf song (Far over the misty mountains)
Flutter is React Native jank times two because it tries to render the entire UI itself.

MAUI has just gone through a rough migration from Xamarin and has some maturing to do, and developers are feeling neglected by Microsoft.

Cordova is Electron for phones - just do a PWA.

Kotlin multiplatform is good, but the Compose multiplatform has only Alpha support for iOS.
You can see the SKPP certification requirements here: https://www.commoncriteriaportal.org/files/ppfiles/pp_skpp_h...

You can see the Security Target specification and how it conforms here: https://www.commoncriteriaportal.org/files/epfiles/st_vid103...

You can see the certification report here: https://www.commoncriteriaportal.org/files/epfiles/st_vid103...

Of note in the certification requirements are:

"For example, SKPP separation mechanisms, when integrated within a high assurance security architecture, are appropriate to support critical security policies for the Department of Defense (DoD), Intelligence Community, the Department of Homeland Security, Federal Aviation Administration, and industrial sectors such as finance and manufacturing."

AVA_VLA_EXP.4 Highly Resistant on page 116:

"The NSA evaluator shall perform an independent vulnerability analysis."

"The NSA evaluator shall perform independent penetration testing."

"The NSA evaluator shall determine that the TOE is resistant to penetration attacks performed by an attacker possessing a high attack potential."

First party NSA penetration test and analysis certifying it is appropriate for critical DoD systems. Note that the system is used on the F-35.

ADV_FSP_EXP.4 Formal Functional Specification on page 92:

"The developer shall provide a formal presentation of the functional specification of the TSF." Formal specification of the code.

"The evaluator shall determine that the functional specification is an accurate and complete instantiation of the TOE security functional requirements." Formal specification matches the requirements.

ADV_IMP_EXP.3 Structured Implementation of the TSF on page 93:

"The developer shall make available, the implementation representation for the entire TSF."
Full source code provided to evaluator.

"The implementation representation shall unambiguously define the TSF to a level of detail such that the TSF can be generated without further design decisions."
Source -> Binary translation is verified.
The headline is just cherry-picking data to imply an incorrect conclusion.

The stronger facts are:

1) Toyotas are more reliable than Teslas.

2) The first model year of any vehicle is less reliable than subsequent model years.

Any conclusion about electric vehicles vs gasoline or hybrid vehicles is lost in the noise once you remove those two factors.

Or saying the same thing more politically: the variation between models is a lot higher than the variation between model types. You cannot draw any conclusion about model types, you can only draw a conclusion about specific models.
Retinal cells that help stabilize our world view
Please check your keybase
The skepticism in the comments makes me even more bullish for this revolution.
Wow; that interview segment does not make Musk look good at all.
I'm a UX designer who has worked at large online brands for the last 15 years and I completely agree with this. For all the millions companies spend on "analytics", they have no ability to measure the effect of any given design intervention over anything more than the duration of a test. So they don't care - because they can't.

As a designer, you have to accept that. If a design you know customers hate has shown a positive effect for the business (and no, they don't re-test these things - it's first past the post my friends), then that design is there to stay. You can try your best to persuade everyone otherwise, but only the law courts can save you.

This, along with the usually quite early realisation that the people you work for couldn't tell a good design if it exploded in their custard, is probably about the worst thing about working as a designer in a commercial context. Just about.
Lack of SR-IOV is mentioned in the article.
Correct. Copyright infringement is... infringement. Not piracy or stealing.

People treat infringement with more of a Robin Hood mentality than normal stealing since you're copying rather than taking, and because big Intellectual Property Owners all happen to be tax cheats who all do fraudulent accounting to claim their profits all come from their Irish subsidiary yet feel entitled to government enforced monopolies on intellectual property.

You generally get sympathy if you're poor and infringing or being infringed, and don't if you're rich.
Doesn't Firefox use Quantum now? Gecko is what used XUL and it was buried when they switched to WebExtensions.

Pale Moon uses a fork of Gecko called Goanna.

SerenityOS has an independent browser in the works, and netsurf is still around.

There are options, but people have put most of their eggs into two baskets and now we're stuck with things looking mostly the same but some have antifeatures.

I want a browser with uBO's functionality simply built in. Fuck your extensions or other attempts to endrun, Google. Stop it at the source and build request filtering into browsers directly.
I wore P100 and FFP3 elastomeric respirators at various times pre-vaccine during the pandemic in California and Europe, as did several of my relatives. Places that understood the problem did care, and many hospitals and medical centres did not allow them for specifically this reason, for example; some accepted them if they were modified to have a filter over the vent, others did not. Most would tell you in advance, but some would not. I came to carry non-vent FFP2s with me as a result, particularly after being harassed by the TSA over it (I suppose they didn't have anything better to do, as I was literally the only passenger going through security at the time, in a major international terminal).

With that said, views on higher spec masks were very arbitrary throughout the pandemic. In one particularly weird case, my partner left a state-run testing centre in Ireland when she arrived with an FFP3 respirator and the staff demanded that she and everyone else wait in poorly ventilated spaces while wearing loose fitting surgical masks they provided because then everyone could be confident everyone was wearing the same masks...
Yeah, that's what I was trying to indicate with the quotations. But thanks for adding the note.
Other than coding assistant, ChatGPT is awesome at answering to everyday questions where you previously had to find the answer in ad-bloated content farms.

Things like "how to do this", "how does this work", questions about medicine, DIY, etc …

And contrary to the content farm internet, it allows you to have a real conversation to give you more précise information.

Is it 100% accurate ? I think not. But it’s trained on nearly all the books about all the topics so I put a lot more trust on this than on SEO optimized content farms.

The best way to chat with it is to think that you are talking to someone who have read and remembered everything with an endless knowledge of everything but who acts as an faillible human when you speak with it.
I think there’s value in talking extensively to 15 people and writing a paper reflecting on their different human experiences. The paper even handily posits a hypothesis on the role of boredom in everyone’s life.
except for that damned ledger. cash has the advantage of being much harder to trace. (I won't go as far as to say traceless, as the bills serial numbers could be recorded at scale.) A digital record of every transaction made is the DEA and IRS' wet dream. Mixers exist but don't address the underlying issue.
Thank you for posting this. I was daunted by the jargon in the abstract, and came here to see if it was going to be worth my time.
This seems to be why people naturally default to sing-song when speaking to babies.
Not getting into programming because anyone can use an LLM to do programming does not suddenly fill the productivity needs in an absolute sense. People can do more with less which also means we will quickly raise the demand for the new things we need to do.
I feel quite strongly that LLMs are not a fad. Something like LLMs will be useful tools to people decades from now. Especially given that a whole generation of students is now using/relying on them for course work.

Even if we want to call them sophisticated autocomplete, why would I ever switch back to a dumb autocomplete?
You can get some deals if you buy used cars with some problems to to fix. I see a bunch of cars on facebook marketplace (i miss old school Craigslist) that are about 1k that need repairs of various sorts.

Now is a really good time as winter is here and people need their driveway space back.

Cash for clunkers and covid, what a one two punch for the used car market. Might be a decade before things stabilize.
It may be more typing but I can write SQL in my sleep whereas the git CLI I cannot.

Though if I regularly needed the information that this tool retrieves I would probably have memorized the relevant CLI commands by now.
Unfortunate name, given that GraphQL already exists.

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