skysight-inc/HackerNews huggingface dataset:
"...existing fuzzing tools are not directly applicable to library APIs due to the absence of fuzz targets. It mainly relies on human efforts to design fuzz targets case by case which is labor-intensive. To address this problem, this paper proposes a novel automated fuzz target generation approach for fuzzing Rust libraries via API dependency graph traversal. We identify several essential requirements for library fuzzing, including validity and effectiveness of fuzz targets, high API coverage, and efficiency. To meet these requirements, we first employ breadth-first search with pruning to find API sequences under a length threshold, then we backward search longer sequences for uncovered APIs, and finally we optimize the sequence set as a set covering problem. We implement our fuzz target generator and conduct fuzzing experiments with AFL++ on several real-world popular Rust projects. Our tool finally generates 7 to 118 fuzz targets for each library with API coverage up to 0.92. We exercise each target with a threshold of 24 hours and finally find 30 previously-unknown bugs from seven libraries."

https://arxiv.org/pdf/2104.12064.pdf
Funny you should say that, as there is a direct line connecting player pianos in the 19th century to copyright law in the 21st:

https://en.m.wikipedia.org/wiki/Mechanical_license
Where are all the #4s?
See my answer to https://news.ycombinator.com/item?id=27741709
https://developer.mozilla.org/en-US/docs/Web/Accessibility/A...
This sounds like an on-off controller with a predictive model. In this configuration, the predictive model (PM) predicts the temperature p-steps ahead (using 4 measurements) and then feeds the predicted output to the on-off controller, i.e. something like

PM(yₖ, uₖ) → Tₖ₊ₚ

uₖ = {uₘₐₓ if Tₖ₊ₚ < Tₛₑₜ else 0} (on-off control law)

where k = current time, yₖ = 4 temperature measurements, uₖ= manipulated variables (heating), Tₖ₊ₚ = controlled variable, i.e. temperature p-steps ahead (k + p), Tₛₑₜ = setpoint temperature.

