skysight-inc/HackerNews huggingface dataset:
Well when people say "Ada" they usually mean SPARK not old or feature limited version of Ada.

-Spark do verify contract using static analysis and proof.
-While Ada is not as memory safe as Rust it's a lot more memory safe than popular languages.
-Its one of the easiest languages to get compliance with safety standard DO-178C or DO-333 ...
I can do that. It is like a roar at the loudest point I can manage. A light effort sounds a lot like the ship thruster sound in Asteroids.

I find I can clench the muscle, but can only and occasionally relax the thing.

When I do clench, my ear response curve in the midrange, say 800Hz to a few KHz, is improved.

Have a fan handy? Try it and listen. You may hear a lot more from that fan.
Supposedly. In my readings the evidence is thin on this oft-repeated claim.
- Update code in iOS, Android, React

- Most of that work is just maintaining fidelity between the platforms

- Forever

- Likely unpaid

- The primary beneficiaries of your work are two of the biggest companies in the world

- Not be appreciated anyways

Takes a very specific kind of person to do it.
What are the long block quotes in that story? They seem to be written by Parfit but switch between speaking of him in 1st and 3rd person.
SEEKING WORK | REMOTE | Worldwide availability (EU based)

Technologies: Swift (iOS), Kotlin (Android), Dart, Java, Python (Django), Docker, Stripe, Vue.js

Small team; worked in top-tier companies (Google, Amazon). We develop custom software solutions for enterprises, including mobile and web applications. From concept to deployment and maintenance, we can help.

Contact: info {at} paleblueapps.com
I haven't looked under the covers much to see how it works, but you can try it out at https://identity.stripedemos.com/
My feelings are probably dated. Back when Drush was first a thing, it needed su for some of its tricks, which was . . well, back in the pre-containerization days . . insane. There were a LOT of emergency updates we had to do purely to keep Drush running and safe.

Speaking more broadly, Drupal was also seen less as a "framework" and more of a straight "CMS", so the idea of a CMS needing a CLI was, then, a bit of a "Huh?". CMSs were regarded, at the time, as the thing you set up so the secretaries and executive assistants could update the website. Of course, in the decade and a half since then, we've seen how CMSs inevitably grow into pseudo-frameworks.

We also have a better grasp, today, on just how complicated the functionality of a CMS actually is, laying as it does across the intersection of natural and formal languages. A linguistics specialist could have predicted this, or even a dedicated data scientist, but the content world is shockingly bereft of linguistic specialists among its spec writers and practitioners. DITA - to abuse one single example - arose almost entirely from pedagogical academics, with no input from linguistics, computational or otherwise. And DITA is actually kinda-sorta planned. The various MIL-STD content specifications - 48 and counting, not including the bespoke USN things - don't arise from anything, they're just eternal flypaper for whatever contract items get thrown at them, plus golden gimmes from the blessed vendors.
Impossible to find? You don’t have salary info on that listing and a quick google shows that your salaries are something like half what I’m making as a remote RN engineer. Very unlikely that it’s because of RN.
UAW Launches Largest Organizing Drive in Modern American History
I can fund a project and provide financial advices. Any great idea out there?
I certainly wouldn't agree with that at all. And I don't see what a "degree in CS" has to do with anything.
All things being equal, no. It's the language.
I think the point is that a cold water line is easily flushed before use, and it's less likely to breed or incubate biologics.

I wouldn't call water standing in accumulated scale and sediment "clean" any more than I'd prefer to drink from a stagnant pool than a stream!
Nope. Javascript means that if it fails then it completely fails and the content is not there at all. While the HTML examples may not look correct in older browsers, the actual content will be there. With JS it's just nothing. Nothing at all. It completely breaks accessibility. With HTML my screenreader can at least still read it. JS generated content prevents this.

