skysight-inc/HackerNews huggingface dataset:
The logic for inferring types plays out better for the first. Go limits the depth of searching for type inferences, to keep compilation fast/small/simple. It’s always possible to be more explicit but nice to infer when calling generic code.
Haha a guy wore them in a bar in downtown Vegas in 2013, and I watched multiple people approach him and tell him to take them off and stop recording everything. I never saw another pair IRL again.
Rather than reacting with knee jerk derision, I took a moment to read your blog's "My Context" page, and I think I do have to conclude you're living in the right way for yourself. Someone who puts freedom from coercion first and foremost in their ethical thinking, to the extent that you do, is going to find themselves at odds with the Overton window almost anywhere they go.

I'm not sure you're doing something in your own life that's much different here from what those people in the States are doing to you. You too are dropping hints and observing responses to decide whether to befriend or antagonize a given person. Hence the tone of some of the other comments - you've successfully antagonized a few people by what you've written here. I can't really tell whether you just dislike this "cultural war" you have going on (whatever that is) or whether you also have a distaste for this whole befriend/antagonize mechanism in general.

In any case I'm glad you've got a group of people you can pal around with online. It's good to have friends.
I can't find it right now, but there was a collection of crazy stuff he said on IRC while Quake was in development. Basically promising the world (e.g. the dragon). Very energetic, but clearly not well thought out.
Bit odd of an approach. E. g. why did they make a "detective" character played by Paris Hilton
Actually ResMed is Australian: https://www.resmed.com.au/about-us/the-resmed-story
If Apple made a split ergo programmable keyboard I'd probably buy one. It's kind of weird to me all the ergo mech crowd have latched onto the mech part, when I'm sure there are others like me who want split ergo and low profile :/
It's not that we think it's arcane or that we are in our own "bubbles of thought", it's that we aren't doing math. We're programming a computer. And a competent programmer would know, or at least suspect, that doing it with logarithms will be slower and more complicated for a computer. The author even points out that even he wouldn't use his solution.

P.S. Please look up the word literally.
I eat my initial words, this works really well on my macbook air M1 and feels comparable of GPT3.5 - which is actually an amazing feat!

Question: is there something like this, but with the "function calling api" finetuning? 95% of my uses nowadays deal with input/output of structured data (JSON, basically), and I kind of fear that OpenAI will no longer support thos specialized models after a few months... I know its probably not that glorious compared with multimodal chat UIs, but a workhose like nothing else for automation!
I seem to get such messages on v11.x. I also have applications that occasionally spontaneously exit, which I assume means bad error handling in the app, along the lines of "…else (exit);".
What if they can’t? What if whatever it is that makes the app so compelling automatically rules it out on the Quest 3 for some reason? What if it demands a better input method or higher resolution?
Isn't a bit anachronistic to eat these kind of small animals? Surely we can find better protein sources...
I have to give it to Meta on this one. These look stylish and cool and they are at a price point that I could justify. About $400 Canadian. That means a lot of people can adopt this technology. I think Google was just a bit premature for peoples comfort level but I really wanted to see it expand.
The con I see is pretty soon there will be no privacy. Facial recognition will make a record of where you are and someone will have caught your face on camera. But in a world heading towards deep fakes maybe this will be a good thing.
These are going to also be awesome for Youtube videos I can not wait to get a set and start doing motorcycle repair videos where what I see is what you see so you can know exactly what I am looking at.
"You are the bug on the windscreen of the locomotive. The train has no idea you were ever there." - Rachel by the Bay.

That's how monopolies work. They need not fear their customers.

In time, this becomes Orwell's "If you want a vision of the future, imagine a boot stamping on a human face – forever." Ask anyone who's had a dispute with the Apple app store.
I mean, sure, there are plenty: regulation, battery life, ruggedness, the creep factor, the fact that this does not provide me with anything similar to the value of a smartphone.

