skysight-inc/HackerNews huggingface dataset:
Related on the Android tip:

Ask HN: Why is Android Development so difficult/complex? (compared to Web and Desktop)

https://news.ycombinator.com/item?id=40742719

Ask HN: Am I crazy or is Android development awful?

https://news.ycombinator.com/item?id=41062292
I'm saying that in the year of our lord 2024 (with arguably the best browser compatibility we've ever had) they managed to—against all odds—build a website which doesn't work on the most popular mobile operating system in the world and the second most popular rendering engine in the world.
Tree Bark Removes Climate-Warming Methane from Atmosphere, Study Finds
This could have been an amazing screensaver, or even the world of a AAA Karateka game.

My uncle was a prolific PC software pirate in the 80's, and I remember finding a french game in his collection that I've never seen again. Maybe it was actually a demo or prototype, that used the VGA palette in an incredible way with metallic reflections. Nothing that I saw for many years used those graphics until games started using prerendered 3D, and even those didn't look as impressive. I regret not saving a copy.
Good. I would like to see an industry wide movement away from proprietary formats as well, especially Office or Adobe related formats.
It's not as though they're doing anything that you can't get from open street maps, mapbox, Google, Amazon, or any of the numerous NPM packages which do maps. It's not 2005, having so many compat bugs is just embarrassing.
The main issue with this is cost, few can afford the thousands it would take to build a competition bot like that.

However! I do think you could easily adapt it to a smaller embedded form factor and do like a beyblades style battle in a tiny arena.

Definitely agree about being hands on and open ended, the skills you learn will take you very far in engineering but also just in life!
can you link to the overall approach or references for your work?
Well, if you ask me, when it comes to a for profit company there is only one "better", and that's "more profitable".

"Better for workers" only shows up in for profit companies if doing things that are better for workers is also better for the profitability of the company.

Trying to make for profit companies have a social conscious is, IMHO, pretty dumb. They're for profit.

Making things better is what governments are for. A guaranteed job at a socially inclusive minimum wage and set of conditions that the private sector needs to exceed in order to hire people would go a hell of a long way towards resolving many of the problematic workplace tactics used by for profit companies (and is a LOT easier than the patchwork of industrial relations regulations the governemnt currently plays whack-a-mole with).

I think that governments are really good at setting boundary conditions and for delivering things that are too important to be left to the whimsy of the private sector (and for natural monopolies like aiports and roads and fiber optic networks and so on), and that most importantly includes the floor price/conditions for labour.

> It takes working two jobs, being independently wealthy or getting outside help to start a company, and most of that outside help very likely doesn't want employee owned.

Hell I'm working 2 jobs to start a company and I sure as shit don't want to be obliged to give a chunk of my company to everyone that comes and goes along the way. If ESOPs or co-ops or whatever make sense it'll be because they help me attract and retain the best talent who are the most profitable. If that's not the case, then why should I share the returns with people who have taken none of the risks?
I want to agree with this but it’s a surface level concern. I’m not trying to belittle the author’s point but I do want to emphasize something that isn’t talked about enough.

Reification has two meanings in software development. Author uses one, the more familiar one - it’s discussed in many books on DDD. The other is a bit more vague and unapproachable. It’s the one I want to bring to peoples attention. It can be summed up as: “Accounts, transactions and balances are not enough.”

Jim Weirich hints at this perfectly in his approach to solving the Coffee Maker [0]. I’ll quote the punch line for everyone:

> Some people may be uncomfortable with the divergence of the Analysis and the Design models. Perhaps they expect that the design model will just be a refinement of the analysis. Remember that analysis is an attempt to understand the problem domain. Although we use OO tools to represent our understanding, that understanding has only an indirect influence on the structure of the software solution (in that the software must actually provide a solution). In fact, as we refine our software design, we will find that it moves even farther away from the analysis model. Solutions oriented classes, which do not appear in analysis, will be added to the design. Classes that came from the analysis model may mutate or even disappear entirely.

