skysight-inc/HackerNews huggingface dataset:
I've been pretty excited for the airjet to start making it into products but also I hope they open up D2C orders for tinkerers soon. As a normal consumer I can buy every other part of my laptop or desktop all the way down to most individual electrical components.

I get that it's a new product that requires good engineered integration to really show off how amazing it is, so they want to start with some flagship products... But if Frore Systems starts treating the airjet like it's a secret sauce to be slowly doled out to manufactures it'll just make me suspicious of their claims and the airjets real world usability.
Something more sophisticated than this is going to be of service to kids who lost their daddies in early age, I think.
Sometimes you just want to point at something -- so use the pointing device!
I've seen the entire industry move towards React/Angular type frameworks and it's invariably been a really bad thing. Large projects end up with front end specialists and backend specialists and very few actual full stack devs. What ends up happening is that no one person can do an entire feature anymore.

I'm all for web components!
I had that issue for a while. I solved this issue by ensuring SNMP was allowed on the printer. I never had that issue again after confirming SNMP traffic worked.
Searching code server-side (especially with the newly added intellisense-ish features) is probably expensive, yet they think they deserve such a feature for free, when code searching/browsing isn't GitHub's primary goal.

Why not either learn to use local code search tools and clone a repo, or just log in and search then? Are either of these things such a hurdle?

I sympathize that the person opening the post is frustrated by the chain of PEBKAC events that unfolded, but that's not really an issue with GitHub.

The issue opener is behaving like an entitled toddler by making his problems "societal" problems. Honestly, the lack of self awareness with some people is astounding.
Correct link: https://www.youtube.com/watch?v=0i4dkb5w2Lg
Most developers are mediocre, so having a language that can match the skill level of the average dev is a win for many situations, no?
Plex Users Fear New Feature Will Leak Porn Habits to Their Friends and Family
That's an excellent description of a basic diffing tool.
You're ignoring the fact that "Firefox Home" itself allows you to customize what it contains. You can remove the recommendations, shortcuts, recent pages, recent bookmarks etc. individually (or strip it all the way down to a search bar).
Is great have a resource like this to find quality games.

Recently I purchased the game Limbo for Android, the game is awesome and has no in-app purchases and stuff like that. It is listed on this site [1].

But I find really annoying that each time the game launch, I get asked to create a "Google Play Games Profile" [2], and is no "Don't as again" option, or disable that dialog on Settings. I will dispute a bit the "no bullshit" label.

[1] https://nobsgames.stavros.io/android/?name=limbo&genre=&rati...

[2] https://imgur.com/a/lInE4zn
In Windows 3.1 and Windows 95, what is a "grabber"?
This effort reflects the excitement in the Python community around `ruff`. Excited to see efficiency and speed gains with a wide impact.
Techno optimism is good and should be the default. I wish a16z didn’t ruin that phrase. Techno optimism should evoke Star Trek, not Silicon Valley vibes
One of the linked articles [1] makes an interesting claim that feels like a reach to me, but I'd be interested in hearing HN's take on it:

> At this point React is legacy technology, like Angular. Lots of people are still using it, but nobody can quite remember why. The decision-makers in organisations who chose to build everything with React have long since left. People starting new projects who still decide to build on React are doing it largely out of habit.

I'm going to withhold my own thoughts about that quote, cause I'm curious what everyone else thinks.

Wrt. Web Components, I played around with Web Components about half a decade ago and they felt promising but not ready for prime time yet. They were pretty messy and felt like they did a poor job of encapsulation. (At least at the time.) I haven't looked at them recently, but the code examples in these articles look much better (and cleaner) than what I remember.