If you're doing predictions, I'm not sure the estimator is technically called an MHE since MHEs only estimate the current state, not future states (it cannot because one technically cannot know future measurements), so I call it a predictive model here. (unless you're doing MHE to estimate the current state xₖ and then feeding that into the predictive model to get Tₖ₊ₚ predictions...)

This can indeed provide smoother, more accurate control than PID alone because (1) it uses a model that accounts for more variables than just the controlled variable, (2) it requires less tuning to avoid over/undershoot because it is guided by a model vs simply through setpoint errors; (3) it's a special case. I think it's a very practical control configuration for on-off temperature control, which has tons of applications from oven control to immersion circulator control etc.

I don't think this configuration has a name, but it resembles a simplified version of model predictive control (MPC) except for the lack of an optimizer (the control law is on-off vs an optimal control law computed via an optimizer). It is however a much less general configuration than a PID because in the general case (not on-off) you still need a control law to do trajectory tracking, and that law tends to either be a PID or similar.
Sounds like burnout and an inability to discover less-than-mainstream films.
couldn't that be solved by not allowing production access to those clusters? most k8s providers should allow role based access (read/write/deploy)
Are you implying you can’t get liquidity from staked coins? This can be worked around by posting your stake as collateral.
There were magazines, and manuals were not too hard to find.
(These things had real technical manuals, with lots of internals described)

My personal experience as a kid is more oriented towards the Amiga, but I suspect it was quite similar.

One fun fact, the place I grew up was a minority language region, so specialized magazines/books were only available in the dominant language of the country which was not yet part of my of my school curriculum.

I ended up reading most of that stuff in German having absolutely no idea what that meant; a double puzzle to solve.
While native materialized view feature is a great start, unfortunately they're not useful in a practical way if you have data lineage. They works like a black-box and they can't guarantee the query performance.

The new generation ELT tools such as dbt partially solve this problem. You can model your data and incrementally update the tables that can be used in your BI tools. Looker's Aggregate Awareness is also a great start but unfortunately it only works for Looker.

We try to solve this problem with metriql as well: https://metriql.com/introduction/aggregates
The idea is to define these measures & dimensions once and use it everyone; your BI tools, data science tools, etc.

Disclaimer: I'm the tech lead of the project.
I find these kind of examples are great for learning, and I cannot wait to try out this one.

Does anyone know of an ‘awesome’ list-type collection of these types of tutorials?
Belgian-Dutch boy gets bachelor's degree in physics at age 11, summa cum laude
> I'm not very trusting of less scientific advice (as therapy is oft to recommend).

Science can't provide all the answers; in fact the goal of science isn't even to explicitly provide "advice" for anything. It's simply a tool we use to understand the natural world better.

Nor is the goal of therapy to provide advice. You don't go in there, tell them all your problems, and they tell you what to do. You might find that the experience is very different than your expectation of it – hopefully more helpful.

When it comes to human happiness, I think you'll find that abandoning logic in some instances is the best path toward fulfillment. I don't know if you are religious or hold spiritual beliefs (you don't have to be to be happy), but it's not difficult to see that many people who DO hold beliefs that aren't "scientific" per se can also be very fulfilled. If your goal is fulfillment, or meaning, or finding a better center for yourself, it may help to open your mind a little bit and accept that not all human problems have scientific explantations.
Well, I can agree with that!

Chances are that your code base will be untestable, at least for unit testing, if unit testing where not considered at all when writing it.
Never:

http://plasmakinetics.com

Double or nothing?
You mean like ... railways? only much more expensive and with much more concrete covering the soil?
Fair use is not a violation of copyright but a specified (and since 1976 statutory) exception to it. You are clearly impugning the doctrine with your comment.
I wouldn’t mind so much if I could have access to older software that still runs on the device.
One of the easiest ways I've found to move a file into places like Heroku (think a task where you need to manually import a CSV using something like an app script or rake task)
Sorry to be pedantic or if I'm missing the obvious:

The article says: Using gravitational waves we can sense what is 45 billion light years (bly, for purposes of this post) away. That implies that something(s) at 45 bly once did generate gravity waves.

If matter can't move faster than C, and if it has only been on the move for 13.x billion years, it must be less than 28 bly distant.

I am given to understand that the universe can expand faster than C; I presume that the universe must lack matter beyond 28 bly. I confess that I'm not sure what exactly is expanding.

Therefore, what could be located between 28 and 45 bly distant that is generating gravity waves?

One possibility: the matter moves no faster than C relative to points in the universe as it stretches, but is carried faster than that relative to other parts of the universe, like a sandwich.
My first exposure to OLAP was on a team developing a front end to Essbase that semi-automated report generation after reloading the cube. Since then, I have worked with various OLAP technologies from Microsoft to Mondrian.

I agree with Mr. Chin who is the author of this blog. OLAP cubes can scale up but not out which limits their potential size so they can't really accommodate big data scenarios. My previous company used Apache Druid instead. Druid can do a lot of what OLAP did but using a distributed approach. Although Druid does not provide tight integration with spreadsheets, it does provide near real-time ingestion, on-the-fly rollup, and first class time series analysis.
I guess they've only published four posts so far. But already it's pretty good.

New Brunswick, CA https://www.brookings.edu/research/how-new-brunswick-impleme...

British Columbia, CA https://www.brookings.edu/research/how-british-columbia-impl...

Uruguay https://www.brookings.edu/research/how-uruguay-implemented-i...

England https://www.brookings.edu/research/how-england-implemented-i...
This article explains the missing context of this post: https://appleinsider.com/articles/21/07/04/open-source-audac...
UFOs: 'These objects show physics we don't understand'
> apple devices from before 2018 are essentially now bricks

That's not correct. My iPhone 6S is getting iOS 15 update too.
Don't get me wrong, I do not give advice unsolicited. Faithful or not it is just a bad idea. I dare give advice when asked. The end of my last comment could have been better built.

I never stated that faith was necessary, only useful and empowering. It is not a purely religious concept. It is one of those things that cannot be conveyed through words, the same way I cannot convey the color red or wetness without the receiver experiencing it. I imagine color blind people will never get red the way most do.

I would never expect a self-professed atheist to recognize the nobility of religious faith but to at least acknowledge its difficulty, yes. It is difficult. To act with conviction in the face of uncertainty, that is difficult and I claim noble. To start a startup requires faith in yourself, your product, team because no can one guarantee success yet you need certainty to act. Faith is not a purely religious concept.

Faith is recognized by its repercussions. An example of that is that we do take seriously desert shepherds dead 2000 years ago. But, it is not faith alone. It is also about the foundation for that faith. If all are able of faith, I guess the Norse had it. Why is that religion dead though, why did people stop believing?

It is because after 2000 years people worthy of my trust in their intellect think of Jesus that I considered this man named Jesus worthy at least to think about.
> Copilot is spitting out considerable chunks of code that is licensed under GPL

One regurgitation in 10 weeks per user. Not considerable. Could be just skipped with a simple search by Github.
The latter, it turns out, is more important than the former.
> now work at essentially my dream job at a growing and successful startup

I had what I thought was my dream job for a number of years, also growing a startup, and I slowly realized it actually _wasnt_ my dream job. Building a company takes a varied set of skills, like sales, management, marketing. I was stretched so thin in all those directions I burned myself out, in part because I persisted in the false belief that I liked this job. Eventually it dawned on me it wasn’t a good fit, and really I enjoyed a fraction of what the role offered me. I was hung up on title and status. Further, it was hard to fill a 40 hours just with the work I wanted to do.

> I have sleep issues, and my various medications have not seemed to help. I am (or was) typically a very passionate, motivated person. I was always reading stuff to learn, was very dedicated in school, was always thinking of side projects to work on, etc... I started a medical leave from work a month ago because I couldn't handle starting work each day. Since then, I've felt no motivation to do anything, and an extreme dread at the idea of returning to work.

Wow I also had sleep issues during this phase. I attribute a lot of what was happening to the cognitive dissonance of being attached to a role I wasn’t a good fit for.

> It's so hard to look at other people objectively suffering from poor working conditions, low income, and other common problems, and say "well _I_ deserve to relax."

Would you say this to a loved one having the same issues? “Oh sorry you don’t deserve to relax”. Of course not. Be kinder to yourself! Everyone deserves to have their needs met.
Big part of work of almost any software engineer is finding similar already written parts of code and adapting them. How is this different?
Well I have a citation from NASA for my claim. What do you have? :)

I recently read another article saying something similar but I personally know nothing about it. It definitely looks black to me.

Edit: Looking around, some other credible websites agree with you. That would seem to imply that the night sky is very slowly getting brighter.
Ocado’s Automated Grocery Warehouse
Can't you just turn off auto update and not get this?

FFS, any time you connect to a website they know your IP address. A log will save it, perhaps, and they say they prune their logs after 24 hours which is reasonable.

Literally wget sends this sort of info, you can try it

wget -d example.com

unless now wget is spyware too. This whole thing is a nothingburger at best and just a pr disaster at worst.
If Copilot is infringing copyright by reproducing small samples of the training data, and if we agree that that isn't acceptable, doesn't that effectively spell the end of the road for any and all AI generated content unless the developers explicitly stop their product reproducing data that matches the data it was trained on? That seems like it would have far reaching consequences for AI as an industry.
Your summary is generally correct, and I certainly agree with the other commenter's position on their work. But I think you're still missing the point. Copyright is the mechanism that allows you to prevent copying, but GitHub's claim is that copyright is irrelevant to Copilot's input.

I have a nice strong lock on my door. GitHub (asserts that it) can enter my home through the window.

Adding another deadbolt to the door does not help.
Looks like they released 6.8 a couple of days ago[1] with some significant fixes[2]!

I wouldn't really call it an audacity alternative, though - you'd be dealing with a bunch of additional complexity to simply accomplish what most folks use audacity for I think.

1: https://discourse.ardour.org/t/ardour-6-8-released/106136

2: https://ardour.org/whatsnew.html
Which is why hadoop took off?
It is disappointing to see the coverage of this subject by the BBC.
Ask HN: Are GitHub, GitLab, and similars just a fad?
For normal/regular developers (including myself) who push their "invert binary tree algorithm", "hackerrank solutions", "home-made static site generator" to GitHub/GitLab: why are you doing it?

With all the fuzz that GitHub’s Copilot has made, I came to realize: I actually need no GitHub account at all! I do have like a dozen repositories with half-baked code that do nothing and it's quite useless. These repos have been there for years: zero stars, zero forks, zero followers, zero PRs, zero issues. Thinking hard I realize the only reason I opened a GitHub account was because everybody else was doing so. I remember how some cool people were sharing their open source projects in GitHub and getting feedback from some other cool people... I wanted that. And so I started to push my code (all my code!) to GitHub. I started to publish my GitHub profile on my CV (I have like 10 years of experience and no one has ever asked me about any of my GitHub projects in any interview).

I came to realize that I don't need a GitHub account in the same sense I don't need Instagram (account deleted a few years ago. Same story: a few dozen photos with zero reaction, zero likes, a few comments). Perhaps it's just that I'm getting older?

On the other hand, I do find really useful that certain projects are in GitHub/GitLab (e.g., redis, logrus, flask, etc.). It does make sense to share these kind of projects with everyone, but my "hello world in Haskell" project? Naah, I won't publish this kind of stuff anymore (that doesn't mean I won't code it!)

Edit: I should have clarified that I'm not talking about using GitHub in an "enterprise mode" (like you use it as a company or individual to actually host the code of the product you are building). It's clear that in this sense it does make sense to use some service that provides all the tooling around git to work in projects.
Those are also still here (with exception of the heat wave victims, which seem out of place in an affluent country. I would suspect failure of politics/health system. But heat waves have always happened).
Perhaps it’s not so different from a search engine like Google. The article cites Google’s successful defence, under US copyright law, of its practice of displaying ‘snippets’ from copyrighted books in search results. There is a clear difference between this and the distribution of complete copies on LimeWire.
> "I've certainly noticed quite a bit on H.N., and even more so on Reddit that upvoted threads with sensationalist headlines are more heavily scrutinized in the comments for being misleading."

Exactly why I read the comments before I click the link to the article, and why I'll read the article (assuming the comments give me a valid reason to) before commenting about it. ;)
No one knows what space is.

We know there's a thing we call "spacetime", because space and time are closely related. And we know some things about its properties.

But we know nothing at all about what it's made of, or why it has the properties it does.
A counter argument that Microsoft can use is: "The code we write at Microsoft is so bad that it will decrease the quality of the generated output". :)
it would be fun to try to fit a JavaScript interpreter into that.