This is the form of reification that I believe is more closely associated with how the term is used in classical OOD (f.e. Object Oriented Software Engineering: A Use Case Driven Approach), but I suppose people’s experiences may disagree. This is a kind of “right layer of abstraction” that has to be pontificated and not just put down as an object because it’s a process or a “thing” from the outwardly-behavioural view of the situation.

As I mentioned, it’s not talked about enough. Jim is right to call it out: it’s uncomfortable because it’s having to dig deep into the system ontology.

[0] http://www.cs.unibo.it/cianca/wwwpages/ids/esempi/coffee.pdf
I was using the term dictionary for illustration purposes. Remember, this was all in the context of MapReduce. Computation within MapReduce is built around grouping values by keys, which makes dictionaries a natural way to think about many MapReduce oriented algorithms, at least for me. The key/value pairs appear as streams of two-tuples, not as dictionaries or arrays.
Yea it's pretty simple. They'll go to "not the park" for a while, then some, back to the park. This is a person in the city with no brick home, so they'll be somewhere in the city.

Other place they might go is prison. Which is a shame because the nature of socially reforming a non-homed person is not the same as socially reforming a non-non-crime committing person.

Thing about homeless and drug use is dopamine rewiring. Hard drugs hit dopamine hard. A warm house, fresh cup of coffee, warm clean bed and blanket, that sounds nice, but if your dopamine requirement is 9999999 only more hard drugs will give joy. Part of me would love to see a drug that reset dopamine, part of me would hate it because it might make the ultimate drug.

Of course the other disease with homeless is hard psychiatric illness, and we have medicines for it.
> If you swap useragents it is.

"Supported" implies "they don't block it for being unsupported".
Somewhere “humane” I’m sure.
Those of us who've had their hearing damaged by COVID vaccine might be reluctant to roll the dice on another anti-viral vaccine.

Hearing loss is associated with increased dementia risk (in addition to overall quality-of-life degradation, of course). So this could be a toss-up.
Your grandfather may harbor antipathy toward Poles, but he doesn't speak for Ulam. Ulam, like a number of Poles with Jewish roots, viewed himself as a Pole. Tarski is another example. Jan Brzechwa. Those in the Lvov-Warsaw school of mathematics, like Hugo Steinhaus. Etc.
To put it in perspective, in 2023 the world produced 5.5% of it's electricity from solar - if in the U.S., there was 25.3% growth year over year to 7% today, and given that overall worldwide electricity consumption grows annually by a couple percent, there is nothing in particular to be proud about here: U.S. is in the middle of a pack, producing as much solar as a share of total electricity consumption as everyone else does. Why should it be harder than anywhere else to install same Chinese solar panels? And it isn't. If this is seen as an achievement, things are bad indeed.
Done!

https://github.com/romansky/dom-to-semantic-markdown/issues/...
Boomers?

There may be 80-year-olds on here, but younger people don't have to buy your lame excuse either. Learn something and move on.
Yes, hence my agreement with sillywalk. In my original comment I was thinking of the category of PC-like things which are more geared towards work and phones which are more limited.

