skysight-inc/HackerNews huggingface dataset:
New glaciers can definitely form. A new glacier formed after the eruption of Mount St. Helens in 1980!

https://en.wikipedia.org/wiki/Crater_Glacier
OP here. Thanks for the feedback! Yeah, those are some pretty tough sentences (obviously not in the dataset). The tongue twister one is really interesting.
Question from ignorance: if the planets are "moons" around the sun and the sun rotates around P9, how would we know?
Someone will probably figure out how to send a request to disable auto-pilot or turn off the fasten seat belt sign.
Gotta disable in-flight messaging while flying over certain states ;)
HN is dominated by computer science people. Category theory is related to functional programming (e.g. Lisp), which academic computer scientists tend to like. Proof assistants are related to verifying correctness of software, which many computer scientists (especially the nerds, counting myself) like because it lets you dreem of a world that's not so messy (or at least of conquering the mess that it is in a small closed domain).
this idea could feasibly produce code replicating the gui, but the IO and algorithmic funtionalities, would be in a black box
So for what we’re using it for, which is handling Wi-Fi communications to a central server, handling CAN bus communications to four motor controllers, dealing with RTK GPS and calculating path following parameters for GPS paths, the raspberry pi is perfect. They are cheap, have excellent documentation, and until recently availability was no issue.

Jetson boards are much more expensive. We do plan on making a computer vision add on for our robot which uses the Orin or similar to process images, but I find the raspberry pi perfect for sort of stitching the whole system together.
Generally, how much weight does one place on how long a project took to implement from a recruiter or interviewing standpoint?
Can you expand the oscillations part? I find that interesting.
Outside workers(contractors and such), Infrastructure, Sales/Marketing, licensing(Star Wars, NFL, DC, etc.).
It's probably possible to use replacement ortlieb latches for a more secure rack connection (fully closed latch instead of hang-on) with quick release.

For example:
https://www.ortlieb.com/usa_en/ql1-hooks-16-mm-with-adjustab...
Do thoughts/ideas have inertia?
what is the substance of this complaint?

if i pull the API for django or react or ...anything else, how much should i be expected to understand without any prior exposure? how is "domain-specific gibberish" any different? you make up words to represent groups of other words in order to capture concepts. it's literally just how language works.

let me translate for you:

proof assistant: program that checks your work (writing a proof) and helps you find new proofs.

synthetic: math where the axioms "represent" the objects instead of the other way around (they're "synthesized" from the objects)

1-category: a collection with objects and functions between them

2-category: a collection with objects, functions between them, and functions between those functions (called homotopies)

k-category: you get the idea

∞-category: the limit as k -> ∞

second-order abstract syntax which is great for lambda extraction: syntax specifically suited for this kind of stuff

and you know what? even though i am not a category theorist i was able to figure this out. you know how? i quickly skimmed the "docs" https://ncatlab.org/nlab/show/synthetic+%28infinity%2C1%29-c...
We are still in an ice age called the Quaternary Ice Age. It just happens to be a warmer period in the ice age. Glacier formation is a function of snowfall and melting. If more snow falls in winter than is melted in summer glaciers will eventually form and start flowing.
Plus, they're only launching the 4/8gb models to start. So there'll be another wave of cheaper ones a little later. Really hoping they still hit the $35 price point on the 1gb model.
Dhall was first released in 2018. Helm was started in 2015. Helm did flirt with using Jsonnet which would have been better, but I think they already had charts using templates.
When command line options were introduced
Slack/Discord/Teams? Those are desktop web applications hosted via Electron. Failing to leverage basic platform functionality is practically their telos.

It’s a trivial, documented, supported, long-standing API for a common use-case. It is widely used, as documented, for its intended purpose.

I cannot share information about specific applications.
launch where exactly?
I never claimed to be a competent full-stack web developer.

I'm an AppSec engineer. I don't write a lot of code, and when I do, it's entirely scripts and occasionally modifying existing code (both front- and back-end, but more often back-end) to implement security fixes.

That said, I could probably hobble it together. It'd be ugly as sin with hand-written Web 1.0 style HTML and likely server-side rendering since I hate writing front-end code, but it really wouldn't be hard as long as you're keeping it simple - Just text posts (No video/pictures, though maybe that wouldn't be too hard to add?), no algorithm for engagement (just chronological ordered tweets), no analytics to determine what's trending. Obviously no mobile app.
If you're a hard-line right winger, the goal is actually to set undesirable groups back, but that's a pretty fringe position.

Based in recent history, most recently on spending cuts in the proposed house spending bill, this appears to be well within the mainstream of the Republican party.
Textbook publishers sue shadow library LibGen for copyright infringement
Maybe they read 60,000 even when at 62,000?
Oh, interesting. What browser are you using? I'm able to set to 0.
Yes, that's very reasonable in this case.