Not all of us spend our days walking down urban streets, having a desire to have the things around us augmented. My smart phone spends 98% of its life in my pocket because I don't want or need any application most of the time. I've tried adopting a smartwatch on multiple occasions and never found it offered me any value. All it did was convince me to turn off a bunch of notifications I didn't need to be getting to begin with.
is a separate numpad an option?
Find your favorite topic in https://www.openbsd.org/faq/pf/index.html and compare to how you'd do it in your favorite firewall.
Public schools tend to give a lot of "need-based" scholarships, aka "we'll charge you whatever you can afford". Private universities are more open to "merit-based" scholarships on top of that, where they're actively trying to attract top applicants by reducing their effective cost, oftentimes to even cheaper than public universities.

As a result, if you're from a low-income background, but overcome the odds and manage to be an academically competitive applicant, most private schools will be offering something close to a full-ride once both need and merit based scholarships are considered.
Same in some cars, they will use this foam to pad the insides of the ductwork for ventilation and eventually it spits out tiny particles of foam that you could easily inhale. If you have an older car it may be worth looking around the vent holes if there is any build up of foam particles if so you may well have a problem.
I don't wear glasses. I don't live in a sunny country. Unless I'm wearing flat and clear lenses I would infrequently wear these casually.

I like the concept. Just not sure about market fit outside a people who wear glasses, sunny locations and hardcore fans. Although that's a lot of people!
Reminds me of Snapchat's Spectacles: https://www.spectacles.com/

Forgot those even existed.
The friction with Meetup, is that I'm not "a whiskey guy", or a hiker, or a rock climber. I have hobbies, but I'm not defined by them, so meeting up just on that hobby doesn't work. The app needs to detoxify a man going on a date with another man for non-romantic,
non-sexual purposes.
It's retribution for the humiliation and destruction of the Opium Wars.
The creator owns the copyright.
"We sleep soundly in our beds because rough men stand ready in the night to visit violence on those who would do us harm." - no one, probably [1], but the sentiment still stands

[1] https://quoteinvestigator.com/2011/11/07/rough-men/
I'm no fan of either company but the general concept is that Meta specializes in software not fashion, so partnering with Rayban will allow people to feel fashionable while using Meta's device (and of course allowing meta to follow their every move).
Recording everything you see is the very opposite of “living in the moment” as they describe their product promise.

Not to mention, of course, the intrusion into the lives of the people you’re recording, whose “moment” is not your moment to record.

Their language positively reeks of lies. I’m sure the glasses will be popular, and there’s nothing we can do about it.
My assumption is that people like to be seen recording and/or recording themselves. I'm guessing 'terminally online phone' people don't have the impulse to use their phones less and keep it in their pocket?
Amazing syntax? Isn’t this standard JS chaining?
Absolutely agree. Compcert solves a very difficult problem better than pretty much any other solution. However, that problem is mostly a theoretical one, even if it's important to mitigate it. It's not a replacement for source level verification and migrating the compiler can be put off until relatively late in a project.
> Enhancing Image Generation Models Using Photogenic Needles in a Haystack

They were collecting the needles
a good chunk are "only the lora is apache 2 the base model is lama" or straight up llama2 model finetuned and distributed laundring their license, or use gpt generated code in the finetuning dataset against OpenAI tos. licensing is a bit up in the air and just filtering with apache 2 doesn't tell you much
The limiting factor isn't the size of the dataset, but the rate of writes.
Frankly, if you treat effortful but green contributors the same way you treat grindset morons and LinkedIn jockeys, I would put money on the submission rate from the latter continuing to increase long after most of the former have decided your project isn't worth their time.

This is a bit of a moot point, though, since I don't think it's very common for Linux kernel maintainers to behave this way. Correct me if I'm wrong.
Unless the traffic has some correlation to the contents - e.g. the data is compressed so "simpler" data has less traffic - it doesn't seem directly relevant. As far as I'm aware, there's no data dependance on CPU cache or dram busses with one exception - zeroing cache lines are often special-cased. This might be useful for some very specific attacks?

Also this might be usable as an attack on an OS that use some sort of compressed ram or swap - evicting a page from a target process's working set could cause something that could be measured, and thus information about how well the compression algorithm it uses happened to cope, telling you something about the contents.

