skysight-inc/HackerNews huggingface dataset:
"AI Prompt Engineering" is just learning how to use a model, and it will be a thing until AIs learn to literally learn our mind.

Even if the system adds a layer with "autotuned prompts" as the article calls them, some prompts will inevitably work better than others, and some models will have to be "spoken to" in a certain way or use certain keywords to make it work in a specific way, but that knowledge may not work with all models.

For example, recently I've discovered that adding "no yappin" at the end of the prompt makes ChatGPT 4 go directly to the interesting part, but if I use it on another model it could do nothing, or maybe it gets confused and starts spouting garbage, or it may get pissy and scold me for being rude.

This might come off as a joke, but I don't doubt at all that it will soon be reality, as different models will have different "personalities". This term is not to be taken literally, but it gets close enough to the idea of representing the internal workings of a LLM.

Little tricks and hacks, like going as far as bribing or threatening the LLM to get a better or specific kind of output, mostly model-specific.

The future will be interesting for sure.
One of the things LLMs can't imitate is having serious stake in the game, and therefore responsibility for the outcome.

The PM has a stake - if they get this stuff wrong frequently, their job is at risk. The LLM provider is probably not getting paid much for the work - nothing, if it's a freely available model - and since the fine print says "do not rely on factual accuracy", the provider will claim no responsibility for its mistakes.

(And the fine print will continue to say that for the foreseeable future, because even though LLMs might get more accurate, the providers will never want liability for errors unless the user is paying through the nose.)
What's the rate of error you're willing to tolerate in such a system, and what does it cost to achieve that rate?

There is a breakpoint in those numbers where it becomes cheaper to allow some error.
We don't care about the advancement of life, we care about the advancement of people.
I'm not sure why you're focusing on the billionaires, when it's evident that the common man of today lives in the comfort of pre-industrial kings.
I’m sorry but why do you feel “we’re on it” is directly addressing anything or conveying a clear plan to fix it? That sounds like the opposite of how I would describe this.
On iPhones, three ways to get rid of the keychain data of an app
1. wipe the phone AND you must not restore backups
2. jailbreak the phone
3. the app can wipes its own keychain (but apps don’t expose this feature generally)
Sorry, but that's just plain wrong. You can get a second marriage in Dubai if you so wish. It just won't be recognized at home. And so on. Extraterritorial jurisdiction is a thing but it's very restricted https://en.m.wikipedia.org/wiki/Extraterritorial_jurisdictio...
Same here and on my laptops I don't need the extra finger touch. It just works.

I have had a work MPB for years and while the touchpad is nice I just use the other touchpads with no problems.