What a world where this is treated as wild. No wonder CA has gone to shit.
I once tried to find a simple standalone interpreter to play with and couldn't. There is a list of projects that use Starlark at https://github.com/bazelbuild/starlark#users. It lists https://github.com/carvel-dev/ytt for YAML templating and https://github.com/jathu/starfig for generating JSON and YAML configs. (I have not used either.)
Words are just a lossy inefficient stand-in for a vector embedding database.
It's tough to even get people to glance at side projects in my experience.
It is so strange that donors and alumni can put pressure on schools to fire coaching staff in athletics programs to make schools perform better. Yet when it comes to the administrative bloat and waste alumni don’t hold their schools to the same standard. Like academic degradation is something no one cares about.
Ah, that must be because of the render in the background. Maybe we should turn that off.
In case my top level comment was not clear:

if you are in public, you have no expectation of privacy outside of physical interaction in your immediate space outside your body (and even then, on crowded public transport, this is not the case). If someone can see what you are doing, there is no difference between that and them recording it. If someone can hear what your are saying, there is no difference between that and them recording it.

If you don't agree, you are essentially saying that you are entitled to do and say what you want, but gathering any evidence of you doing so is not allowed, which not only doesn't make sense but is also pretty indicative that you are looking to be up to no good.
When I mean by "they are still broke" I meant governments that have to provide the safety nets. And what I meant by "expensive" was more things like real estate prices. Sorry for the confusion.
Unless I missed something, it seems they didn't share which models by parameter count they're gonna be offering, nor anything at all about cost.

Also, this strikes me as really weird phrasing:

> Llama 2 now available for global usage on Cloudflare’s serverless platform, providing privacy-first, local inference to all

"privacy-first & local inference" would be to run it locally, on your own hardware, isn't that exactly what should be referred by when using "local"? Or has the definitions of words completely gone out the window as of late?
Some tried and tested ways:

- Build content of value in the domain your startup is in. Could be Blog Posts, Social Media posts, youtube videos etc. For example, if you are working on a solution for learning a language, you must create content/guides on how to learn those languages. Free Guides, 10 tips, etc. Wuality over quantity. This takes time though so don't expect results overnight. 6-9 months in, you will start tremendous results but don't wait and start on Day 0 anyway.

- Free Tools that can drive traffic to your actual product. Hubspot is excellent at this. They have created many free tools (separate websites with their own ranking) that help them drive tons of traffic. https://www.hubspot.com/resources/tool

- Go where your potential customers are. Physically and/or virtually. For example, if you are selling to Real estate agents, go to real estate conferences/meetups and try to build genuine connections. Manual but can pay off over time. Do the same virtually on niche forums, association/membership websites etc. Pay to play if needed.

- Personal branding on social media/twitter etc to drive traffic to your company. This one is interesting to me and I have been trying to do better but it seems like this can work wonders as I see lot of people on Twitter etc building a Personal brand which is free marketing for their products.

- Plain outbound: Nothing fancy. Make a list of potential customers/companies/individuals and reach out to them manually through email/social network etc. This is related to the the point about go where your customers are but more focussed on outbound outreach through email/social/phone etc.

- Go to competitor's social media/forums/public communities if any and try to find users of those products. Reach out to them for feedback on your own without trying to sell.

- Get influencers/experts online in your industry to review your product. Could be pay to play but if they have good traffic, they can help you get leads. Also do things like affiliate program etc with online bloggers in your space.

- There is also "Help a Reporter" https://www.helpareporter.com/ website where you can connect with Journalists and Bloggers to help them write on topics they care about and in exchange you get a backlink to your website.

Marketing and Sales are an engine that take time to develop and every little thing adds up over time. Most of what I mentioned can be applied for any software business. Good luck!!
> which academic computer scientists tend to like

citation please? there's one guy in my department (one of the best theory departments in the US) that contributes to sml and that's about it as far functional goes.

a less charitable/more accurate response to gop's question is: HN has a fetish for both functional programming and cat theory. there's even another response here that captures the sentiment beautifully:

> I have studied math and was in some lectures about category theory. I still don't get what the project is about and that fact intrigues me.
Anecdote: my one attempt to use a Raspberry Pi PoE hat ended in almost immediate failure due to a mechanical failure of a header on the hat. (Also the built in fan is crap.)

The RPi itself is still going strong.
> People got up, admitted they were Progressives and that they were wrong about the ideals of rehabilitation instead of punishment.

People asked for rehabilitation instead of punishment. All politicians did was stop punishing (some) property crimes and call it progress. No meaningful attempt at building a rehabilitative system was ever made.
As it appears to have been throughout their entire digestive tract, we can at least conclude that it didn't kill them quickly...
Epic Games is eliminating 16% of its workforce and selling Bandcamp
How 'strike culture' took hold in the US in 2023
What they lose is a long history and community knowledge of hacks. What they gain is data integrity, consistency, and concurrency.