But one of the big parts of this is the iframe transforms allowing you to amplify the "interesting" data from the noise across security boundaries (IE turning a single pixel into a large number of compressed tiles, making the attack much simpler). That feels like more of a software issue than a hardware one. I'm not sure if something similar can be done on the CPU side of things, and if that's strictly required to make this attack possible, or just easier.
>...this seems to be working well for them.

Is this because the users are streaming audio in a more conversational style?

For example, when you give siri a command, it is stated, and then you stop speaking.

For most of ChatGPT‘s life, in openAI’s iOS app, if you wanted to speak to input text, you would tap the record button, and then tap it off, either using the app’s own Speech to text capability or siri’s input field speech to text.

Conversational speech to text is more ongoing, though, which would make a 10 second cold start OK, because you don’t sense as much lag because you’re continuing to speak.

Or perhaps people in general record input longer than 10 seconds, And you are sending the first chunk as soon as possible to get whisper going.

Then follow up chunks are handled as warm boots? Then the text is reassembled? Is that roughly correct?

Anything you can provide on sort of the request and data flow that works with a longer cold boot time in the context of single recording versus streaming, and how audio is broken up would be helpful.
The "TLDR" version is that Ubuntu 23.10 continues competing very well with Microsoft Windows 11. Even when it comes to the integrated RDNA3 graphics, Ubuntu with its stock graphics driver support was competitive with Windows 11 and AMD's official Windows driver there... In CPU workloads Ubuntu 23.10 is very competitive with Windows 11 on this laptop, with few exceptions. When it comes to creator software like Blender, Linux continues to perform significantly better than Windows 11. Let's look more at the numbers.
Everyone wearing them will eventually die in terrible car crashes because Eye-Sta-Gram Videos are more entertaining than stop lights
As someone who hasn't done anything with these VR headsets it appears Meta & Apple are emphasizing AR/productively because gaming with these things are terrible.
Wouldn’t touch this shit with a 10 ft pole.

Don’t need FB/Meta harvesting my VR data.
I am just waiting until Valve releases an open, PC based competitor to the meta quest.
A doctor can use a portal to see if it’s working and if further patient instructions are needed or to adjust airflow pressure.
That's one hell of a great landing page. It tells me pretty much everything I want to know.

- Beautiful screenshot.
- "Essence will happily run on low-powered hardware.
It can take less than 30MB of drive space, and boot with even less RAM.
No tasks run in the background, giving your applications all the space they need."
- Amazing performance.
- All the code is made available under the MIT license.
- Demo video.

I can immediately imagine many different ways this could be popular in areas not covered by the main desktop OSes. The only other thing I guess I want to know is the developer toolchain/experience and "getting started" which is covered by Discord/Patreon links.

I think it would do well to differentiate it from current desktop OSes, e.g. first class support for touch interfaces, etc. Imagine all the IoT devices needing UIs.
track record of publications
I understand your point, but disagree.

1. Assertion: End-users of Unity are developers, not gamers.

2. Opinion: Gamers should not boycott developers in this situation.
Some time ago I heard a journalist comment about the synthetic opioid issue being something akin to the Opium wars but without many of is realizing what is going on. Every so often I see news that makes me think he may have been onto something, I wish I could remember who/where it was.

https://en.wikipedia.org/wiki/Opium_Wars
Golf balls inspired dimpled pistons for diesel engines
That seems to reinforce my point to me.

Both of those are available on other platforms. They don’t need the Quest 3.

Why not just buy an Xbox?

What makes me need a Quest 3?
>The last time I used a numberpad was to play Civilisation in the 90s

