News for hackers. Stuff that matters.

chelmertz

Re:Property-Based Testing in Rust with Arbitrary on Thursday November 10, 2022 @07:35PM (#33555844)
Here are inspirational examples from properties of a video editor: https://wickstrom.tech/programming/2019/03/24/property-based...

The author also published a tool for PBT:nif web front ends which sounds interesting.

>Why can't it just co-exist with other "acceptable" content?

Do you really think the critique of Only Fans is aimed at the consumers' experience, rather than contributing to the norm that it's OK for men to pay women to do what the men want?

Re:The Zettelkasten Method (2019) on Thursday August 19, 2021 @03:40AM (#28231371)
Try reading the GTD book. What could have been a flowchart, maybe bundled with some potential downsides/gotchas-and-how-to-avoid-them, somehow became this nonsense 300-page sleeping pill.
Re:Serverless SQLite on Wednesday January 20, 2021 @03:19AM (#25843875)
Re:GitHub Stale Bots – A False Economy on Monday January 18, 2021 @09:12AM (#25821940)
If the goal is to either reduce the number of open issues, or make it easy to find the most recently reported/recently active issues, it could be accomplished in other ways. What about:

- not having "TOTAL issues" as a counter, but "TOTAL RECENTLY ACTIVE issues", for some value of "recently" - defaulting to only showing the RECENTLY ACTIVE issues when searching for them (or finding them through other views) - displaying a warning such as "this issues is dusty, consider it not being prioritized highly"

As with all other bug reporting systems, having slices/views to work with seems to be preferred to closing issues. Someone supporting the product might really want to find the issues being "most reacted to" recently, the planning "product manager role" maybe only wants to see the high level "epics/initiatives/visions" in a certain order, etc.

I think much of this comes down to all issues being on the same "level" in a Github issue tracker, i.e. "tagging is enough", which some projects solves with a huge taxonomy, and some don't.

Re:Zappy – Screen capture tool on Wednesday April 08, 2020 @02:26PM (#22815565)
If you're looking for a Linux alternative, I've gotten a lot of use of https://flameshot.js.org/ (which I invoke with the print screen key). It "just works" and has a bunch of editing tools close at hand.
Re:Rust required to build Gecko on Friday February 03, 2017 @07:26AM (#13559304)
This is a really interesting problem area. Tests that fails sometimes are really annoying because of the "broken windows" analogy. Are you using the most unstable tests as input of what to redesign next? Is it kind of a "deal with it" situation, where you need to retry the test suite a couple of times per commit, until it becomes green?
Re:Command execution on Ansible controller from host on Thursday January 12, 2017 @05:12AM (#13381159)
Re:Two Factor Auth List of Websites on Tuesday July 12, 2016 @09:46AM (#12078858)
OT: Just in case webdevs reads this: you might want to markup clickable things as clickable (<a>). If you need a datapoint: I'm using Vimium for Chrome.
You want the -v option to git commit, not to git add.

git commit -v displays the patch below the message part you're writing, so that you can review the patch as you write the message.

Re:Webwatch on Monday October 26, 2015 @10:27AM (#10451636)
I mean, a tool can be really useful (I write tools this size all the time) but some of them needs tweaks forever. I just think some 'tweaks' are already solved by other projects, that's why using already written tools that are somewhat UNIX-y sounds like a good idea to me. That's what I tried to say; of course I don't want you to write a 100% complete program in the first commit, that would make everything I write look really bad in comparison. Just be prepared for that pull request that lands basic auth in your project, and the next PR after that :)
Re:Webwatch on Monday October 26, 2015 @10:07AM (#10451485)
By looking through the git history of your project, it doesn't seem you got it correct the first time either. I don't think gluing "UNIX tools" together biggest strength is "make it work fast & on the first try", but "have independent tools that does 'one thing' well".

In relation to your tool, I think curl provides very many more features that are easily accessible through command flags than the limited subset of HTTP capabilities you expose (for example, basic auth or different set of headers). The same argument goes for mailing, setting headers or such.

With that said, tools that does one thing and does it well are the ones that gets used, personally I'd just prefer it to be function in <your-shell> instead :)

Re:A month with Dell's Project Sputnik on Thursday February 28, 2013 @03:28AM (#5297717)
Spectacle - http://www.macupdate.com/app/mac/41147/spectacle

Very basic and easy to get used to, fixed options for screen estate.

For the lazy ones, here's a copy-paste to add a download-link:

  $('#extras').append("<a href='"+$('#player').data('jPlayer').status.src+"'>Download</a>");
(Only for the currently playing song, there's probably an event to hook it up to the playlist switching songs.)