We need to think about a tool that can do those with the same ease as Excel (Or Access). If we can't do that, it's because we need to make these tools better.
this kind of reminds me of those integration platforms. where you need specialized training and consultants to map data.
had gone
> Not sure I see the point in hating on one specific configuration language. If it was that bad, nobody would use it. And if you still think it's bad anyways, you can always improve on it. But very few actually want to put on the enormous amount of work needed to improve YAML or create a new language.

The point is that this format is like a virus. It doesn't need to be improved. It needs to go away. We already have a lot of great serialization formats that have all the use-cases covered. Whenever someone chooses to serialize configuration into YAML, they are unleashing hell upon all of the humans that have to use it.

Let me put it this way. If I was designing some software to sell to you that requires a config file, why would I skip over TOML (INI), JSON, or XML to pick YAML -- a brand new format that has a lot of funny rules that take training to understand? I would be subjecting you to confusion for no good reason. If I'm designing the software for a developer, I'd use JSON or XML. If I'm designing for a non-dev, I'd use TOML. If I'm intentionally trying to cause suffering, I'd choose YAML.

Edit: I wrote this comment in a way that makes it sound objective. Programmers like to think our arguments are all objective. Truthfully, I think the hate train is really about that fact that YAML seems to be very divisive -- some people really like it, and some people feel very frustrated with the format (like me). When those of us who don't like the format encounter some system, tool, or package that relies on YAML serialization, we lose our sh--. We feel that we're being subjected to a difficult and silly new format for reasons that seem entirely arbitrary.
> I wouldn't be surprised if at least a few contributors in the open source AI community initially got in just because of this aspect

whistles innocently
> There's this iOS app called Flightly

I guess it's Flighty (https://apps.apple.com/us/app/flighty-live-flight-tracker/id...)

I love that people are into this. In the days before iPhones, I had "Microsoft Streets and Trips" + a USB GPS unit + Laptop. It was fun having it on a flight and seeing movement data in realtime. It was less fun answering questions from people who thought looking at the GPS data was somehow nefarious.
To be fair, I made heavy use of GPT-4 helping me figure out Flutter, that makes a huge difference in using a language for the first time.
something that is not mentioned in the article of commented here is that at least with my cats they used to go into ambush mode when they got into boxes.

my feeling was that since they are always hunting, they like anything that doubles as resting and hiding place to ambush anything that goes by.
Wait, doesn't everybody set up a prometheus/grafana dashboard for each flight to show the telemetry?
Athletic programs can make serious money for a school
That's what I would suspect. Someone who did enough research but hadn't really done it before.

But! It also looks pretty clean for a "first try" so maybe the paint is something else.
Serial ports are everywhere and these APIs can provide quite a lot of fingerprinting capabilities.

I understand why Mozilla is hesitant. "Why does a browser need to give access to a serial port" is a good question. Certain web tools have definitely proven useful (especially when using an Android device to flash microcontrollers!) but if you asked the average internet user 20 years ago if their browser should provide websites with access to their serial ports, you'd get laughed at.

I hope Mozilla reconsiders their positions on this, because this is just one of those reasons I keep Chrome installed. I need it very rarely, but when I do, it's often because Mozilla made a choice I disagreed with (like their decision to remove anything resembling PWAs on desktop Firefox, which is why I have a bunch of Chrome shortcuts in my application launcher now).
I went back and booted my old Indigo from back in the day, as well as an old Sun 3/80 recently. It wasn't as great as I expected it to be, and all the annoyances from when I used to do actual work on them came flooding back quickly. Nostalgia is a heck of a drug.

I still reserve the PET as a perfect machine because 1) it's the first machine I really used as a kid, and 2) I haven't yet been foolish enough to try and go back to one in over 40 years now.
Chrome/Safari isn't a duopoly, it's the same browser (Webkit).
It's true that the last few years have been rough for new users, but if they were already "doing stuff" with a Pi, why would they need to stop?

> I'm pretty sure the other brands saw a big uptick in sales

They probably had massive upticks in sales, which for them might have been quite significant but relative to the total Pi user base, not at all.
Let’s not forget that a decompressor for such a format would necessitate running the entire model, i.e. in this case, a 70B parameter decompressor. It’s perhaps not surprising that you can compress files better when given a (very) large dictionary to refer to. This is why any reasonable compression benchmark includes the decompressor’s size in the size score.
Zen IS Buddhism, it's not influenced by it. It's one of the most important schools within Mahayana Buddhism. It has Daoist influences via Chan from which it originated. It absolutely is categorically not Daoism though. It is Buddhism with a somewhat Daoist sensibility.
What other apps do this?
Note that using FreeRDP (directly or via a client like Remmina) can be a great option for accessing a Windows virtual machine on KVM/libvirt, as it often performs a lot better than SPICE but supports much of the same features (remote audio, USB and serial port forwarding, etc.)
I'm also not sure that people should be counting on regular, non-robotic delivery drivers to keep their mouths shut if they see any crimes.
Is it just coincidence that two separate posts on first page of HN talk about the same topic? I thought one was a duplicate before reading