Ay! another civ 2 fan! I agree it's painful to play that game without a numpad. I also used it with some tactical shooters to radio compass directions to my team. 'Enemy spotted south south east!' It came in handy.
llama.cpp support is here already via https://huggingface.co/TheBloke/Mistral-7B-v0.1-GGUF And yes it works fine in oobabooga.
Helion likely will spend a portion of that $35 million purchasing steel for its reactors. This smells like a form of vendor financing.
OSes not tailored for generic platforms can be built without all that conditional code that executes whenever this or that chipset is found; then all those delays because you don't know how much time a chipset or peripheral will take to initialize, etc.
> So what’s the killer app?
the porn app automatically locks the doors of your house to stop people "disturbing you"
The Meta glasses don’t have a display, it’s just camera and audio.
We should really give it to Meta for their tenacity. While Google canceled its projects left and right, including Google Podcasts to celebrate their 25-year birthday and Google Glass, Meta perseveres and pushes the state-of-the-art.
I don't think it will be as ubiquitous as smart phones for the same reason smart watches are not as ubiquitous as smart phones.

The reason I do not wear a smart watch is not because they're not useful, but because it's simply not comfortable for me to be wearing something on my wrist. It's not a big deal, but I prefer to not wear rings, watches, bracelets, etc.

Similarly, I prefer contacts over glasses because of a 1) glasses reduce your field of view / quality of vision, 2) the touch / feel of having something on my face, and 3) them inevitably falling off or being grabbed by my baby.

Smart watches got as ubiquitous as normal watches, and smartphones got as ubiquitous as wallets (and other things you might keep in a pocket or purse). I expect smart glasses will become about as ubiquitous as regular glasses.
I'll buy this simply to have a better experience playing Onward VR. I'd buy it if that was the only app/game available. There's other stuff to mess with from time to time but Onward keeps the quest 2 in mostly daily use.
"For sunglass creeps to capture more long-term memories."

—Some Rayban Executive, probably.
Crypto and the Curse of the 51%
Yes!

https://github.com/ggerganov/llama.cpp/blob/master/grammars/...

Its actually better than a specialized model, during token generation it constrains the possible output tokens to an arbitrary grammar (like, say, JSON syntax). So it will work "perfectly" with any model with a basic understanding of the format.

Kobold.cpp and text-generation-ui already support this, and both will run on your mac.
I use my Quest 2 for mostly streaming from my PC games likes Asserto Corsa.
Recent, IMO more relevant discussion (though not covering Kafka Queues yet):

RabbitMQ vs. Kafka – An Architect’s Dilemma (Part 1) - https://news.ycombinator.com/item?id=37574552 - Sep 2023
If it consistently hasn’t worked, perhaps it’s worth trying something else in each of these jurisdictions at least?

Rather than continuing to do the same thing and expecting different results.
---

If you want to build a ship, don’t drum up the men and women to gather wood, divide the work, and give orders. Instead, teach them to yearn for the vast and endless sea.

- Antoine de Saint Exupery

https://quoteinvestigator.com/2015/08/25/sea
The way I read the article, "live near your friends" means "within 10 minute walk of them", not "20 minute drive". I live 5 minutes walk away from a very close friend of mine

apologies for being pedantic, but the article literally starts off with a screenshot of the Live Near Friends app which shows that you're doing it exactly right in their terms, because they're talking about living a 5-minute walk away. likewise, that's the goal of the app:

This August, Levin launched Live Near Friends, a site that helps people live within a five-minute walk of a close friend or family member.
https://archive.is/cRJHD
> This is not an error or even a warning by default!

It depends on the compiler, for instance in Clang this is part of the default warning set:

https://www.godbolt.org/z/bKnq456eK
You are assuming they were unable to compete in a busier environment, and not punished by Amazon, as the complaint alleges. It sure would be a convenient-for-amazon coincidence if the ones "unable to compete" experienced any differences in their "ability to compete" as a result of Amazon's actions, after they sold cheaper on a competing marketplace. I doubt Amazon will be able to convince many people that it was a coincidence, versus what obviously appears to be anticompetitive business practices.

> What evidence have we been given that they punished folks?

What evidence do we have that the ones who listed cheaper elsewhere happened to suddenly be "unable to compete" in the same environment without any action by Amazon? Seems like a convenient coincidence. An unconvincingly convenient one.

