skysight-inc/HackerNews huggingface dataset:
The article has a flavor of trying to find a role for good old fashioned AI, with planning and search, in this new world. It points out that to some extent large language models can plan, but only for things where the steps required are roughly described on the Internet. It's basically splicing together bits of known sequences of steps. That can handle many cases. As usual, the problem is lack of evaluation - totally bogus plans can emerge unnoticed. This is the lack of a model problem.

The big lack remains manipulation in unstructured situations. Although that Google project mentioned a few days ago has some promise. They train on simple manipulation tasks with a force feedback teleoperator, and then use an LLM for the higher level task sequencing. But the simple manipulation tasks remain rather simple. Too simple to, say, assemble flat-pack furniture, let alone repair a car. LLMs just don't seem to be relevant to such non-language tasks.
Even when you're not on duty you're still on a submarine.

This kind of thing doesn't give new meaning to the concept of work-life balance, it removes all meaning completely.

Other careers have an element of this which can be helpful to recognize the degree to which it just comes with the territory.

On the shore side of marine cargoes you often get a client's vessel in port to visit a number of facilities around-the-clock. Keeping up with all the transfers doesn't stop until the ship finally sails, so you can end up working some 36-hour days. Not the kind of job where you get to go home from work every single day.

On the sub they don't get to go home from work (or go anywhere else) every single month.

And then there's the truly more negative aspects than that.
I wouldn't be so quick to make that call. It's definitely a serious possibility, but at the end of the day I think it's hard to imagine exactly how people would fill their time and adapt. I think there are a lot of opportunities for challenges / goals outside of the typical profit-based economy.

I actually think that the disadvantages of having few goals would become immediately obvious to almost everybody, and a whole new type of skill / creative / athletic based "economy" might emerge. But with lower stress and lower stakes
If we can't fit the compute required to do it right in a car, we shouldn't be doing it at all. Their point is perfectly fine, regardless of WHAT KIND of "budget" is being discussed.

That being said, even automobiles make safety tradeoffs for cheapness or feasibility. However, we really shouldn't allow any tradeoffs for a completely unnecessary feature like "self driving". Imagine if wanting your car to have android auto or similar meant it couldn't use the lights, because a tradeoff was made.
> The United States seeks fair consideration and back pay for asylees and refugees who were deterred or denied employment at SpaceX due to the alleged discrimination.

Does anybody know how such penalties are calculated? In "role-based damages," penalties would be limited to the total wages for the hiring reqs in question. This corresponds to the counterfactual where each of the roles would have been gone to an asylee. But I could also see the DOJ arguing that every "deterred" asylee is owed foregone wages. This "applicant-based damages" doesn't correspond to any serious counterfactual, but it has the virtue of being a much bigger number.
The name is an unfortunate choice given that “Copilot” is Microsoft’s brand for its AI-powered assistants and the stack that powers them. https://https://redmondmag.com/articles/2023/05/23/build-202...
I already feel synthesis is becoming a useless skill for humans.
Kamal – Deploy web apps anywhere (formerly MRSK)
Hit the nail on the head! Not only is the context length a limitation, but the speed of response gets impacted as well.

With a human in the loop, even providing a "mostly" correct SQL that takes a swing at the correct joins between relevant tables reduces the data practitioner's work significantly. Of course, as more questions are asked, the tool gets better at writing the SQL better. Almost like a human in a Database Management and SQL class...
This fails to take into account the reduced quality of life due to climate change itself.
I think there are a few plugins via git etc. Syncthing also seems to be recommended but doesn’t work on IOS
If a time traveler from a future where AGI was discovered brought back the information (program?, algorithm(s)?) necessary to create AGI:

1. How much space would it take up? GBs?