https://news.ycombinator.com/item?id=37691232
Generally, does it add much to question a message in the footer with smaller text than usual, that seems to have been a offhand comment from the author?

It probably took you longer to formulate and write your comment than what it took for the author to add that in the bottom of the README.
The `ac` in `actime24` probably means `arrival city`.
I don't find YAML undertandable. I find JSON very understandable.

I think it's another example of the different ways people understand (I don't want to call it "reading") code: "textually" or "visually".

I suspect the same subset of people find lisp, coffescript or yaml readable, with the same drive of removing everything that isn't "words" from the code (useless noise!). The punctuation doesn't let them read the code as a text, I guess? and they only build the structure of the code in their heads after a "linear pass" through the code?

While myself and others like me are very happy with all the punctuation that makes the structure jump out to us at literal first sight. I build the structure first in my head and fill in the "words" later.

I made it sound all neutral-like and all, but it's not, my way is certainly much better. Learn to grok code visually, it's better.
Annoy Akamai by making a formal request under California law for any information collected from sensors in your device.
Can ‘road ecology’ save millions of animals?
It would be amusing if they used a pi2040 chip to drive the IO pins on such a board. I'm sure there's cheaper chips out there to do this.
The Cartesian closed category's internal language is simply typed lambda calculus that has equivalent expressive power to combinatory logic where the y combinator was originally defined.
When you're working as a donor, administrative bloat is who you're working with.

But many big donors only care about how the school does athletically. They don't care about the education side - and in fact, if they could figure a way to ditch that "cost center" they would.
Is there a phone that’s not entirely made in China?
I doubt cleaning up everyone's mess will ever be profitable.

And no doubt having the government pay private industry invites grifters.

I think a proper solution will necessarily involve going further left, i.e. government-employed workers. People who can't pocket the difference by cutting corners.
> If there is space for 3.5mm you might have a point.

I don't think you get it. The reason why there isn't any space for 3.5mm now is because they didn't want to add it, they could add the space if they so choose. This is not a problem you should think about, it should be the designer/engineer/etc's concern to figure out how to fit it in.

It is normal for there to not be any space in portable electronics, that just means they've utilized all the space they had optimally; it doesn't mean they can't add more features and redesign it to accommodate the jack.
>I don’t see how sending plastics to a dump is going to result in ocean micro plastics

Because that tends to only happen in a few, what we consider, first world nations. A huge portion of the world does not have sanitary waste collection system, and therefore produces huge amounts of plastic waste that get into rivers and the ocean.

Of even in places with waste collection, an (un)healthy amount of plastics never make it to the trash. Blow off/run off from trash cans is one example. Another is direct environmental loss into the environment. For example washing your clothes releases massive amounts of plastics, unless you happen to buy only natural materials.

Plastic is both a wonder material, and a wonder mess. Using it in things like medical device sanitation is a net benefit for humankind, using it everywhere appears to have higher costs than expected.
Yes, that annoys me too. The original name actually was "Eelo". Unfortunately, it had to be renamed due to a legal conflict. Creator Gael Duval also said in 2020 that the "/e/" name would only be temporary.
does section 230 protect companies that collect money?
PGMQ: Simple Message Queues Built on Postgres with Rust
Do I understand this correctly? Since universities pay through their nose for journal and publisher subscriptions, they don't have money to actually publish books themselves. Is that right?
relative speed against other stars is very much detectable by red and blue shift of light. We would definitely know if sun revolves around something, meanining changes its direction.
> YAML is good for human readable configuration

Not for me it's not.
You're doing it wrong.

You gain nothing by winning arguments. It's when realize you were wrong and the other side passionately tears apart your argument is when you learn the best.

Most people don't know how to learn from being wrong on the Internet, but for the those who do, they also might have something to gain when I'm right.

I don't know why some people think "the sort of person who argues on the internet" is some kind of low life. There are those who don't dare to argue, there are those who are irrationally afraid of being wrong, there are those who have lost passion for anything worth making a stand, and there are those who overly worry about what others would think of them. These people don't argue on the Internet, and I don't want to be any of those people.

That said, choose your battles. But don't be a coward.
Yeah, today it is even more fun. I underclocked my alder lake, now it consumes 10% less power at 100% load.
And on top of all that they're all hazardous and made poorly and pay people to lie to you about them being hazardous and made poorly. This is great!
Why anti-cheat software utilize kernel drivers
"Don't expect it" to "launching Q4 for individual buyers" isn't really a u-turn.