I did write a very small once but far from fitting in 2k ram
This is useful. Not technically multitrack or an exact replacement for Audacity. It gives great info on the audio, records, and its interface is super slick.

https://www.ocenaudio.com/download
If you look at it this way, your brain is also "just" computational statics. (Or to be precise, it might be, since we don't yet know in all the details how it works).
Ardour is an alternative to Audacity like Xcode is an alternative to TextEdit.
Museums are in a race against time to keep plastic art from falling apart
Comparing code to movies - in code even a single char difference can change the meaning of everything, in movies - you can skip whole scenes and still get the meaning. I don't think the two are compatible, they are judged by different standards.
Even if it's fine now, using telemetry to make decisions is a pretty strong way to say "no power users or people with unique problems wanted."
I bought the A1up Attack From Mars and the screen was atrocious, the lexan was bad, the flippers buttons inconsistent, etc.. After spending another $2k on a pc, 32" 4k screen, backglass monitor, piece of glass, Virtualpin control kit, Cherry MX buttons and some other stuff, it is much more usable. I think the Atgames is technically better, but the A1up versions have better stock IP, cabinet artwork, plunger and prettier rails and lockdown bars- but they cut too many corners to hit the $600 retail price point. Plus they announced no firmware updates to fix two of the ten tables that weren't playable, so if you aren't going to mod it, this Atgames one is probably the way to go.
Show HN: I made a React/DayJS picker as my first open source library
It's not much and the code is still a bit messy (will improve!) but it's honest work :D
> Files stored for 14 days

I think that's the reason, why this service is not very interesting for illegal content.
The RealWOW server appears to run an ancient windows php distribution that is probably rooted to high heavens: https://twitter.com/angelxwind/status/1410742393914023937?s=...
Common Graph Algorithms in C++
Is it producing code (by which I mean creating/inventing new code by itself), or is it just combining existing code? Because to me it seems like the latter is a more appropriate description.

* AI searches for code in its neural-net-encoded database using your search terms (ex: "fast inverse square root")

* AI parses and generates AST from the snippet it found

* AI parses and generates AST from your existing codebase

* AI merges the ASTs in a way that compiles (it inserts snippet at your cursor, renames variables/function/class names to match existing ones in your program, etc)

* AI converts AST back into source code

Is AI intelligently producing new code in that example? Because I don't think it is.

What would be an interesting test of whether it can actually generate code is if it were tasked with implementing a new algorithm that isn't in the training set at all, and could not possibly be implemented by simply merging existing code snippets together. Maybe by describing a detailed imaginary protocol that does nothing useful, but requires some complicated logic, abstract concepts, and math.

A person can implement an algorithm they've never seen before by applying critical thinking and creativity (and maybe domain knowledge). If an AI can't do that, then you cannot credibly say that it's writing original code, because the only thing it has ever read, and the only thing it will ever write, is other people's code.
Linux is still under 2% of the market share for anyone wondering.
Not every moment of life needs to be productive.
Maybe. But that article is talking about beams of massive particles -- not beams of massless photons, which is what lasers are.

The fact that the particles have mass and decelerate is what produces the sharp drop in velocity: the slower it goes the more it slows down per unit of time or of distance traveled. Like a bullet travelling through water. So you get that nice sharp asymptote in the position-vs-time graph.

I don't think that webpage is applicable to light or other photon beams. Photons can't slow down unless they encounter a change of medium -- but that's basically projecting onto a physical "screen"... the laser operator can't influence the depth position of the screen. But thanks for the link, it's the first time I've seen a "3D projection technology" that had a coherent answer to the depth-control question. Maybe the Navy is using massive-particle beams instead of lasers and the Forbes journalist just doesn't know the difference. Or maybe it's deliberate disinformation, like how fusion weapons were named "hydrogen" bombs.
Our Favourite Keyboard Shortcuts: For Everyone
Ardour is Free (source code available under GPL).

Also, to get an executable version most users will just do: "apt install ardour" (or equivalent) which is pretty much beer-type free, in practice.
MPC on chip was tried a decade ago [1]. It was based on the idea of parametric programming, where solutions of an optimization problem (a quadratic program, QP) were pre-computed and the control law essentially only involved doing lookups. Lookups were fast and avoided the computational cost of solving an optimization problem on-line.

However, as you can imagine, pre-computing optimal solutions is of exponential complexity so scaling up this technique was difficult at the time. (I'm not sure what the state of the art is).

Computation however has come a long way since, so today it might be possible to actually solve a decent sized quadratic program (QP) on chip at very frequencies in real-time.

[1] https://www.sciencedirect.com/science/article/abs/pii/S00981...