2. Would we have the computing power to run "it", say on a top of the line consumer laptop?
Besides (YEAR) there also seems to be the convention of [pdf] and less strongly [video]. The latter two use square brackets instead of parentheses.
That's not how it works: that either there is an assumption or there is no assumption. The assumption may weaken, but what will happen is that if someone sends a fake video to many people, you're guaranteed that a substantial fraction will believe it's real. I mean, a big portion of the population believe in outlandish conspiracy theories. You're way overestimating people's skepticism.
I would add to your points. Just read code. When dealing with code you are most of the time going to be dealing with 'good' and 'bad' code. Learn to read both. As both are going to be around. If you just go to 'good code' how do you know what 'bad' looks like? Also to your point what is 'good code' can be very subjective. I have one language I use a decent amount. There is a particular style that many use that they consider 'good code'. I think it is a terrible bit of style to do. I have my reasons for it. But good/bad is not necessarily a metric you can measure.

I would posit that discarding github out of hand is not a great start. Pick one of the big projects on there and follow what is pushed in. You will notice how others interact with the code. You will start to notice who checks in good stuff. Follow them. Also pick your language. As a good style there could be a bad style in another for example C++ vs Python. Python styles in C++ would drive the C++ guys nuts and the other way around.
Async traits, async `Drop`, TAITs, variadic generics (unlikely they will every be implemented), generic closures, optional/named parameters, anonymous enums. These are the first that came to my mind.
Yeah that makes some sense; there's probably millions of lines of Java code out there where performance doesn't really matter, and so aren't worth rewriting. Being able to embed a JVM just to run those from Go projects isn't a bad idea.

Tangential, but a long time ago, I wanted to reuse a node.js slug library in .NET. I thought about trying to port it at first, but then I realized that this actual job didn't need to be terribly fast, so I instead embedded the Jurassic JS library into my code, and was able to load in the slug library that way directly). It wasn't especially fast (but actually faster than I thought it would be!), but it was certainly fast enough, and I didn't have to worry about not having feature parity.
TypeScript 5.2
You literally see Senator Pastore's heart grow three sizes in the duration of that speech.
When I was rate-limited, I found it quite easy to find out what happened after a little bit of googling and get it reversed with a nicely worded email. It doesn't take a genius to figure out why you can't really post after a reply from dang.

Nonetheless, I agree they could be a bit more explicit about this.
Similarly, I had it emit hundreds of blank lines before cancelling it.
> because this policy impacts the unbanked, underbanked, and low income disproportionately

Imagine the absurdity of forcing banks to universally provide what ended up being an essential service by their own design?
It's still not general. Besides, it relies on a heavy use of energy that might not be around forever.
This is awesome, been needing something like this for a while for our workflows.
There's really one thing missing from the guidelines IMO - "don't downvote for disagreement, downvote for offtopic/flamebait/inappropriate comment".

Well, this should be obvious, but it sadly isn't...
Hi, please put some examples or allow us to test some examples with limited outputs, etc.

The AI space is ripe with a lot of new businesses appearing, and many of them want a lot of our personal information, neverminding API keys.

It's very hard to really know what the tool can do or compare it to other services if we cannot at least see some examples on why this implementation is worth interest over other services without some way to test it without giving up information I personally would rather not share until I understand why I should use this instead of just building my own project around available models.
I have fond memories of King’s Quest and Space Quest on 5.25" floppies!

In the beginning of Space Quest I think you had to use a piece of glass from the broken canopy of the ship to redirect a laser that was blocking the path.

Good times!
Lead dev here. A significant portion of the JDK and the JVM is written in Java. There is much that happens in the JVM were gc is a good thing. Classes are constantly being instantiated and then discarded. Having those discarded classes GC'd is a benefit indeed.
Oh sorry. I misread. Ignore my other comment. I forgot my password and can’t edit using the site. Using third party app for HN
That's the framing we've been using for years, look at some big tech ML or data science that we reframed as AI, your manufacturer/transportation/retail/whatever company needs it too, but there are no products for end uses in your industry, just lots of tooling and consulting services you can buy for bespoke projects.
Cabrita: Closing the gap for LLMs in foreign languages
Since everything is a car analogy...