Then again as I like bigger displays I use an external keyboard and mouse when not traveling.
The Internet killed the OS, unfortunately. Before the widespread Internet (which really didn't "take" until after 2000 IMO) your OS and computer had to be "self contained" - now it's a glorified translation layer between the browser and the hardware.
There is no satisfying answer if your actions before are not satisfying. The question implies that the original poster cannot be satisfied, and thus shift the blame implicitly. The problem remain not what the answer is, or how it is worded. The answer only portrays the actions, which are by themselves unsatifsying.
Agreed, but "Do no evil" shouldn't be the kind of thing you just scrap.

Isn't doing that in and of itself somewhat evil?
I can imagine some governments (especially the Soviet government) standing this kind of thing up simply to use for propaganda. Decide whatever you want to be "the general consensus of what's on everyone's mind" and talk about it on the government's terms.
I'm at the stage where I'm trying to get my kids into tech based "building", I'm a software engineer so want to start teaching them to write code asap, but don't want to start their computer journey there.

I had a click through of this out of interest; by the time I'd picked a colour for my avatar (awful gaudy colour combinations), read the half-dozen tutorial tool-tips just to get the the main ring, I was already bored stiff, as an adult with an almost limitless concentration span.

I hate to say it, but I can't imagine my children wanting to use this as it's presented, at any age.
I wrote a C# library to do this, which is similar to other chunking approaches that are common, like the way langchain does it: https://github.com/drittich/SemanticSlicer

Given a list of separators (regexes), it goes through them in order and keeps splitting the text by them until the chunk fits within the desired size. By putting the higher level separators first (e.g., for HTML split by <h1> before <h2>), it's a pretty good proxy for maintaining context.

Which chunk size you decide on largely depends on your data, so I typically eyeball a sample of the results to determine if the splitting is satisfactory.

You can see the separators here: https://github.com/drittich/SemanticSlicer/blob/main/Semanti...
I was really hoping this article was going to about how someone was able to turn their cable modem into a sales development representative (SDR), because of the absurdity :). I was pleasantly surprised by the actual article: SDR (software defined radio).
Because of C/C++ interop, and integration with CMake, you can just add Swift to a Zephyr project and it pretty much Just Works. [The docs](https://github.com/apple/swift/blob/main/docs/EmbeddedSwift/...) should mostly apply to the Zephyr SDK as well.
Amazing piece of trivia.
Also very curious about this. I’ve been slowly building one myself and would happily give up if another good one already exists. Tried searching the web and can’t find it.
FlashTex: Fast Relightable Mesh Texturing with LightControlNet
As much as I dislike hate speech and bigoted people, the idea of pre-crime sentencing sounds scary…
Show HN: AI Chatbot with function Calling – Connect your chatbot with ANYTHING
Recently introduced function calling to our Chatbot builder.

This basically opens an endless possibility of what you can do with a Chatbot.

Connect your own APIs

- Connect it to your internal APIs to answer user questions.

Connect with thousands of third party apis, and setup "instructions" like this :

- If a user asks about an order, Answer using order data from Shopify.

- if the bot cannot resolve a query, Call Zendesk API to create a ticket.

- Schedule an appointment using any calendar or booking system API

- Email the conversation summary to the user / team using Postmark API

- If a chat conversation seems escalated (E.g Threats of legal), email the CEO.

You can get even more fancy and connect your home automation system..

Really the possibilities are endless,

You can even bring your own API key and use all supported openAI models.

Happy to answer any questions or a discuss a use-case you might have.
The challenge of thought experiments, in a statically typed language, is ensuring soundness. The first version of Java Generics, for example, was unsound: https://hackernoon.com/java-is-unsound-28c84cb2b3f
Sure, you can do it in a deterministic way just setting the temperature to zero and writing the prompt always in the same way. If T=0 (you always select top scoring token) and prompt is identical, the result is always the same.
> One of the terms of my contract with AMD was that if AMD did not find it fit for further development, I could release it.

I need to put this in all contracts for all jobs in the future.
The cable cut only gonna after the arab world, or maybe india, but eropean to india communication don't depend on them that much so it's unlikelly, so probably not
This is about the GPS antenna on the starlink terminal. GPS is one-way. The terminal needs that GPS signal to predict where the starlink satellites are going to be at a given time.

The real "hack" answer is to bypass the GPS system and just feed the starlink terminal its true/known ground position/timing.
i work in both of these areas (compilers [contrib on iree/mlir] and RTL); they're not even remotely doing the same thing. iree is a runtime environment (Intermediate Representation Execution Environment) - it's not even a compiler, most of the passes come from upstream - while calyx aims to be a lot of things but you could boil it down (for the purposes of keeping this response short and to the point) to HDL+core generator.
Scientists CT scanned thousands of natural history specimens, available online
Probably not the point you were making but OpenAI is paying (a small group of) people pretty high hourly rates (like 70-100$/hr) through their “redteam” program
The cost was so damn high - IIRC we got Warp 3 for a 386 for some reason, but by then it was already too late.
This seems like something that could be verified through ZK proofs. The data to search could be represented by a public merkle root, and the searching/indexing given the user query could be programmed in a ZKVM like RISC0[1].

[1] https://www.risczero.com/zkvm
I think the construction is usually phrased: "given a line, to..", so it assumes a pre-existing line segment, rather then that being part of the construction itself.
Was linen itchy? At least modern linen is not itchy. Presumably it would have been less itchy than coarse wool even nice wool.
Wow, a 3d printing novice jumping straight into building a VORON is an ambitious move.
I ran YaCy for a while, but not as a node on their distributed search index. I just ran it as a search engine for all my own bookmarks. Unfortunately I never found a particularly good way of getting bookmarks into the system. So eventually I shut it down. Cool idea in theory though.
Why is I/O so special that need to be explicitly marked across the call stack? What about memory allocation, that can arbitrarily delay a process? Should allocating functions be transitively annotated? What about functions that lock a mutex or wait on some synchronisation primitive? What about those that signal a synchronization primitive? What about floating points, that can raise exceptions? What about panicking functions?

Either all side effects should be marked or none should. Ret-connecting await annotations as an useful feature instead of a necessary evil is baffling.
The Doctrine of Relentless Utility
GPS satellites don't "send" your coordinates to your receiver. Your receiver is just listening to the broadcast signal from several (usually 4+) satellites and based on the strength of that signal determining how far it is from each of those satellites. Which means the receiver is able to triangulate it's own position.
It's hard to understand because it's wrong. Again, apart from certain fundamental rights (e.g. right to life) you only "have" are the right that are granted by the local laws. What does it mean to "have" a right? It's means you're able to exercise it. Can you exercise your right to bear arms in Germany? No. Can you exercise your right to free speech in North Korea? No. Etc. You only have these rights when you're in your own country. You may enjoy similar rights in similar countries, but that's about it.
Hey Steve, I wouldn't say that "print.await" is a leak abstraction. I think "print.await" is explicit and that's good, it communicates it's abstraction fairly clearly, presumably following a pattern used commonly in this, imagined language.

I suppose that a wrapper like "aprint" (a convenience function labelled async, like with an "a" prefix), would be a bit better than having people continually try using print, not await it, and not getting the expected output in stdout (or whatever stream it's sent to), while they are in the middle of trying to test something or otherwise get something working because I'm of the opinion that common things should be easy. Maybe "people would generally expect a print function to just work and not return a promise or something" is an abstraction?
"aprint" might actually be the wrong name I'm not sure I've really thought about it right.
WWII is a sad example of one of the last wars before mass media. The clearer the picture of the front became, the harder it is to believe these plucky little propaganda outlets.

It is possible that we're looking at the start of WWIII; the global military situation has been escalating in alarming ways for years now. This time really would be different because the public will have a much clearer picture of what happened in the lead up and why. I can say with some confidence that, based on what has happened from Vietnam to Ukraine, the media consensus leading in to and during WWII was a patchwork of lies.
Can I ask what British dialect is associated with lower class? I was not aware there were class-indicating dialects besides AAVE to be honest. To me, anything British sounds higher class if anything

Makes me wonder if we have them in Dutch as well. I guess simply sounding like a foreigner, or making mistakes about word gender or such, will make you stand out as not knowing the language properly (even if you do and merely haven't got the pronunciation down), but I wouldn't know of anyone who grew up speaking Dutch in a native way who subsequently sounds lower class. The Belgian Flemish and southern Limburgians sound funny to most people, but it's not a lower class, just a region-of-origin indicator
So clever! The brief answer is you have many staff who have knowledge but not creative authority. If you think about it for a few minutes I think you’ll find some options.
> why do you feel “we’re on it” is directly addressing

How could it be described as anything but? It isn't specific, but it is direct.
Misunderstandings Related To Anonymisation (2021) [pdf]
The accompanying announcement can be found at https://www.edps.europa.eu/data-protection/our-work/publicat...
Dodge debuts the 2024 electric Charger Daytona, with 670 horsepower
What you are saying is totally reasonable, but perhaps you are not considering the additional costs trat migrants face when establishing themselves in a new country. Not only financial, but also immaterial
costs such as leaving behind friends and family, dealing with the language barrier, bureaucracy, the initial loneliness, occasional xenophobic manifestations, maybe cultural differences, etc.

In this light I think that temporary tax breaks like this are a nice way to ease immigration and create more of a win-win situation.

> If you decide to live and work in The Netherlands, i would expect you to pay the same amount of taxes as others.

Fair, but worth noting that highly skilled migrants are also paid more than average, and thus the absolute amount of tax contributed in their lifetime turns out higher despite a few years of tax breaks.
So they claim the change to node reduces the 60k lines of Ruby to only 2k of node. So how did they manage to add 1,998,000 more lines of node in the next 10 years and not think something was amiss?
You can get CMTS equipment like Arris C3 and run your own DOCSIS headend if you want, but it's a lot of complexity to the point where it's not worth the effort unless it just happens to exactly fit your niche. Due to the way that cable plants work (upstream channels) the 'provider side' equipment must be complimentary to the 'customer side' equipment. That is there is no method for peer-to-peer traffic between cable modems in the DOCSIS standard even if the hardware is theoretically capable.

OTOH you can get a 2.5gbps MoCA adapter for like 50 bucks, and it can be installed, working, and reasonably secure in about 30 seconds. So I don't think DIY DOCSIS is a worthwhile pursuit outside the novelty.
I mean, yes and no. I find staff engineers, and especially the senior-staff-engineer-type positions, to be the ones most sensitive to the exact specifics of the org they've joined.

I've seen a senior staff engineer (at a popular unicorn you've all heard of) who was a very smart, but also friendly and reasonable person (how often are those traits in opposition of each other!). They were very good at the staff engineer game. They were vouching for us to upgrade a framework that we pumped 50M of spend through per year. From v2 to v3. It wasn't a huge change, not like python 2 to 3 at all. Positively trivial compared to py2 to 3. But management just were not up for it at all. Even with research done showing we could expect literally a baseline of 10% improvement in performance (so you do the math on that vs the 50M of spend), they just did not want to "waste time on version upgrades." The staff engineer was told they were being unreasonable in pushing so hard. Their manager tried to ditch them, but again, they're good at the staff eng game, so they switched teams due to being in the good graces (due to an excellent track record) with a middle manager above them. They decided, hey fuck you, I'm going to one man army this effort. They did, they had preview versions ready in less than a month and had migrated some of the bigger-win jobs within 2, saving their annual comp (which was prodigious) several times over just in that. Suddenly everyone was keen on moving their stuff over now that the startup cost (both political and eng-time) was paid.

Anyway fast forward a year, the rollout is complete and nearly the entire fucking management chain above him has turned over, a 50/50ish mix of firings vs quittings. But he's still there and the upgrade migration is complete.

So sure, sometimes staff engineers have a stick up their bum and can't dislodge it enough to get work done on the bottom line. But sometimes they're the only sane ones in a crazy world, and you can only do so much to try to turn a balky mule around.
You can use trace for that which is part of the base library:

https://hackage.haskell.org/package/base-4.19.1.0/docs/Debug...
Dominating the whole continent isn't enough, or Britain would have won WW1 much earlier due to the support of Australia - who dominate the whole continent.
"Don't be evil" is a meaningless phrase, because "evil" is an entirely subjective concept.

Google was born out of NSA and CIA research grants, and they operate under capitalist incentives. Many would say they have never not been evil. But again, it's a matter of perspective.

It's obviously not a phrase any company would ever take seriously since it has no real legal implications, and it's honestly weird how many people seem surprised and offended to find this out. No one is getting fired because Raisin Bran cereal doesn't guarantee a minimum of two scoops of raisins, either.
This is a solution looking for a problem. The browser is a horrible place for viewing text logs. Companies like Splunk and Datadog put countless hours into trying to make it work and it's never not-painful to view logs in a browser.
"Number" implies at least the reals, which aren't computable so that's right out. Hans Boehm's "Towards an API for the Real Numbers" is interesting and I've been gradually implementing it in Rust, obviously (as I said, they aren't computable) this can't actually address the reals, but it can make a bunch of numbers humans think about far beyond the machine integers, so that's sometimes useful.

Python at least has the big num integers, but its "float" is just Rust's f64, the 64-bit machine integers again but wearing a funny hat, not even a decimal big num, and decimal isn't much better.
The very first thing on the page is a "Jump to recipe" link. If you too are a victim of dwindling attention spans like the rest of us, you have the option to skip straight past the beautiful photos and background.
If you are just trying to show the relationship between the lines, I don’t think there’s any reason to set A and B beforehand.

Of course, it could be the case that there’s a multi-step proof where you do care about the positions of A and B in relation to some other things. But I think that would require doing the analysis with that in mind. Maybe the order in which you construct the more complicated proof can also benefit from picking certain points to be exact.
> They should immediately stop development of high end ML libraries and fix their basic shit.

I always hate this type of comment, it's so disconnected from reality. Someone writing Python libraries isn't going to suddenly jump into firmware development and fix bugs that have eluded other developers.

If anything, writing and thoroughly testing those libraries will help surface bugs.
It’s almost like we need a third space to discuss topics as a society outside the context of work, home, and religion.

Get outside of your bubble!
We deploy the version without the bundled stuff at work and we disable the auto-update since we push it ourselves internally. I don't see any other way to keep ourselves safe.

We also add the SHA256 checksums of the versions with spywares to our EDR (aka antivirus) platform to automatically quarantine them if someone attempts to download those.

For my personal use I use Mountain Duck, and I can mount those as drives which is nice (I'm not affiliated with them).
> Have you tried Ada?

I have tried Pascal in that sphere, which was on the too verbose side.

Arrow notations like in JS/Typescript are fine to parse for me. Some clear symbols are actually easier to read than an unpronounceable alphanumeric.
Information filtering is pretty standard in wartime (and other states of emergency). It's justified because misinformation kills, and the wartime laws allow for some limited suspension of civil rights to protect national integrity. People seem to forget, sometimes, that from a legal standpoint the US government can, for example, still draft individual citizens; there's lots of individual liberties (including the right to not be put in danger of life) that get suspended in wartime.

And, of course, this is definitely an avenue for bad actors to take advantage of information asymmetry to mislead the public. US history has multiple examples of this occurring. They tend to be exceptions, but they are worth knowing.
Non paywalled version: https://www.reuters.com/markets/currencies/spain-blocks-sam-...

There are already other projects doing something similar to this, like Clear, with real world applications. Ironically, Altman thinks it's worth to create a problem and the solution to it:

> Altman says its ID will allow users to, among other things, prove online that they are human, notably in a future world dominated by artificial intelligence.

All while profiting from people who think "Worldcoin" is going to be worth anything in the future.
I can highlight text on the application switching screen (swipe up on android, press and hold over text on any of the applications in that view, you can highlight text that's otherwise not highlightable)

Likewise, you can highlight text on screenshots.
Disruption is different with AI (& more dangerous for incumbents)
This reminds me of the Australian National University hack, where the threat actor downloaded and spun up their own XP/Kali VMs on servers they compromised

https://theuniguide.com.au/news/anu-releases-details-of-data...
> Static typing is useless without strict typing. Knowing the type of everything won’t save you if you can multiply a pointer by an integer and use the result as a file handle.

What language are you talking about? Go to godbolt and try that with any of the compilers there for C or C++.
No it's not.

If I say I 'may' give you a million dollars it's much different from _actually_ giving you a million dollars.
US smashes solar records in 2023 – but 2024 will bring road bumps
Call me crazy but I did not think that was a surprise. I worked at big bank that had consumer-facing JS web app with 6MM lines of code, though now I am starting to think that that number is false, given the feedback in this thread.