No amount of polyfill or other JS can save JS when JS cannot JS. It's terrible for accessibility unless it "works" to start and in that case your point is moot.
Noted deep learning expert bill gates
The experience of said apps just doesn’t hold a candle to RN or native apps. People can tell the difference, for all but your sort of back office type apps you’ll want native views.
Principles of Computer System Design: An Introduction

https://github.com/wangjohn/mit-courses/blob/master/6.033/Pr...
This is very similar to how hologram fans work - all the electronics is in the spinning part. With the fans they often use wireless power transfer to drive the top board.

https://youtu.be/bT716nyK0AY
FWIW the "Why?" page does a good job (IMHO) of what it is and what it's trying to achieve. Well-written, although perhaps not exactly concise. https://docs.endatabas.com/appendix/why.html
Very neat! Electric goat :)

How weather resistant is it? Is it aware of its surroundings yet (for instance: irrigation installations)? Are any of these in use outside of the people that develop them?

(sorry for the questions barrage but if I didn't live on another continent I'd hop over to help). Nice Al welding btw.
I remember when Big Basin south of the Bay Area was on fire in 2020. The alarmists were talking about how the fires were so especially intense that the region would never recover. I said at the time they were all full of hogwash, and there's nothing particularly special about the fire and it would recover. Heaps upon heaps of insults were laid upon me.