Phones don’t have as much contrast because there are several vendors approaching Apple’s level of security, whereas on the classic PC side it’s just a mess. ChromeOS is an excellent addition to the comparison since it’s more locked down than a PC but still productive for many workers and really shows that the problem is coordination. Google cares about security and their ChromeOS devices are more secure than most PCs despite having a lot in common because they don’t leave it to the whims of the hardware vendor.
Congratulations on shipping! What does this provide other than datadog or alternatives? Also I went through the first page and did not see anything about pricing.
Yes, but it's also nice to edit the callee immediately after editing a caller. I sometimes edit the caller first. Following the flow of caller -> callee -> other callers makes editing code easier.
CNC machining isn't serious?
They also derisk deploys of application code. If you deploy a bug that doesn't uphold your constraints, you get failures rather than corruption.
AI-Driven Test-Driven Development
Officially on Airflow DolphinDB Brings a New Experience in Data Management
Too late. You have been transferred to a dormitory with more appropriate peers.
The math of the business model doesn’t really pass the napkin test. How many celebrities and sublebrities do you need to be actively booking 10s to 100s of videos per day to get enough revenue to justify a $1bn valuation? Perhaps that means $100m annual revenue. If Cameo is generously getting say $50/booking, that means 2 million videos per year! That’s 500 washed up sitcom stars each doing 10 happy birthday videos every single day for a year!
See https://slatestarcodex.com/2018/05/16/basic-income-not-basic...
I am inclined to think there was some incentive to formally support those tools with the paper. Maybe nothing as blatent as free trips and meals, but who knows.
Here's a long, if incomplete, list of some others: https://en.wikipedia.org/wiki/Timeline_of_Polish_science_and...
A site like that is going to be a magnet for grifters, but there are plenty of not horrible people on there, too.
It's outside bounds of expectation if you know how language works. People expect products labelled "boneless" to have no bones. Words mean things.
> there's a circularity in the K&R book that makes it confusing if you read it all the way through

What do you mean?
PPG Eclipse, for example: https://assets-us-01.kc-usercontent.com/7c9f15b5-676a-0083-e...

This seems to be sold for bakeware, not pans.
I went to listen to the songs featured in the playlist screenshot from resubmitted.2003_rsx.wsz file. From the Youtube comments I figured a lot of people also did.
Murdoch is a symptom of that illness, not its root cause. The root cause is the Deep State (aka the “ruling class” if you’re not a fan of the term) for whom it is more convenient to have people bicker about bullshit issues that do not impact them instead of asking why real earnings have been flat for the last few decades while cost of shelter, education and healthcare has gone exponential. If not Murdoch it’d be someone else. Zuck and Pichai have absolutely zero scruples wrt promoting hyperpolarization on their platforms - anger drives engagement and clicks.
Been using Undermind for several months now and it's honestly been a lifesaver in getting a comprehensive understanding of a research topic.
My first job was working at a video surveillance company... My specific job was reversing multiple proprietary video streams, transcoding them and stitching them into a single output stream and sending it to a browser. For example, taking nine 1080p video streams and stitching them into a single 3x3 video stream that totaled 1080p.

It was a chaotic mess of C++.

I did it for a year before joining a startup, and on and on.
I don't think this should be surprising. The celebrities that people would want are rich enough that they don't need to say happy birthday to your friends. The celebrities using Cameo are the ones who are broke, or don't want to do a toothpaste commercial, or who can't get work because they're politically extreme, or simply not popular enough to keep a steady stream of (insert whatever they usually do) going.

Cameo stops being a good idea when the people doing the videos aren't exciting for the people who want the videos. We crossed that line years ago.
Deploy a Ha WordPress Site on Kubernetes with KubeBlocks MySQL Operator
In order for the canvas to be meaningful, the individual code windows need to be related to each other; eg. like a visual programming language or a notebook, with sockets and connectors.

Otherwise, it needs to be more like canva / miro, where the canvas is a rich target to place notes and graphics with the code editor embedded in it.

I think iterating on the linear jupyter notebook (eg. make it a graph of executable script blocks) is a worthwhile thing to do... but just having multiple code windows side by side is something you can already do, with normal code editors.

So... I think most people will find this isn't as exciting as they imagine.

I downloaded it and had a play; honestly I found it quite charming and it worked well, but I immediately wanted to put sticky notes next to my code files like it was a miro board, and then zoom out to see all the files arranged together; but you can do neither of those things with it currently.

So... cool idea, but after using it for 30 minutes or so I couldn't really see any particular reason currently to not just go back to vscode...

I really really wanted to open it up, drop 5 files onto the canvas and them zoom out and edit them all at the same time, and I couldn't.

