https://pinboard.in/u:jm/public/ recent bookmarks from jm 2025-04-15T10:23:23+00:00 https://beza1e1.tuxen.de/config_levels.html jm config software-development configuration code coding complexity languages keep-it-simple https://pinboard.in/ https://pinboard.in/u:jm/b:0a64459e957e/ 2025-03-03T17:54:01+00:00 https://docs.astral.sh/ruff/ jmAn extremely fast Python linter and code formatter, written in Rust. Ruff aims to be orders of magnitude faster than alternative tools while integrating more functionality behind a single, common interface. Ruff can be used to replace Flake8 (plus dozens of plugins), Black, isort, pydocstyle, pyupgrade, autoflake, and more, all while executing tens or hundreds of times faster than any individual tool. ]]> formatting coding python tools lint code https://pinboard.in/ https://pinboard.in/u:jm/b:ad96dfc2296a/ 2024-10-14T11:23:03+00:00 https://docs.github.com/en/repositories/working-with-files/managing-files/customizing-how-changed-files-appear-on-github jm via:nurkewicz git github code pull-requests https://pinboard.in/ https://pinboard.in/u:jm/b:727fb5958911/ 2023-04-27T09:55:54+00:00 https://blog.virustotal.com/2023/04/introducing-virustotal-code-insight.html jmImpressively, when these models are trained on programming languages, they can adeptly transform code into natural language explanations. [...] Code Insight is a new feature based on Sec-PaLM, one of the generative AI models hosted on Google Cloud AI. What sets this functionality apart is its ability to generate natural language summaries from the point of view of an AI collaborator specialized in cybersecurity and malware. This provides security professionals and analysts with a powerful tool to figure out what the code is up to.  At present, this new functionality is deployed to analyze a subset of PowerShell files uploaded to VirusTotal. The system excludes files that are highly similar to those previously processed, as well as files that are excessively large. This approach allows for the efficient use of analysis resources, ensuring that only the most relevant files (such as PS1 files) are subjected to scrutiny. In the coming days, additional file formats will be added to the list of supported files, broadening the scope of this functionality even further. (via Julie on ITC Slack)]]> virustotal analysis malware code reverse-engineering infosec security https://pinboard.in/ https://pinboard.in/u:jm/b:8b4cef2b2507/ 2022-11-21T11:26:18+00:00 https://dougallj.wordpress.com/2022/11/09/why-is-rosetta-2-fast/ jm apple arm code emulation rosetta jit x86 https://pinboard.in/ https://pinboard.in/u:jm/b:f5f9996b2833/ 2020-02-24T10:55:08+00:00 https://greenlab.di.uminho.pt/ jm coding sustainability power green code optimization papers research https://pinboard.in/ https://pinboard.in/u:jm/b:ef4155d23f24/ 2015-09-28T09:34:01+00:00 http://www.wired.com/2015/09/epa-opposes-rules-couldve-exposed-vws-cheating/ jm[...] Two months ago, the EPA opposed some proposed measures that would help potentially expose subversive code like the so-called “defeat device” software VW allegedly used by allowing consumers and researchers to legally reverse-engineer the code used in vehicles. EPA opposed this, ironically, because the agency felt that allowing people to examine the software code in vehicles would potentially allow car owners to alter the software in ways that would produce more emissions in violation of the Clean Air Act. The issue involves the 1998 Digital Millennium Copyright Act (DCMA), which prohibits anyone from working around “technological protection measures” that limit access to copyrighted works. The Library of Congress, which oversees copyrights, can issue exemptions to those prohibitions that would make it legal, for example, for researchers to examine the code to uncover security vulnerabilities. ]]> dmca volkswagen vw law code open-source air-quality diesel cheating regulation us-politics https://pinboard.in/ https://pinboard.in/u:jm/b:9f3478ec3465/ 2015-06-11T16:17:52+00:00 https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/ jmFacebook Infer uses logic to do reasoning about a program's execution, but reasoning at this scale — for large applications built from millions of lines of source code — is hard. Theoretically, the number of possibilities that need to be checked is more than the number of estimated atoms in the observable universe. Furthermore, at Facebook our code is not a fixed artifact but an evolving system, updated frequently and concurrently by many developers. It is not unusual to see more than a thousand modifications to our mobile code submitted for review in a given day. The requirements on the program analyzer then become even more challenging because we expect a tool to report quickly on these code modifications — in the region of 10 minutes — to fit in with developers' workflow. Coping with this scale and velocity requires advanced mathematical techniques. Facebook Infer uses two such techniques: separation logic and bi-abduction. Separation logic is a theory that allows Facebook Infer's analysis to reason about small, independent parts of the application storage, rather than having to consider the entirety of the memory potentially at every step. That would be a daunting task on modern processors with their large addressable virtual memories. Bi-abduction is a logical inference technique that allows Facebook Infer to discover properties about the behavior of independent parts of the application code. By storing these properties between runs, Facebook Infer needs to analyze only the parts of the software that have changed, reusing the results of its previous analysis where it can. By combining these approaches, our analyzer is able to find complex problems in modifications to an application built from millions of lines of code, in minutes. (via Bryan O'Sullivan)]]> via:bos infer facebook static-analysis lint code java ios android coding bugs https://pinboard.in/ https://pinboard.in/u:jm/b:f2df52efe4e6/ 2015-05-12T11:37:50+00:00 http://input.fontbureau.com/info/ jmAs writing and managing code becomes more complex, today’s sophisticated coding environments are evolving to include everything from breakpoint markers to code folding and syntax highlighting. The typography of code should evolve as well, to explore possibilities beyond one font style, one size, and one character width. ]]> input fonts via:its typography code coding font text ide monospace https://pinboard.in/ https://pinboard.in/u:jm/b:21412cb7563e/ 2014-07-03T14:05:19+00:00 https://groups.google.com/forum/#!msg/mechanical-sympathy/g-iCw1HbZ-o/XXcQYb596X4J jm gil-tene coordinated-omission measurement jmh latency testing errors code https://pinboard.in/ https://pinboard.in/u:jm/b:c98b6e03164d/ 2013-11-11T21:32:51+00:00 https://code.google.com/p/error-prone/ jmIt's common for even the best programmers to make simple mistakes. And commonly, a refactoring which seems safe can leave behind code which will never do what's intended. We're used to getting help from the compiler, but it doesn't do much beyond static type checking. Using error-prone to augment the compiler's static analysis, you can catch more mistakes before they cost you time, or end up as bugs in production. We use error-prone in Google's Java build system to eliminate classes of serious bugs from entering our code, and we've open-sourced it, so you can too! ]]> analysis java static-analysis code errors bugs https://pinboard.in/ https://pinboard.in/u:jm/b:e66db84c4275/ 2013-05-21T22:48:19+00:00 http://arstechnica.com/information-technology/2013/05/gimme-the-cache-memcached-turns-10-years-old-today/ jm birthdays code via:alex-popescu open-source history malloc memory caching memcached https://pinboard.in/ https://pinboard.in/u:jm/b:36d9c6f1755c/ 2013-05-15T09:06:28+00:00 http://sweng.the-davies.net/Home/rustys-api-design-manifesto jm In the Linux Kernel community Rusty Russell came up with a API rating scheme to help us determine if our API is sensible, or not.  It's a rating from -10 to 10, where 10 is perfect is -10 is hell. Unfortunately there are too many examples at the wrong end of the scale. ]]> rusty-russell quality coding kernel linux apis design code-reviews code https://pinboard.in/ https://pinboard.in/u:jm/b:af2d8a163fb9/ 2012-12-18T17:22:04+00:00 http://www.johndcook.com/blog/2009/07/27/baklav-code/ jm code design terminology food antipatterns https://pinboard.in/ https://pinboard.in/u:jm/b:e665646fb9c7/ 2012-01-04T22:07:43+00:00 http://www.chessbase.com/newsdetail.asp?newsid=7807 jm chess code games open-source licensing reverse-engineering copyright infringement via:nelson https://pinboard.in/ https://pinboard.in/u:jm/b:4a1f566d4544/ 2011-09-25T20:29:40+00:00 http://blog.jgc.org/2011/09/lovelaces-leap.html jm jgc history ada-lovelace computing software information code babbage https://pinboard.in/ https://pinboard.in/u:jm/b:72d7f08ac4d6/ 2010-07-20T11:54:10+00:00 http://www.computerhistory.org/highlights/macpaint/ jm via:jgc apple code history mac source bill-atkinson macpaint pascal quickdraw graphics https://pinboard.in/u:jm/b:484ffb9f882c/