[1] https://adactio.com/journal/20618
30 votes is nothing. It'll be a blip. Not to mention having already been discussed / news from days ago. Nothing shady about it.
Yeah - a possible next step here would be to fine-tune on my own writing or speech. I don't think it's too wild of an idea, frankly.
Sorry missed this comment. There are a surprising number of them, basically any formal solver is a deductive reasoning engine. Prolog is itself a deductive reasoning engine (and if you're going to implement a reasoning system, its probably worth going through the WAM Book over a weekend, search Google for wambook.pdf, its a publicly released book with the title "Warren's Abstract Machine: A Tutorial Reconstruction". The harder ones are inductive and abductive reasoners, which I'm not aware of any opensource ones only old papers that all do little tiny bits. A lot of deductive reasoners boil down to just depth-first-search with backtracking.

How I'm storing them is maybe interesting... Graph databases that support tagged or typed relations get you most of the way to a basic reasoning system. I'm currently storing the graph content of the knowledge base in a database called SurrealDB with the RocksDB backend (this is new to me). Learning SurrealDB has been giving me a bit of Deja Vu around building simple reasoners, there is a lot of overlap between graph theory and formal reasoning.

Rules are encoded in the program. I find it beneficial to think about this as building up lots of small tools that are aware of what they're capable of and can indicate whether they think they can make single step progress towards the goal. You might have a small tool that if you have a location and you're looking for a different location (its prerequisites for "knowing" it may be useful) you could have that tool walk your graph finding the smallest shared domain that both are a part of that can become part of the context. Building up context and learning to disambiguate things using that context is kind of the "hard part" if you want to optimize your solvers or ask complex questions.

For the Rules to be meaningful you need to have an Ontology for your database. Your Rules will be operating on top of fixed concepts, and known relation types between them. Ontologies are a BIG subject that has also faded into the mist a bit, there are some samples on http://ontologydesignpatterns.org but there are a lot of dead links on there as well. The more complex your Ontology the harder to write and/or less useful the individual tools become as they will probably have fewer opportunities to run.

Hope this helps!
You have a duplicate word in your prompt

```
If you you are asked
```
This is an embarrassing overreach.

We don't even have models that can win the far easier AMC, let alone AIME, USAMO, and then IMO.
An Ancient Art Form Topples Assumptions about Mathematics
>Also what about cars owned by banks? I doubt they want their property sold off. They should be the ones suing the city for doing so.

Looks like the auction lists which vehicles have liens - presumably it's on the buyer to sort this out
lemmy is not that empty
A tip about offline Google Maps:

When your phone can “hear” a cell tower (and thus thinks it’s online) but doesn’t have enough signal to get any data, apps like Google Maps and Gaia will often hang instead of showing you the downloaded map data that’s on your phone.

Put your phone in airplane mode to fix that behavior.
> they nailed it for bigger projects.

Yeah, indeed, big projects did not exist before!
This is not my experience at all. Why can't a full stack dev know react or angular?
So much "Network effects for me, but not for thee" vibes in this thread.

Lets be clear. The VC streak on this forum would viciously exploit any opportunity to wrest every cent out of any even ambiguously quasi-legal network-effect-if-you-look-hard-enough.

I personally get great amusement in seeing the shoe on the other foot for once. Rock on, Nordic fellows!
Is there something similar for Google Accounts (not Google Workspace)? I do it manually: I have the every 3 months automatic backup and I upload it manually to S3, but I'd totally pay for a service that does this automatically providing my S3 keys (or similar).
For Google Photos, make sure to set the "BACKUP QUALITY FOR PHOTOS & VIDEOS" option to "Original quality". It's the very top radio button under the settings (for my using Google Chrome on my laptop). Can't miss it.
It already seems to be somewhat more fashionable than it was, say, ten years ago here in the UK, and in France it still seems like all the young people smoke.

The numbers are way down on thirty years ago, but I don’t think it’s ever going to go to zero on its own. Especially when the image of smoking is so embedded into parts of popular culture that aren’t likely to become less cool over time.
Don't they keep you under surveillance while you work?
Extract data from insulin pump, import in medical tracking website
I need to export data from an insulin pump omnipod dash in order to import in the medical tracking website https://www.mydiabby.com/.

The standard procedure is to use the proprietary app to proceed.
My friend has type 1 diabetes and she is trying to "close the loop" with open-source AAPS.

Is there someone that could point me to the right way of proceeding ?

I was thinking of using Wireshark to sniff the messages and recreate another app.
Also if there are people interested, I will share the code if I succeed.

Thanks and stay healthy !
Go is so boring that I found AI tooling to start being far more effective, fwiw
I'm in the print space and this post is weird. I have that exact same green MongoDB on the AA 50/50, as well as a couple other MongoDB shirts printed on different blanks. Somebody picked the design, picked a blank, and printed a batch. Next week somebody else will pick a different blank, maybe even for the same design.
I wonder if the 4% to 10% guidance continues to apply with significantly higher inflation now seen.
Maybe an rclone script that runs from AWS. Package it in a Docker image and run it from a Lambda function for pennies per invocation. Schedule it to run nightly.

https://rclone.org/s3/

https://rclone.org/drive/

https://docs.aws.amazon.com/lambda/latest/dg/images-create.h...

https://docs.aws.amazon.com/eventbridge/latest/userguide/eb-...

My script, though I run locally

rclone -v copy /source/location s3:backup.bucket.name/ --transfers 1 --copy-links --filter-from /config/syncfilter.txt --max-delete 20 --stats 5m --stats-log-level NOTICE --update --use-server-modtime --fast-list

My Dockerfile includes

RUN curl https://rclone.org/install.sh | bash

And I've configured the S3 remote to use Glacier

[s3]
type = s3
provider = AWS
...
storage_class = GLACIER
True. I just question doing it (too much) at such an early age, if only because every time they play when they're 2 years old they're also probably learning as well. Just last night my daughter was putting Hotwheels down a ramp in different ways, trying to do 2 at once, etc.
> Note that if Starlink knowingly allowed the service to be used by Hamas (which is defacto the Gazawi government so any terminal in Gaza would be at risk) that would be a serious offence under US law.

I don't know if it applies to corporations providing services, but all foreign aid to Israel is illegal in the US, since they are nuclear armed and not party to the non-proliferation treaty.

We have a policy of not acknowledging that they are nuclear armed to avoid this.
To train LLMs it seems asinine to try to scrape things instead of making a clone.

The only automated searches I could envisage to MAYBE be happening are those looking for vulnerabilities, and there are probably only a few dozen actors doing it.
State actors seem actually more likely to use clones of everything.
Sharepoint is killing productivity.

It's so sad that Microsoft does not see how they ruin productivity of big orgs.

Sharepoint broke Excel - you cannot link between shared documents easily.

They even broke the windows taskbar, which automatically combines things together. They assume that people working in an office have only 1 email open and 1 spreadsheet open, while most have 20 and dont know how to turn off this shitty UI.
> Isn't the whole point of dating to find someone who makes you happy and likes you for who you are?

Yes it is, that's the whole point. As a dude, you're not going to signal "hey I like you for who you are, I care about making you happy" with boring conversation. You need something that's not just that, and is not "keep pestering them and don't take no for an answer" either.
>TDD requires you to commit to an API before you fully understand what you want from it.

Unless you're running a spike that's actually a good idea.

TDD doesnt force a complete commitment, but by forcing you into a semi-commitment to your API before building it it often ends up drawing out questions and critical assumptions about the API design which helps prevent a lot of design and requirements mistakes up front. It's an instance of shift left - "testing" your api before even writing a line of code.

So, what youve characterized as a bad thing is actually a very good thing, provided you're TDD'ing at a high level.
My partner has been experiencing emails coming and going in big chunks - months and years at a time - but if we search support forums all we can find are "support agents" blaming the individuals complaining about this phenomenon. It's gaslighting all the way down. Even when it's actively happening, checking moment to moment and having another few months vanish, and they'll still tell you "you must be deleting things, stop deleting them."
That would not be a compile error, but these sorts of issues are why you should also run `go vet` and `golint` for a healthy codebase
Sam Altman talking about Loopt SXSW 2010 [video]
> may be another section up around MSK/Cornell

Yup, all along the East Side. This is why you’ll find English weeds growing on Manhattan.
Let's say that I hire you as a software engineer. I tell you to implement several new features in the product you are assigned to. But, you aren't allowed to read any documentation or source code of the project you are working on. It exists, but by law you aren't allowed to read it.

That's the situation TCS contractors are in. Now, laws are laws, and we have to follow them. There is always plenty of money to do things by the book. I thought this was a gov. project, not insurance, but the principle is the same. Transamerica is getting worse service because the contractor that they prefer wanted to look at documentation for a system they payed for. This is why enterprise IT is a legally mandated mess.
Yes, this is standard now on Github. I noticed this weeks or even a few months ago. Now I often resort to cloning repos and running my own dumb grep. Thanks for being helpful, Github.
lit.dev is awesome.

I am a backend dev so I don't really want to get into the intricates of React or Angular. But if I need some reactivity for some complex element, I use lit. It's awesome
They don't.

When your tech needs 20 more web specs [1] to fix stuff that literally no one has issues with, it means that you will be locked in to frameworks that solve these issues.

Literally right now Web Component SSR is a framework-specific barely working non-solution. Even the most ardent web component proponents have given up and advocate a framework lock-in with lit-html and others.

[1] https://w3c.github.io/webcomponents-cg/2022.html
I could be wrong but I think it's only saving power if pixels are actually solid black where the pixel can be turned off entirely. I don't think dark shades are more power efficient than other colors.
Thankfully a lot of apps are getting explicitly named OLED dark modes to take advantage of that.
I'm looking through the docs, specifically the formatter stuff ( https://biomejs.dev/formatter ), and it feels like all the examples are backwards?

Am I missing stuff?
I think if you choose file, it will share the uncompressed file vs photo from gallery
i am being facetious about being "the pretty one" but you are focusing on a single measure here, being alone.
Starlark in go https://github.com/google/starlark-go is a great way to combine the best of both, the ease of use of Python and the simplicity of go.

I have been building a platform for deploying internal web applications using this approach https://github.com/claceio/clace. Use Starlark to configure the application, the platform itself is built in go.
I don't think so. You can have imaginary rationals, or even imaginary natural numbers (that is, a+bi, where both a and b are rational numbers or integers).

Although I will admit that a big part of the point of the reals was solutions to polynomials, and it takes complex numbers to be able to solve them all.
If that's true then they should still provide the old non-heavy search for non-logged in users.
I guess thats true. But Its a cool BBS we have nowadays tbh.
Telegram does intact have "lossless" image transfer.. might not be suitable on a mobile device though with space considerations and lack of cloud sync by design.
I agree with you, but I also feel like you're throwing pearls at swine. Some people will always have an incredible amount of entitlement to justify their laziness or incompetence.

I mean, the person opening the issue escalated this into socioeconomic issues just because they don't know how to use grep... What else is there to say?
If that were truly the case the crusaders would be trying to stymie the meat industry on environmental legislative grounds. Instead all we get is some abstracted sense of blame at the consumer level, no real action, no real teeth, no real change to industry or society.
Development of antimicrobial peptides with cell-free synthesis and deep learning
~30 votes in the first hour definitely gets you to the front page. It's not nothing.
This is like answering "the grocery store" when asked where food comes from.
Hell yes! I appreciate this.
That's interesting. I've been using "deno fmt" as of late and it's been fine for me.

https://docs.deno.com/runtime/manual/tools/formatter
Yet another quaint thing (affordable housing, education, chick's standards, boy are we all gettin screwed)
Check out ErrCheck. It's a static analysis tool that detects exactly this. We added it to our common Makefile that we use for testing/building Go projects. Typically I have it test for this among other things before I commit, and then it runs again in CI scripts before a merge to main is allowed.

In my experience, if you're not checking errors, then you're often just going to crash loudly. Likely at a similar point that the comparable Python would have had its runtime error. In my experience, if Go would have continued silently, the comparable Python might also just continue silently anyway.
It depends on what libraries you use and how you structure your code. Yes, you can create inheritance hell within Java code. But you can also use composition (what Go uses) within Java and create sane code bases.

Inheritance is a foot gun that got overused in the '90s and early 2000s. But people have learned mostly to avoid it unless really needed.
The post says the reason they did this was to motivate themselves to make the javascript version better?

Strange.
This might sound like the naturalistic fallacy, but if people have been eating things in quantity for hundreds of thousands of years, the worst outcomes have probably been weeded out of the gene pool.

If it’s new in the last 10,000 years (the beginning of agriculture) we have at least some hope that the worst problems have been dealt with, although we do have lactose and gluten intolerance as counter examples.

If it’s new to the human diet in the last hundred years, maybe it’s fine, and maybe it isn’t. It has to pretty obviously kill you for people to notice.

Animals, fruit, and root vegetables have been in the human diet since before humans left Africa. That’s my rule of thumb.
Anyone else having issues with Google Drive in Mac OS?

This week I've been noticing I've been unable to open files on my Mac that are stored in Google Drive. I can open them via the web, so I thought it was just the Mac software until I saw this post.
Learnings from fine-tuning LLM on my Telegram messages
one of the other apps to I would want to have would be an astronomy app. also, in your "on my person" thing to consider would be a solar charger. otherwise, when the natives come to you after the battery dies, your magic abilities are less godlike.
calling your kid 'Dash'???
I was just going to suggest this.. it's one of the easier for non techy people to understand too from what I've noticed.
> One question you are probably wondering is why would the Prettier team fund another project!? In practice, Prettier has been the dominant code formatter for JavaScript and as a result of a lack of competition, there has been little incentive to push on performance and fix various edge cases.

I was indeed wondering that but the answer doesn't really answer the question for me. Why not set a bounty to improve Prettier instead of building a competing project just to increase the motivation to improve Prettier? Or is the end goal to shut down the Prettier project and encourage people to switch to the Rust based one? Seems like an unnecessary fragmentation of an already confusing landscape.

Maybe I'm misunderstanding something though.
The concerns, constraints, and behavior of server-side headless software and a viewer that fetches and renders data from a remote backing store are entirely different.

Is it a bad thing that organizations specialize on those concerns? Seems like the most obvious place to slice responsibility, even if it means every feature is split across two teams. After all, the performance of the backing store is impacted not by neigbhoring logic in the UI infrastructure but by neighboring state in the backing store; it should be someone's job to be looking at the backing infrastructure holistically and not sliced as "frontend-backend feature A, frontend-backend feature B, etc."
You sound like the kind of person who, when an aggressor comes, will argue for us to just surrender because "war bad".
Apparently because learning anything more than the minimum necessary to put pixels on a page makes you a specialist?
What do you mean by "backwards"?
I think the amount of pain inflicted on the internet by security holes in IoT devices (most of which run Linux) goes a long way to show that Linux is not secure enough.
Cofounder match on ycombinator
> it doesn't have this overbloated concept of inheritance and polymorphism of let's say Java where you have to look through 6 files to understand what's even going on

Several Go codebases I've worked on would like a word. Some Go people really love their interfaces and abstractions and making sure every method is only 3 lines and pretty soon you're 20 files and three type hierarchies deep trying to figure out what a single HTTP handler actually does.
You’re so confident here that it’s reasonable to assume you’re a telepath.
Total noob question: Would an LLM approach reduce the total required storage?
In reality, how many people are regularly using github search without having a github account? Can this change really be expected to bring in a meaningful number of users?

Trying to think this through, my own best guess for what is going on is that there is some amount of traffic coming from bots/scripts and github would like to have all queries associated with an account so that they can block accounts? I'm not sure if this makes sense, but I think it's a reasonable possibility.
Mine told me if I unscrewed my belly button, my butt would fall off.

I'm beginning to have my doubts about that, but I sure as hell am not gonna risk it.
there's really nothing else to say. nice mic drop.