Guess what, I was right. Every time humans think they know better than nature, they are wrong. Humans interpret things like forest fires as "bad" just like they think rain is "bad" but there's no good or bad in nature, just cycles, and every time we have the hubris to think we know better, like trying to stop forest fires, we are wrong. We need to just step out of the way of Mother Nature and let her do what she does best, which is continue the cycle of life for herself.
Yes, personal project (large! In C#) I love it, it is reliable. Also a bit clunky compared to stuff supporting LSP, but now emacs has native LSP I should spend even less time in vis studio. Emaacs ain't perfect but emacs does not suck.
How long before people start to catch on?
I am not sure if this is not a sarcastic take, but I will bite.

Google are generally not coordinated well on anything, but this current war on adblockers is a notable exception. Consider the following 3 things all happening in the same time frame:

1. Youtube's rollout of detecting adblockers and updating their code a couple times a day to prevent you from running an adblocker

2. The manifest v3 standard

3. The Privacy Sandbox trash

They are using the dominant position of Youtube as video content platform (point 1), chrome/chromium (point 2) as a browser engine and their current dominant position in the ads market (point 3) to achieve a couple of goals. With the privacy sandbox, they force ads to go through their ecosystem, with the manifest v3 they deliver a big kick to the adblockers, and with Toutube, they are using one of their most successful platforms to further push their ads agenda.

To me, unskippable ads are going to:

- make me hate the brand that's wasting my time by advertising crap I don't need and making me watch it

- make me hate the platform on which this ad is played, especially knowing the platform jumped through specific hoops to make the ads unskippable for even the power users
I have started to do the same thing with go but it's largely unfinished. The next thing I will try to do when I have some time is to implement goroutine with the new c++20 coroutines.

(https://github.com/Rokhan/gocpp)
You Say Tomato (2005)
Senior Developer, Architecture

Location:Pune, India

Remote: Yes

Willing to relocate: Yes

Technologies: Django, Spring Boot, PostgreSQL, Kubernetes, AWS

Résumé/CV:https://drive.google.com/file/d/1FQR9l2Ylnfp7GwTyvgsBc7KBgYH...

Email:ranjanprj[at]gmail[dot]com
You might be interested in Jebtrains' Kotlin Compose Multiplatform, which lets you cross-compile to native UI in iOS, android, and others - and pretty smoothly interop with native iOS code (especially UI code).

https://www.jetbrains.com/lp/compose-multiplatform/

I think it's new, and I haven't tried it myself.
Cells of people living in greener areas age more slowly, research finds
connecting to remote DB and impersonating a user account for bug hunting is too easy right now, let’s create the need for a way to proxy to local client computers with greater access to their private information.
I wouldn’t call it post-scarcity, since kitten pics have never been hard to find. But the idea of “someone chasing their cat to sit for a second to take a cute pic” is what warms my heart. I know, art blah blah, but without “behind the scenes feeling” there’s just emptiness. And I am saying this as a person who has absolutely zero sense of art.
What makes you read this as VC keyword stuffing rather than a straightforward explanation of how the product works? I assume they're using AI for content recognition and semantic analysis.
We’ve been seeing this in vision too. I’m really excited about multimodal LLMs but it seems like they’re going to be most useful for solving new types of (qualitative) problems vs taking over (quantitative) problems where small, fast CNNs have excelled.

Though they can also play well together[1] given _creating_ quantitative models is a qualitative problem.

[1] https://github.com/autodistill/autodistill
Only 3 NVMe SSDs and no room for HDD, so do they have dedicated storage cluster via iSCSI-like things, or they don't need HDD?

Also I noticed the SSDs must be changed by open top lid. Curious about anti-intrusion design.

Do they choose this design because they (may?) sharing datacenter or even sharing rack?
Anecdotally, many homeowners are unaware of the existence of the sacrificial anode, and suffer premature water heater failure as a result.

Also anecdotally, some water heater replacement specialist contractors take every precaution to keep customers ignorant on this: No post-mortem examination, no mention of the issue, withholding of the printed manual accompanying the new replacement.
Good luck taking google to court. And sure, I can do a lot of work to get around this, but my much simpler solution is to day fuck you tube.
Good luck with me, I use 34 keys in a Colemak layout with 8 levels of layers, essentially rendering it all useless, many strokes are rolled into the next, and chorded combos will sound like one ambiguous click.
I hadn't heard of this new type of cheaply deployed sensor and figured y'all might be interested in it also. I thought the coiling of the fiber optic cable was an especially interesting bit.

What are some other technologies that are starting to gain traction that will likely have some impact over the next 3-5 years?
I don't think either of these are examples of websites that might plausibly be holding Firefox back from mainstream adoption. I was expecting something like "[popular feature] of facebook or youtube doesn't work"
Heh. https://github.com/bottledcode/durable-php is a semi-faithful php port of Orleans, borrowing some ideas from similar things too. I’ve actually been working on some really neat FFI things for this the past few weeks.

It’s fun.
That's not a bad idea, but the 'interacting with the hardware' part of writing a driver has actually been a breeze - within a few hours of building the card, I'd thrown together a test harness that was able to send and receive packets.

The hard part is getting it to behave properly with Mac OS's 'interesting' and poorly-documented network stack.

Ironically, while I hadn't considered NetBSD, I do want to write a driver for it for A/UX - between the recent work that has already been done on A/UX drivers (https://github.com/SolraBizna/testc), and some reverse-engineering of its network code, I think it's well within the bounds of possibility, even with the original driver SDK being Lost Media.
That's so cool! It would be interesting to see how it would perform in a vacuum. I wonder how big you could feasibly make it with vacuum containment.
depends on when countries make ice less road legal...
The mantra at aws is customer experience. Any time there’s an outage or impact, the first numbers to be stated are customer impact related. In fact, as an engineer you might be empowered enough to recommend a refund for a customer (even though the customer may be at fault) and the refund will go through.

Full disclosure: worked for aws devops for a couple of years
Mundane emotions: Losing yourself in boredom, time and technology (2022)
Maybe above single digit market share percentage?
Interesting, that may help but if so only slightly. I wonder if an inversion table would help identify whether this helps/is a factor.
Nice to see encouragement to avoid javascript :). Dropdowns that require javascript are particularly common (and unnecessary).

It seems on Firefox, focus-visible only appears when tabbing, not when using the space key to toggle. Not sure why that is.
One of the most common design patterns for using LLMs, Retrieval Augmented Generation (RAG), is precisely a "good old fashioned AI" problem to solve.

The quality of your application depends on the quality of your data, how you organize it, how you understand results you get from real-world usage, which model is used to compute semantic embeddings, how you handle tricky retrieval problems (e.g., "show me bananas" vs. "show me not bananas"), and so on.

All this means to me is that the possibilities around what can be built is increasing, as are the needs for people who understand both the "old fashioned" AI world and the new one that we're stepping into.
Exactly. AI is a tool that can help people express themselves. People can use AI to create art just like with any other tool. These tools just happen to be the most advanced, which makes sense considering they're the newest thing. Collage is art. Sampling is art. Photoshop can be used to create art. Etc.
No, the research was fine. For example, a friend of my family spent a large part of his career writing an extensive bilingual dictionary for an indigenous language in Southern Mexico. He won a "golden fleece" award from asshole Senator Proxmire of Wisconsin, who thought dictionaries for languages with only a few hundred thousand speakers was a waste of government research grant money.
Maybe a naive question, but if AI generated images are not copyrightable, wouldn't it be possible for some people to use it for research and for other people to re-use the results commercially?
ada has some things that rust doesn't. a lot of them (bounded numbers, pre/post conditions) are really good but do not present a case for writing the category of program rust targets. nor the other way round, really.

when the dust settles and hindley-milner types, rank-n types, substructural types, etc, all complete their respective journeys from "weird thing the academics came up with" to "state of the art in hip new language that managed to compellingly package it" to "fact of life", it is my hope that dependent types will follow suit -- something that bridges the ux gap between theorem prover and general-purpose language where anything from ownership and borrowing to refinement types lives under one HOL umbrella and lets you make just about any guarantee you like. i recommend anyone reading follows the f* project
"Yeah there's a lot of smoke, but I'm not going to evacuate until I see flames"

The writing is on the wall, why are you so keen to wait til the last minute?
That's called bait-and-switch and a lot of people and institutions used youtube because it presented itself in a particular way and now that there is no way back out that is practical the squeeze is on.

From your commenting in this thread I surmise that you have some kind of stake in the outcome. Personally, I'll just boycott youtube and I can't wait until I'm in a position to remove Google from my life entirely.
All the examples in this blog post use CSS to implement the functionality of the widget, not just appearance of them. By your own reasoning, that should be handled by JS, not CSS
some of them look like someone just didn't think it all the way through, for example the nextdoor email unsubscribe switch would have been clear had it been a checkbox or with clearer wording, but only in combination it is unclear.
In case others were curious to look up the timeline, WP says first validated GNAT release was in 1995, vs 1983 for the earliest validated implementation.

(but perhaps the earlier stuff wasn't practical: "Early Ada compilers struggled to implement the large, complex language, and both compile-time and run-time performance tended to be slow and tools primitive" ... "By the late 1980s and early 1990s, Ada compilers had improved in performance")
I’ve often wondered why AOC and hackerrank and the like have you solving the required problem AND the implicit task of parsing the input.
I guess the FreeCAD project should gear up for another wave of refugees
This is great! Aside from a kids story, it's a good example of how to engineer a series of image prompts into a cohesive set.
RethinkDb: a “dead” project that is still maintained part time to keep the bit rot away, but actually just mature. Similar to memcached or beanstalkd.
I think you're missing the point. There are two ways to interpret "GIMP should be more like Photoshop". One is to assume that the person saying it is out to get your goat. The other is to assume that they're making an allusion to the well-trodden field of people saying "Photoshop has better UI in <particular area>, let's do it that way". The fact that you chose the first one is, I think, what the above reply was getting at.
It's fascinating how many people have various versions of these problems and a bunch of their own theories about it. And how many of them are frustrated by orthodontistry for not helping or causing it or making it worse.
Over 20 nations, including Japan, call for tripling of nuclear energy
The Drupal community made a pivotable decision that ensured it would never "win" a CMS battle with WP.

Wordpress has always been a more product-focused blog/site-builder that works out of the box and simplifies code concepts for an average user who doesn't need to know much PHP to get everything they want to be done. It has always focused on open-source PHP CMS as a product.

Drupal has always been an engineer-first CMS; D8 doubled down on that: focus on long-term maintainability with OOP/Symphony/Composer/etc. That decision caused the casual site-builder who knew little PHP code to say "no thanks". It has always focused on open-source PHP CMS as a framework.

Backdrop happened for those who wanted a good off-ramp for those who were happy to keep the current Drupalisms of D7 and didn't need more PHP-web-dev tools. Unsurprisingly, it became more WP-like as it tilted more toward PHP CMS as a product.

The current community of the Drupal world has kept focusing on improving the UX of the site builder/maintainer role with its current initiatives (auto-updates, project browser) to self-correct.

Ultimately, Drupal focused more on its core strength. That's not a bad thing, that's just product differentiation. It turns out the average website doesn't need to maintain a lot of custom CMS code/workflow/logic they just need to track a handful of blobs of text/image content.
You seem to be talking about the pandemic drop (2020), whereas I was talking about the GFC drop (2008).
That was exactly my motivation for the project! 12 or so years ago I had a pretty big vintage-Mac collection that I had to give away in a house move. A friend gave me an SE/30 a while back, which got me back in the game, and my first thought while looking for an Ethernet card for it was "they want HOW much???"

A far cry from the prices I remember them going for.
Ask HN: What is the best stack to find a job currently?
React/Node, python/django, rust, ruby/rails, php/laravel, golang, something else?
"and wrap that with a thin native wrapper for iOS", how does that work? I hope iOS browser and apple apps store can support PWA but that's unlikely, if a think-native-wrapper can get browser-api working for iOS that will be wonderful.
A company I used to work for used to use the Versant OODBMS (object-oriented dbms).

It was truly interesting. Long story short, you stored your objects in the database, along with other objects. No object-relational mismatch.

Queries meant taking a subset of a graph (of objects). It was fast and performant, and fairly solid.

It's essentially the result of asking "what if database development had taken a different turn at some point?".

Of the owning company would release it under some kind of open source license (maybe open core, BSL or one of those new revenue-friendly licenses) it could probably get very very popular.
Not joking here. At my old startup, we had made significant progress in executing something along those lines. It was technically feasible, but neither economical nor relevant for that time, so the concept had to be ditched in the semi-prototype stage.
You're right but you can probably caveat that with natural cycles and not man made disasters
It's unbelievably depressing in the initial onset.

Couldn't sleep. Couldn't do my job. Forced to take extended time off. Terrorized by the possibility that I would never be able to work again.

Closet I've ever come to suicide.
It sounds like if you deploy on Railway they don't automatically handle a box dying (e.g. with K8s or other) -- "half the company was called in to go through runbooks." When they move to their own hardware, how will they handle that?
In your denouncement of the ostensibly trite content of "a t. rex bursting out the center of mars surrounded by rainbow mandala constellations or whatever", you fail to look past the content itself and find value in the technique. From an artist's perspective, these models are nothing short of magical in how they manage to pack in knowledge across so many styles and contexts.

It's personally mind-blowing how effective diffusion is in general (but retrospectively, it's a beautifully simple concept), but it's not just the isolated image of a t-rex on mars that it interesting. It's the speed and cost at which the image can be generated, and the ways in which the data can be modified or recontextualized in a feedback loop. Or how multimodal systems like GPTV or LLaVA allow a new form of communication which blurs the line between images and language. I could go on, but the essence is that you are doing yourself a severe disservice by generalizing these capabilities as "blockbuster clip art".
Technically not because it's induction vs deduction but it can sometimes be "close enough" for some things.
It didn't die per se I would say, it mainly got subsumed into more general programming and problem solving patterns (search, heuristics, A*, that sort of thing). What probably "died" is the dream that those would be sufficient to achieve general intelligence.
I believe T Mobile also allows you to require a secret 6-8 number PIN that is not texted to you. It's opt-in however, and I am not sure whether it can be overridden by a service tech.
Work-life balance is when you work the same amount of time at work and when asleep. Right?