A driverless vehicle doesn't require me to add a driver to reach a destination. A serverless solution doesn't require me to add a server to achieve the goal. Something is still driving the car, something is still serving the data. But it's out of my hands.
"Thought exercises" do not belong in a safety discussion. This isn't an 8th grade debate, it's a company putting people at risk to increase their valuation while claiming "it's for the greater good".
Thanks! Kubernetes provides some solid building blocks for training LLMs. I believe that what is missing is a little tooling to link together those primitives into a streamlined ML DevX.
I tried, but no edit link for me. Perhaps I need points/credentials?
These seem like sticky notifications on Android. Did iOS not have these?
If you think money is a fiction, send all of yours to me. I don't mind living in a lie :-D
Unveiling the Dangers of the “AnyDesk-Malcom” Malicious Python Package
I've met a few young programmers who heard somewhere that object-oriented programming was bad and they want to get the enlightenment of functional programming that they've heard about. Frequently they travel from job to job like itinerant martial artists always looking for somewhere where they practice the true technique but they always seem disappointed as it is just as easy if not easier to screw up handling errors with monads than it is with exceptions and they find analogies like "a monad is like a burrito" just get them more confused.

As for something profound I'd point you to

https://github.com/cerner/clara-rules

which many people will struggle with because like many other production rules engines in LISP (and many other examples of simple compilers), there is hardly any code! Contrast that to the orders of magnitude larger rules engine Drools

https://github.com/kiegroup/drools

which is so crazy-complicated primarily because the Drools language is Java-based so you need all sorts of things that Clara or CLIPS don't need. Note that both of these systems use variations of this algorithm

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

where a set of rules can be compiled to a network of transitions that can happen when facts are added to the knowledge base so it is very much an example of compiler technology. (That said, Drools supports a lot of features that Clara doesn't and also supports a very advanced RETE-like algorithm that can exploit parallelism that early versions couldn't.)
I'm not sure what strawman you are talking about, but every space company in SV I have seen has been started by domain experts, mostly aerospace and hardware engineers.

There are also a lot of space companies focusing on a narrow niche that doesn't involve rockets — sometimes imagery (Planet, other satellites), sometimes 3D printing, etc. It's not like deep training in aeronautics will make you an expert in 3D printing in space - there's not a 101 guide to the space, it's novel tech.
Or hell, public infrastructure that allows everyone to make it home safely even if you are so drunk you can barely walk.
Before that the phone system offloaded work to their subscribers, who now needed to listen to and understand the various tones (dial, ringing, busy) and remember phone numbers.
Remote Interaction Guidelines
Ah thanks for the answer, funnily enough that's what I recently read here - https://dev.realworldocaml.org/gadts.html