(but hey, you can literally just download and run it, and it works. Have a play, see what you think. That's just my first impression of it)

(side note: boo. AI. There's literally zero value in the AI attached to this. Just rely on your vscode extensions if you want that. Having it baked into the editor is lame 'I also do AI!' hype. I couldn't see any reason it has, or you would want, to have baked in AI instead of any normal vscode AI extension)
Thanks for giving perspective from an unprivileged position. I have similar stories where people with money create national traditions of being together to celebrate festivals, family events together with friends and families and in general prioritize family over jobs. Poor people seems to have no such traditions they will stay put in whichever town/city they are stuck in their low paying jobs.
> because when push comes to shove if it's a choice between starvation/death or nearly any alternative, people will choose the alternative every time

Every time? Nonsense: https://en.wikipedia.org/wiki/Women_and_children_first has multiple documented examples to the contrary.

> You are arguing a position that moral absolutism,

Not by my reading; the argument was that iron clad examples of moral behaviour exist, not that we all share a core moral absolutism.

> although I did drop out prior to getting any form of degree

Not a suprise. To be fair even had you graduated you'd hardly be the Peter Singer of moral philosphy and those that attain such heights are not without counter argument.

Maybe lay off the "I'm an (almost) expert and this is my strawman" comments, they're clearly weak and cast you in a poor light.
Wow, those are some names I’ve not seen in awhile. I wonder how LLMs do at R?
The cost of panels themselves is really incredible now. I just recently parted a 10kW system down to $0.31/watt, but now the microinverters cost more than the solar panels.

Ultimately, I think labor costs will prevent more solar installations more than the cost of the hardware itself short-term.
Andrew Stuart’s app is extremely popular and uses that algorithm. His solver is truly amazing and in a class of it’s own.

https://www.sudokuwiki.org/sudoku.htm

This site is the place where I learned how deep sudoku goes. I was rather naive before I read about the X-wing, Jellyfish, Medusa, and Death Blossom…
They use higher-caffeine beans for decaf coffee - Robusta instead of Arabica. Robusta beans aren't considered as good so they're cheaper, and they sell the caffeine they extract to e.g. soda companies.
Congrats on the launch! Looks good! What's the plan for commercializing it? code visualization is one of those things that sound incredibly useful for developers but actually really hard to sell/get someone to actually buy it.
I know it doesn’t really matter, but this is one of the worst names for an app I’ve encountered.
I don't disagree but "this requires care because it could lead to unspecified problematic outcomes" is true of literally everything. I think you have to specify what outcomes you're worried about or what's different about this instance for it to be a criticism.
Thanks, I fancy myself an expert pareidoliac! Trying to keep the sarcasm productive, I see:) well at least you seem to enjoy it.

I'm surprised you didn't critique Sussman's (& Felleisen?)'s conflation with E&M further, didn't they try this angle already? Actually, seems like they didn't take it far enough so that video is going into the queue..

If the obstinate shall both delve and spin, who then will..

(Isayevicha blagoslovi!)

Okay, the quantales seem to be another useful generator of examples
Yes it throws in typescript. Typescript isn't the the language chasing soundness at any cost.
This just illustrates the futility of chasing soundness.

Soundness is good as long as the type-checking benefit is worth the cost of the constraints in the language.
If the poster child for soundness isn't able to account for this very simple and common scenario, then nothing will actually be able to deliever full soundness.

It's just a question of how far down the spectrum you're willing to go. Pure js is too unsound for my taste. Haskell is too constrained for my taste.
You might come to a different conclusion, but for me, typescript is a good balance.
To mathematicians the problems are basically easy (at least after a few weeks of extra training) and after having seen all the other AI advances lately I don't think it's surprising that with huge amounts of computing resources one can 'search' for a solution.
The polarity of the 18650 cells themselves is not that obvious either. Each manufacturer marks their cells differently or not at all. Many cells are flat on both sides and do not have a "nipple" indicating the positive side.