We'll see what more comes out as far as communication goes, but more importantly, as far as disparate impact goes: given the data we'll receive as a result of this suit, we'll be able to tell statistically if there was any difference in treatment for sellers who sold cheaper elsewhere vs. not, regardless of pretext (suddenly becoming "unable to compete")

>at large, more competitors leads to fiercer contests and more losses. Pretty much period.

Perhaps. Amazon is fighting competition by engaging in anticompetitive business practices, and they're still around. Maybe there's something to that. If we want more competition to Amazon, then, that means we need Amazon to stop engaging in anticompetitive business practices.

Competition is fierce, worse when your marketplace is engaging in anticompetitive business practices.
The commenter you're refering to is wrong and refer to a inaccurate/lying secondary source. Here is the primary source:

https://unece.org/sites/default/files/2022-05/ECE-TRANS-WP.2...

It's the second time in that much week that Ars Technica blatantly lie about what's in the primary source, maybe trusting nobody would check. I'll wait until my subscription finish, but i won't be retaking one next year.
Reminds me of google glasses and the "glasshole" mentality. But because these are pretty stealth people won't realize it.

It does have strong surveillance state vibes, everything I look at is recorded and replayable. Gonna take the cancel culture (in both the positive and negative aspects) to overdrive.

In any case, let's see the price tag. When that tag goes sub-$100 we'll see some real stuff happening. Also would be interesting to see the cultural shift as most people may end up wearing glasses with AR built into them.
Ruby off Rails inspired framework for Elixir.
As a shooting enthusiast, my first thought is what this does in pistol competitions.

Shooting a pistol is, perhaps unintuitively, more difficult than a long arm, because the rear sight is effectively floating around "out there", and you need practice to get your rear eye in the right place (even if using a flip-up red dot reflex sight). When moving around, re-acquiring always takes time, and it slows you down.

With the smart glasses (and a teensy tiny accelerometer-thngy on the barrel), your point of aim is always in your field of view, and you don't need to slow down or even acquire. You could hip-shoot accurately from a dead sprint. It's gonna be pretty rad. They're gonna have to do eyeware examinations, or else it's going to be dominated by smartglass shooters. Like, "dominated" as in "someone is using a cheat code" dominated.
On average having some level of debt boosts shareholder returns. It does increase the risk of bankruptcy, but usually it's a net win. Smart shareholders are diversified so that the bankruptcy of any single company in their portfolio has minimal impact.
The technology for displays (resolution, battery/power needs, field of view issues) is so many years away that it makes sense to try and go with basic touch/swipe and audio UI now. There are great use cases for a device like this...no doubt with a display ability it would be truly incredible but no reason not to be working on this today.
I have yet to get any useful output out of the Q5_K_S version; haven't tried any others yet.
Note the ambiguity: more relevant ads as profitable for the ad provider vs. offers more relevant (useful) to you.
> I think what makes a programming language easy to use is largely due to the constraints that it imposes, through carefully thought-out design decisions.

That's interesting. I'm pretty well convinced of the opposite. I primarily work with Ruby, which doesn't really have a whole lot of language constraints in the context of "what can I do?". Part of the language design philosophy of Ruby is to give developers "sharp knives" and let them individually avoid chopping off their own fingers. I haven't tried my self but I would expect that something similar or identical to this could be implemented in Ruby and I wouldn't consider that to be something which makes it worse. Indeed, that's one of my favorite features of the language.
Persimmon-8B from Adept did it first no https://www.adept.ai/blog/persimmon-8b
Linked Lists Are Immoral
Shooting to be the Android to Apple's Apple in this market doesn't seem like the least sensible strategy.
10 pounds of fentanyl is enough to lethally overdose about 2 million people.
Yes, and I don’t expect this to change much in the foreseeable future, given current technological constraints. But why would you expect a third-generation product to suddenly change this?
Is there a good way to text someone with smart glasses yet? How about cropping a photo before posting to instagram? What's the experience of doomscrolling twitter/x/whatever? I really don't think they're going to be as ubiquitous, as smartphones without being as good or better than them in at least some of these