They have a bool / int expression language example. (And funny thing I'm coding up such a type checker and evaluator right now in TypeScript. TypeScript union types seem to be pretty expressive and useful for this problem.)

However I'm STILL confused ... Admittedly I skimmed through the GADT chapter and I didn't follow all of it, but I don't understand why the answer isn't:

1. have a untyped representation that allows (Add (Num 2) (Bool False))

2. write a type checker on that representation

3. The output of the type checker is a new IR, which can only express (Add 2 3) => Int and (Eq 5 (+ 3 2) => Bool

Is the more abstract GADT solution supposed to "save" you some work of writing a type checker by somehow letting you reuse Haskell or OCaml's type system to express that?

That's a little weird to me ... it seems to be confusing the metalanguage and the language being implemented.

It's not surprising to me that this would go awry, because in general those 2 things don't have any relationship (you can implement any kind of language in OCaml or Haskell).

---

Hmm OK I actually DID run into the issue where you need dynamic checks in the evaluator, that should be impossible BECAUSE the previous the type checking phase passed.

i.e. some of the rules you already encoded in the type checker, end up as "assert" in the evaluator.

Hm I will think about that. There is some duplication there, sure. But I still think there's a weird confusion there of the language the compiler is written in, and what the compiler DOES

You're kinda coupling the 2 things together, to avoid a little duplication.

I also wonder how all that is actually implemented and expanded into running code. The GADT syntax seems to get further and further away from something I imagine can be compiled :)

---

edit: Thinking about it even more, although I did run into the dynamic checks issue, I think it's because my type checker only CHECKED, it didn't LOWER the representation. So I think what I originally said was true -- if you want more type safety, you introduce another simple IR. What's the benefit of using GADTs ?
Compliance with the law seems like a fairly binary thing. They (as argued) weren't and now they are. Do you have a specific way in mind that they should become more compliant?
I don't think of neoliberal globalists as actually pro union other than lip service. Ironically, there are a lot of conservatives that are perfectly happy to see unionization efforts in the working class, and have never been in favor of the level of corporatism (nearly fascist at some levels) that we currently see in the US.
That's actually in the guidelines already: "If you submit a video or pdf, please warn us by appending [video] or [pdf] to the title."
Not in California, where the rent increases are limited in the vast majority of units (pretty much anything built before 2007) :)

I agree that this has an absolutely massive chilling effect on leasing & building, given that, reasoning from the past, any new development is almost certain to be subject to rent control within 20 years at most. I've never lived in a state nuts enough to have state-wide rent control before, it's interesting.
I'm pretty sure that submitting a duplicate link is automatically turned into an upvote on the original
I'm all for large infrastructure investments in clean energy. Unfortunately the people in power where I live (Northern Ontario in Canada) only seem interested in inneffective taxes and crony capitalism.

Any so-called attempt to "redistribute wealth" has led to massive inflation and a borderline humanitarian crisis in our cities with people losing their homes and becoming addicted to deadly drugs on the streets.
>You seem to be confusing ITAR compliance with some sort of security classification

This is exactly it, that may be the source of their posts? Being covered by ITAR has nothing to do with whether an American could just go mail order it online let alone chat about it. As a regular American civilian with zero government clearance of any kind, I own a bunch of ITAR controlled stuff. As a category it covers a pretty wide array of technology even when it doesn't seem to be in any way particularly sensitive. All of my suppressors for example are subject to export control, or NVG or FLIRs even when it's ancient tech everyone in the world has. Apparently so can things like optics. It wasn't that long ago that the US government tried to insist that mere encryption was a munition subject to controls!
I'm quite familiar. Would you care to elaborate?
You probably know but there is an animated series based on Mr. Rogers, available in streaming dubbed and translated into many languages, called Daniel Tiger's Neighborhood.

https://www.pbs.org/parents/shows/daniel
> view sync version history

Actively working on that. It’s a feature I’ll need since I mess up *very often*
Well, if you spend a lot of time looking at the damage we cause every day, studying reports and seeing innocent creatures like sharks being killed by the hundred millions, thousands of species being rendered extinct, endless garbage being dumped left right and center, habitats being destroyed endlessly by the millions of square kilometers, yeah, we do look like a plague.

And now we're trying to use AI to become even more resource-intensive, burning up endless energy to be even more powerful consumers...give me a break. It's sick. As individuals there's nothing seriously wrong with most people but en masse with modern technology, that is exactly what we are, a plague.
A) aws/azure need nvidia/amd chips in their servers... it is too difficult to homegrow these chips (altho aws is trying)
B) microsoft (github autopilot 20$ per month per user), document/image autogeneration from a prompt (likely in word doc 5$ a month per user for this)
C) right yea, thats why fb/goog have big ai farms
I hadn't heard about the 2nd chance pool until I submitted an article and he emailed me to say he was going to 2nd chance it.