The fuse solution mentioned here by the manufacturer sounds like a good solution.
I think the important part is that the price has reached a level that incentivizes large scale installations.

Usage is going up and maybe that's attributable to more people shifting to electric cars.

We can certainly do better but claiming there is nothing to be proud of seems unnecessarily gloomy.
This is exactly true, unfortunately: proprietary tooling that costs an absolute fortune, and has a UI straight out of the very worst of the 1980s, and only works on very select proprietary platforms, is absolutely the norm with hardware work.
Thank you for your feedback. Let us think about it and update later.
I don't claim to be an expert, just somebody with thoughts and opinions. It was a response to someone saying I was uninformed. I am not uninformed, I am well educated on the topic.

Like most people, I am not an expert in most things, only in a very narrow subset of things. My expertise lies in some areas of technology, not really elsewhere. There is a vast gap between being an expert and being uninformed, it's not a binary distinction.

> Every time? Nonsense: https://en.wikipedia.org/wiki/Women_and_children_first has multiple documented examples to the contrary.

I think it was clear that my statement of 'every time' was not to be taken literally.

I don't think we're going to construct a well-supported moral framework defined in the most literal terms in the context of a set of comments on a website.

Nothing anyone has responded to me with in any way supports the idea that communism is something that aligns with reality and is anything more than a fantasy for idealists.
I would be amused to see whether or not you could simply mask all of your comments by filtering them through a commodity LLM or not. I would assume so.
If only there was an equivalent to DnSpyEx for Java. Can't wait for Recaf4 to be ready.
Props to the author for writing this – that being said, I felt the same way.

Very long, windy and hard to parse sentences.

For example, Part 2

> There are two basic techniques that you can employ when analyzing malware. The first being static analysis and the other being dynamic analysis.

> Static analysis uses software tools to examine the executable without running the actual decompiled instructions in Assembly. We will not focus on this type of analysis here as we are going to focus on actual disassembled binaries instead however in future courses we will.

> Dynamic analysis uses disassemblers and debuggers to analyze malware binaries while actually running them. The most popular tool in the market today is called IDA which is a multi-platform, multi-processor disassembler and debugger. There are other disassembler/debugger tools as well on the market today such as Hopper Disassembler, OllyDbg and many more.

> A disassembler will convert an executable binary written in Assembly, C, C++, etc into Assembly Language instructions that you can debug and manipulate.

> Reverse engineering is much more than just malware analysis. At the end of our series, our capstone tutorial will utilize IDA as we will create a real-world scenario where you will be tasked by the CEO of ABC Biochemicals to secretly try to ethically hack his companies software that controls a bullet-proof door in a very sensitive Bio-Chemical lab in order to test how well the software works against real threats. The project will be very basic however it will ultimately showcase the power of Assembly Language and how one can use it to reverse engineer and ultimately provide solutions on how to better design the code to make it safer.

> In our next lesson we will discuss various types of malware.

could be written:

> There are two basic techniques that you can employ when analyzing malware: static analysis and dynamic analysis.

> Static analysis examines the executable without running it. We will not focus on this type of analysis here, however in future courses we will.

> Dynamic analysis uses disassemblers and debuggers to analyze malware binaries while running them.

> A disassembler converts an executable binary into Assembly Language instructions that you can debug and manipulate. There are many disassembler/debugger tools available such as Hopper, OllyDbg, IDA and many more. The most popular being IDA, a multi-platform, multi-processor disassembler and debugger.

> Reverse engineering is much more than just malware analysis.

> At the end of our series, we will use IDA in a fictional scenario where you will be tasked by the CEO of ABC Biochemicals – a very sensitive Bio-Chemical lab – to ethically hack his company’s bullet-proof door control-system.

> The project, while basic, will showcase the power of Assembly Language and how one can use it to reverse engineer black-box binaries and ultimately find solutions to make the code safer.

> In our next lesson we will discuss various types of malware.
Imagine being dumb enough to have one of those in your house.