That was a really neat mod intervention I wasn't expecting but really appreciated.
I remember once in the early 80s typing in a very lengthy program listing from Byte or Nybble magazines on an Apple ][e.

It wasn't BASIC or even Assembler, but machine code!

It didn't run at first so I printed it all out (on 15" wide green bar paper) and on several bus rides to and from school would compare the magazine code to my own print-out until I found the few bytes I had mistyped. Checksums would have been nice!

IIRC it was some kind of music program that let you type in melodies and play them back on the PC speaker. I took a melody line and a bass line from a song I was writing at the time and typed them in on two neighboring PCs in the university lab. When all was ready, I pressed the two Enter keys at the same time, and after weeks of work had several seconds of glorious full-volume square-wave harmony! Formative moments!
Barbara: Live coding languages for quilters
> A world where AGI fulfils every need is more like being in a senior's home where everyone does everything for you.

Or like being mega-wealthy.

There are plenty of folks at senior homes enjoying the ability to try new things they didn't previously have time for.
> This is something that basically disappeared from computing history by the mid-1980s, as it stopped being even remotely practical as a distribution method.

It was very much alive as the distribution method for getting TI-BASIC games onto calculators in the mid-to-late 90s.

If you didn't know anyone with access to the parallel-port graphlink cable, your only option was transcribing it manually. One someone transcribed a copy, distribution with the included male-male cable was possible.
And there are definitely some languages to avoid all together if one is trying to learn. I have opinions, but they'll just spark flame wars. Googling worst languages will work.

The fact is someone programming languages - either by design or culture - just encourage unbelievable crap. Obviously, any code can be written well, but if one has to look for a needle in a haystack it's not worth it.
Statistics. "Sensors disagree" is the EXPECTED result when you get a reading from multiple sensors, and the whole point of sensor fusion is that, if the sensors have independent error models, that disagreement IMPROVES your output.
Show HN: Use Code Llama as Drop-In Replacement for Copilot Chat
Hi HN,

Code Llama was released, but we noticed a ton of questions in the main thread about how/where to use it — not just from an API or the terminal, but in your own codebase as a drop-in replacement for Copilot Chat. Without this, developers don't get much utility from the model.

This concern is also important because benchmarks like HumanEval don't perfectly reflect the quality of responses. There's likely to be a flurry of improvements to coding models in the coming months, and rather than relying on the benchmarks to evaluate them, the community will get better feedback from people actually using the models. This means real usage in real, everyday workflows.

We've worked to make this possible with Continue (https://github.com/continuedev/continue) and want to hear what you find to be the real capabilities of Code Llama. Is it on-par with GPT-4, does it require fine-tuning, or does it excel at certain tasks?

If you’d like to try Code Llama with Continue, it only takes a few steps to set up (https://continue.dev/docs/walkthroughs/codellama), either locally with Ollama, or through TogetherAI or Replicate's APIs.
300nm is specifically the size the filters are worst at collecting. Below that, _eletrostatic_ forces kick in, and they're much better than 95%.
T-Mobile has become so bad in our area that we upgraded our internet just so we can do wifi calling. We tried the T-Mobile "trial data plan" before we switched, but once we actually made the move, the coverage has only degraded.
Toil for toil's sake is some Sisyphean bullshit. Our goal should absolutely be to eliminate the necessity of work. If you can't find reason to live in such a scenario, you've whole-heartedly bought into Capital's propaganda, and frankly, lack imagination.

You're always free to set your own goals, and pursue them as you see fit. Hell, look at the leisure rich: They're liberated from work already. Their lives don't seem particularly miserable.
That's in the FAQ: "If a story has not had significant attention in the last year or so, a small number of reposts is ok. Otherwise we bury reposts as duplicates." https://news.ycombinator.com/newsfaq.html
It absolutely would affect you if that imagery is disseminated through any means capable of being seen by anyone you ever know or meet. It is oppressive because it requires you to allow others to exist with the same right. To me this is a facet of the right to privacy.