The test-cockpit package has been updated to version 20260217.2029.

The org-mem package has been updated to version 20260217.2024.

The epkg package has been updated to version 20260217.1917.

The ollama-buddy package has been updated to version 20260217.1843.

The ghub package has been updated to version 20260217.1835.

The mermaid-mode package has been updated to version 20260217.1737.

The vs-light-theme package has been updated to version 20260217.1623.

The vs-dark-theme package has been updated to version 20260217.1623.

The hyperbole package has been updated to version 20260217.1450.

The kubel package has been updated to version 20260217.1416.

The kirigami package has been updated to version 20260217.1345.

The flash package has been updated to version 20260217.1302.

The ready-player package has been updated to version 20260217.1146.

The orgtbl-join package has been updated to version 20260217.1139.

The speed-type package has been updated to version 20260217.1024.

The po-mode package has been updated to version 20260217.956.

The orgtbl-aggregate package has been updated to version 20260217.947.

The neocaml package has been updated to version 20260217.826.

The agent-shell package has been updated to version 20260217.724.

The modus-themes package has been updated to version 20260217.715.

The oboe package has been updated to version 20260217.604.

The ekg package has been updated to version 20260217.541.

The ai-code package has been updated to version 20260217.536.

The magit-gh package has been updated to version 20260217.442.

The ddgr package has been updated to version 20260217.345.

The gumshoe package has been updated to version 20260217.252.

The slime package has been updated to version 20260217.222.

submitted by /u/meedstrom [link] [comments]

I am trying to build from source Emacs on Alpine and I am getting an error cause make doesn't find libxpm and libgif/libungif. I couldn't find libxpm-dev and libgif-dev among Alpine packages, so I want to give as options to configure --with-xpm=ifavailable --with-gif=ifavailable ... but make throws up unrecognized options error, what to do? Thanks. submitted by /u/Zzyzx2021 [link] [comments]

This episode showcases winpulse, a little package I built recently, along with pulsar and some other built-in window-management commands (plus repeat-mode). If you prefer written form, here's a blog post https://xenodium.com/bending-emacs-episode-11-winpulse submitted by /u/xenodium [link] [comments]

There are so many packages that implement LLM interfaces in Emacs, that I can't choose one. I tried Ellama, and it seems quite sophisticated, but eventually I settled on gptel, because it looks simple and more approachable. Now I'm experimenting with coding agents and trying to figure out an optimal workflow and find a good emacs tool for this job. What package do you use for interacting with LLMs in emacs? What tools for code agents do you prefer? submitted by /u/KnightOfTribulus [link] [comments]

So I’ve been working on making my Emacs (and in-turn, elisp) skills better and better for a few weeks now. I’m still pretty heavily using Webstorm for my day job because of how familar I am in it and how fast I can work within it. But I’ve also been building up my Emacs config and have gotten decent at navigating and using it. I’m at the point now where raw editing I feel nearly as fast as I am in Webstorm. There are some edge cases but I’m working through it. One area though that I seem to be blocked on are unit tests. My main project that I work on for my company is a pretty large (for JS) legacy monolith project. To be honest it’s a pain to work with sometimes. So often I’m really happy to work with unit and integration tests. In Webstorm, this is a breeze. Write the test, hover over the little test icon and click it to run the test. Right click and select “Debug” to debug it and step through it. Bugs are easy to fly through and figure out. In emacs? I’m fully lost. There is apparently DAP mode? I’m working through that but how the heck do I debug unit tests? I suspect it may have something to do with passing some debugger options in when running the jest command? But yeah I don’t really know. Emacs is an old project, yet when I look into this, there isn’t much I can find. Maybe I am bad at searching, but when I search for Neovim options, I did see they had a few options for this. I want to believe that Emacs has got to have something that matches this usecase? I’d love any help that anyone can share. submitted by /u/jonathon8903 [link] [comments]

SuperTuxKart is running wellwith both singleplayer and online multiplayer at around 60-65FPS. https://codeberg.org/monadicsheep/stk-code Instructions to install and play: https://mathstodon.xyz/@divyaranjan/116083916682876616 submitted by /u/AlbertEinstein_1905 [link] [comments]

submitted by /u/minikomi [link] [comments]

submitted by /u/ahyatt [link] [comments]

We are looking for a medior/senior Haskell developer with experience in formal verification and an affinity for hardware. We posted about this position a month ago, where the submission deadline was January 23rd: https://www.reddit.com/r/haskell/comments/1q5e52w/formal_verification_role_at_qbaylogic_in_enschede/ We had some strong candidates; sadly for us, they withdrew from the process for various reasons. As a result, we are re-opening the role to new submissions. The role is on-site at our office in Enschede, The Netherlands. That being said, we are flexible on working from home some days in the week. All applications must go via this link https://qbaylogic.com/vacancies/formal-verification-engineer/ where you can also find more information about the role and about QBayLogic. A repeat of the answers that we got from the previous post: Do you provide visas? We can and have sponsored visas in the past. It would depend on your age and what we come to agree in terms of salary https://ind.nl/en/required-amounts-income-requirements#application-to-work-as-a-highly-skilled-migrant-orientation-year-and-for-the-european-blue-card Does QBayLogic accept internships for work related to formal verification? Yes, under very specific circumstances. Basically, you have to be a student at an academic institution in The Netherlands and you can do the internship as part of your curriculum (very common in The Netherlands), meaning the academic institution gives ECTS for the internship. submitted by /u/darchon [link] [comments]

I'm new to org and i've seen a video somewhere where a guy uses keybinding to change the state of a heading from TODO to STRT and it automatically clocks in. Is this some custom lisp or how is he doing that? submitted by /u/yakovlievv [link] [comments]

I made a video on how I think org-mode works really well for the new world of agentic work, and demo my current workflow. However, org-mode also has what I consider a fatal flaw, which it's file based, so only one party can modify it at a time. That isn't what you want in an agentic system, where both you and the agent may be executing, rewriting, and adding tasks. I propose a fix for this, which is to use my ekg system and have it fake an org-mode file but with notes that are better suited to concurrent modification, since it's backed by a sqlite database. This is all work in progress, but I wanted to share how I was thinking about the problem, and I'm also curious how other people are approaching it. submitted by /u/ahyatt [link] [comments]

Hi everyone, I recently released sbt-config, a plugin that allows you to configure your Scala projects using a simple build.conf file instead of build.sbt. The goal is to separate configuration from logic, making your build definitions cleaner and easier to read. So far it handles common settings like project metadata, Scala versions, compiler options, and supports publishing via sbt-ci-release. name = "my-project" organization = "com.example" version = "0.1.0-SNAPSHOT" scalaVersion = "3.3.4" dependencies = [ "org.typelevel:cats-core:2.13.0" ] I’d love to hear your feedback or suggestions! (Except for the question "But why?"... let's just not go there 🙏) Repo: https://github.com/matejcerny/sbt-config Docs: https://matejcerny.github.io/sbt-config/ submitted by /u/matej_cerny [link] [comments]

The ellama package has been updated to version 20260216.2316.

The magit package has been updated to version 20260216.2306.

The org-node package has been updated to version 20260216.2231.

The package-build package has been updated to version 20260216.2011.

The selected-window-contrast package has been updated to version 20260216.2005.

The hdf5-viewer package has been updated to version 20260216.1940.

The auto-compile package has been updated to version 20260216.1936.

The q-mode package has been updated to version 20260216.1450.

The oai package has been updated to version 20260216.1419.

The eask package has been updated to version 20260216.1116.

The tree-sitter-langs package has been updated to version 20260216.1032.

The tok-theme package has been updated to version 20260216.949.

The fancy-fill-paragraph package has been updated to version 20260216.740.

The projectile package has been updated to version 20260216.652.

The flycheck package has been updated to version 20260216.642.

The rustic package has been updated to version 20260216.440.

The fussy package has been updated to version 20260216.27.

Hi, all The syntax in my plain text note is as as follows: The path to my media folder in DropBox is there, and the folder is in the same location as the rest of the zettelkasten: Any ideas what I’ve got wrong?  ( 2 min )

Hi everyone, I’ve been lurking for a while and recently jumped into a couple of discussions, so I thought I should properly introduce myself. I’m Tim. In my day job, I’ve been using Logseq for about a year and it’s completely changed how I handle my workday chaos. I used to write notes in a paper notebook, just sequentially, but now I'm building out my externalised thoughts during meetings. My current obsession away from work, though, is trying to get a proper Zettelkasten workflow running on e-ink (specifically a Supernote) without it feeling like a chore. I found that standard folder structures and strict numbering conventions really fought against the device constraints, especially when it came to handwriting recognition. What I've ended up with feels pretty Supernote-native, but also gets around the heading limits. It uses visual templates rather than filenames to track depth, which lets me keep that "infinite nesting" feel of Logseq but on a digital notepad. I’m mostly here to learn how others are bridging the gap between analogue-feel and digital structure. Looking forward to the conversation! Tim.  ( 3 min )

How is Scala 3 treating adopters thus far? Particularly in professional settings and in larger codebases. I'd like to push for it at work, but have heard tales of problems. Edit: Inclusions around your tech stacks would also be very helpful. Cheers all! submitted by /u/DextrousCabbage [link] [comments]

When there is an exception in Future, I would have a stack trace that looks like this: https://preview.redd.it/wqulqjj1hwjg1.png?width=2564&format=png&auto=webp&s=912a811bbc9cc586a005747937a2c788e0765ed6 But that stack isn't present in the code. I assume because JVM takes the async code and runs it elsewhere. How do I get the stack trace relevant to my code instead? Thank you! submitted by /u/tanin47 [link] [comments]

sbt 2.0.0-RC9 is released! sbt 2.0 is a new version of sbt, based on Scala 3 constructs and Bazel-compatible cache system RC9 is a big change, featuring - JDK 17 + Scala 3.8.1 in metabuild - Maven BOM (Bill of Materials) usage support - client-side console (forking Scala REPL from native sbtn client) - rootProject macro - experimental dependency lock - experimental Ivyless publishing - and a long list of contributed bug fixes submitted by /u/eed3si9n [link] [comments]

I built a personal home robot, and one of its most important features (for me at least!) is that it has deep integration with emacs. It can not only see through its eyes, recognize family members, talk to people, initiate conversations regarding its interests, etc.. It can also see all my emacs buffers, see what I'm working on, edit buffers, open files, or even run arbitrary emacs lisp code. I thought folks here might be interested. The emacs cameo is around 3m30-5m30 in the video https://reddit.com/link/1r6l192/video/j2wu3f7z2xjg1/player I'll share more details later on a tweet thread at the link, like the GH URL etc.: https://x.com/alexisgallagher/status/2023472591252635931?s=20 submitted by /u/algalgal [link] [comments]

It's surprising to me that Org-mode does not include a built-in command to copy the raw URL of the link at point. Or, there's already a built-in function that does that and I just did not find it? Anyhow, here's a function that does just that: (defun org-copy-link-url-at-point () "Copy the URL of the Org-mode link at point to the kill ring. Signal an error if no link is present." (interactive) (let ((element (org-element-context))) (if (eq (org-element-type element) 'link) (let ((url (org-element-property :raw-link element))) (kill-new url) (message "Copied URL: %s" url)) (user-error "No Org-mode link at point")))) submitted by /u/Danrobi1 [link] [comments]

I am new to emacs. But I like it. I am looking forward to using it more. My Config I use Doom Emacs, on Arch Linux, KDE+Wayland. I also use systemd to start emacs as a daemon. And I have a keyboard shortcut to launch emacsclient. Flashbang Issue I have tried a very hacky way of setting the initial background to black color to prevent flashbang. But sometimes when systemd starts emacs earlier than KDE session completely loads, opening emacs will just - either fail, or it will open a weird scratch buffer. I have to killall emacs and restart it again, unsure whether it will open or not everytime. Note that this only happens for the first time I launch the client.subsequent launches are pretty fast and reliable. Question Do you guys have same problem? If so, how are you solving it? I can share my config.el to show how I have it configured to prevent flashbang. Any other advice regarding startup behaviour of Doom Emacs is also welcome. Thank you. submitted by /u/Rude_Anywhere_ [link] [comments]

I was just curious about how much people garden their emacs config. Mine is getting too big and I am getting addicted to this. what you want you can sort of just implement yourself. submitted by /u/reddit_enjoyer_47 [link] [comments]

I'm trying to learn org mode for my note taking and portfolio, what's the best way to learn it, if you're and expert or have prior knowledge help me with this one and if there are any org-rookies like me DM me, Let's learn together. submitted by /u/Rebootlater_exe [link] [comments]

I sometimes journal in arabic. And I have these two keymaps to insert timestamp and date-timestamp. So if I press jj quickly in insert mode (evil) I will see the timestamp. But if I am writing in arabic. Then this won't work. I found reverse-im package and it worked well for making vim motions and everything I use in English to be in arabic. But somehow it's not picking up the stuff I put when I am in insert mode. submitted by /u/Magazine_Ill [link] [comments]

I've added tool calling to ollama-buddy and of course tooling is passed through the ollama API, so Local LLMs can invoke Emacs functions: read/write files, execute shell commands, search buffers, and more. Local models like qwen3 and llama3.1 can now invoke Emacs functions mid-conversation, a safe mode restricts to read-only operations by default. Of course now ollama-buddy has access to online models, most of them seem to have tooling baked in and the interface is the same, so if you want more speed, just hook up the tooling to the ollama online ecosystem! So far its a simplish implementation and might be a bit rough, but I have it listing buffers, reading/writing files e.t.c, with of course the possibility for easy expansion by registering your own. GitHub: https://github.com/captainflasmr/ollama-buddy submitted by /u/captainflasmr [link] [comments]

If it ever bothers you that wrapping text adds line-breaks at awkward locations. For example (e.g. around punctuation, after opening-parentheses, or before a closing parenthesis) then this package may be for you :) submitted by /u/ideasman_42 [link] [comments]

In Part I of this article, I alluded to how Emacs' UX has allowed me to create a writing workflow to fit the way I think, write, edit and worldbuild. But Emacs is more than my tool for thinking and writing: it is also direct inspiration for a Brain-Computer Interface (BCI) for my next science fiction novel. Much of the dramatic extrapolations for this BCI came from experience: imaginative extrapolation is easy when the tool itself feels both timeless and futuristic. In part II, I want to use a different route. I will start by tracing a brief historical outline of the philosophical and design choices that has made Emacs a veritable digital habitat for writers like me. In doing so, I've made an effort to ensure that the presentation isn't overly technical---this is in consideration of the…

I've been using flash.nvim in Neovim for a while and couldn't find anything quite like it in Emacs, so I built flash — an Emacs port that brings the same incremental search + label jumping workflow. How it works: You start typing characters to narrow down matches, and labels appear next to results as you type. The key difference from avy is that labels are assigned intelligently — characters that would continue your search pattern are never used as labels, so there's zero ambiguity between "I'm still searching" and "I want to jump." Features: Search integration — labels appear during regular C-s, /, ? search. Press a label to jump instantly instead of cycling through matches. Incremental input — no fixed-length queries. Type as many characters as you need before jumping. Enhanced f/t/F/T — all matches get labels, so you can reach any match with one keystroke instead of spamming ;. Treesitter integration — select any parent node of the syntax tree at point. Great for quickly selecting a function, if-block, or argument list. Multi-window — searches across all visible windows. Evil integration — works as a proper evil motion, composable with d, y, c, etc. (d gs {label} to delete to target) Rainbow labels — optional colored labels using a Tailwind palette with configurable brightness. Install from MELPA: (use-package flash :commands (flash-jump flash-treesitter) :bind ("s-j" . flash-jump) :init (with-eval-after-load 'evil (require 'flash-evil) (flash-evil-setup t)) :config (require 'flash-isearch) (flash-isearch-mode 1)) Or just M-x package-install RET flash RET. Requires Emacs 27.1+, Emacs 29.1+ for Treesitter. Evil is optional. If you find flash useful, I'd appreciate a star on GitHub — it helps others discover the package. Feedback and issues welcome! submitted by /u/BigNeighborhood3952 [link] [comments]

Hi everyone, as the post title says, what could be your advice for the best macos emacs implementation for a code developer that has been using it for 30+ years in linux/unix evironments? I tried plain emacsformacosx for a month and it's been a pain in the neck. I rely mostly on key-bindings, default and own defined. Plus, any keyboard setup worth defining for the best experience? Thanks in advance. submitted by /u/_super__sonico_ [link] [comments]

The codespaces package has been updated to version 20260215.2353.

The acp package has been updated to version 20260215.2309.

The typst-preview package has been updated to version 20260215.2252.

The guava-themes package has been updated to version 20260215.2225.

The auto-dark package has been updated to version 20260215.2206.

The compile-angel package has been updated to version 20260215.2153.

The vim-tab-bar package has been updated to version 20260215.2013.

The ultisnips-mode package has been updated to version 20260215.2013.

The tomorrow-night-deepblue-theme package has been updated to version 20260215.2013.

The stripspace package has been updated to version 20260215.2013.

The persist-text-scale package has been updated to version 20260215.2013.

The pathaction package has been updated to version 20260215.2013.

The outline-indent package has been updated to version 20260215.2013.

The inhibit-mouse package has been updated to version 20260215.2013.

The flymake-bashate package has been updated to version 20260215.2013.

The flymake-ansible-lint package has been updated to version 20260215.2013.

The easysession package has been updated to version 20260215.2013.

The dir-config package has been updated to version 20260215.2013.

The bufferfile package has been updated to version 20260215.2013.

The buffer-terminator package has been updated to version 20260215.2013.

The magit-pre-commit package has been updated to version 20260215.1854.

The javelin package has been updated to version 20260215.1847.

The thrift package has been updated to version 20260215.1732.

The system-idle package has been updated to version 20260215.1611.

The nix-ts-mode package has been updated to version 20260215.1421.

The hyperstitional-themes package has been updated to version 20260215.1305.

The sculpture-themes package has been updated to version 20260215.1259.

The el-get package has been updated to version 20260215.1117.

The boon package has been updated to version 20260215.930.

The copilot package has been updated to version 20260215.918.

The cfn-mode package has been updated to version 20260215.907.

The org-web-track package has been updated to version 20260215.734.

The spatial-window package has been updated to version 20260215.304.

The base16-theme package has been updated to version 20260215.208.

Hey r/scala, I’ve been working on a small project to make Rock the JVM’s video content accessible to Japanese-speaking developers, and I wanted to share it. The pipeline Step 1: Transcription I built [**ytw**](https://github.com/hanishi/ytw), a command-line tool written in Scala CLI that downloads audio from YouTube videos and transcribes them using [whisper.cpp](https://github.com/ggerganov/whisper.cpp). It shells out to `yt-dlp` for downloading and `ffmpeg` for audio conversion, then runs whisper locally to produce SRT/VTT subtitle files. Step 2: Translation The English transcriptions are then fed into Claude (Anthropic’s LLM) using a carefully tuned prompt that I iterated on quite a bit. The prompt handles things like: - Keeping Scala keywords, type names, and library names in En…

submitted by /u/petrzapletal [link] [comments]

Deep merges of named tuples are now possible with chanterelle, here's a quick example: ```scala import chanterelle.* val tup = (field1 = 1, field2 = (level1Field1 = 3, level1Field2 = (level2Field = 4))) val mergee = (field2 = (level1Field3 = 5, level1Field2 = (anotherField = 6))) val transformed = tup.transform(_.merge(mergee)) // evaluates to: // (field1 = 1, field2 = (level1Field1 = 3, level1Field2 = (level2Field = 4, anotherField = 6), level1Field3 = 5)) ``` The whole design was highly inspired from how JSON merges function, hopefully y'all will find this useful ❤️ submitted by /u/_arain [link] [comments]

submitted by /u/Immediate_Scene6310 [link] [comments]

submitted by /u/eed3si9n [link] [comments]

I've used google-translate Emacs package for years, and some time ago I decided to figure out a nicer way of reading texts without having to manually tell it to translate. The basic idea is to let Emacs detect - if I'm at the paragraph's beginning - translate the whole paragraph; sentence - translate that; neither at a paragraph nor a sentence - show me the translation for the word at point; region selected - do it for the selection. I've been using it as part of my config - works beautifully. I figured, it would be nicer if anyone can use it easily. I submitted a pull-request https://github.com/atykhonov/google-translate/pull/161, anyone interested can start using it before it gets merged. Screenshots are attached to the PR, check it out. submitted by /u/ilemming_banned [link] [comments]

So I'm using Doom Emacs with org mode and it's working well except one problem: Anytime I add a header it will automatically scroll down so that header is at the top of the screen, so I have to scroll back up each time. It's not catastrophic but it's really annoying. Is there anyway to disable this? submitted by /u/Historical_Wash_1114 [link] [comments]

We have our standup at the beginning of the day when my eyes are barely open, and remembering what I did the previous workday — especially on Mondays — is often challenging for me. I was using git-scrum, a Node.js tool, but it was a separate CLI that I needed to execute manually, and it lacked some convenient features I needed (auto-detecting the last workday, selecting a specific date if I had taken a holiday, etc.). So I created this small package to check commits from local repositories and link them so I can review what they were about if my brain freezes up. TL;DR This is a small Emacs package that uses Magit to collect your commits into an org buffer, helping you remember what you worked on for your standup meetings. https://github.com/function-artisans/magit-standup Example submitted by /u/ikaraszi [link] [comments]

Can you share your latest glorious find in Magit? Those are things that are tedious to do in the CLI (copy-paste hashes, yuck), or even worse to do in an IDE (unglue index fingers from 'f'-'j' then click five buttons, double-yuck). I'll get the ball rolling. You're looking at a file in the repo and you're wondering what was in it in the recent (or not so recent) past: Easy: C-c M-g (magit-file-dispatch) then p (prev blob) and n (next blob). submitted by /u/Any_Chance_2504 [link] [comments]

submitted by /u/minadmacs [link] [comments]

Hi people! Decided to finally sign up after lurking here for a few months. I aim to use the Zettelkasten method to help with working out parallels in different fields and to make my thinking cleaner. Which might not be an ideal usage, but I found that my mind gets cluttered easily, and offloading my thoughts / ideas in a structured manner at least helps me not to lose them (unlike random scribbles on throwaway paper...) I work on paper, which I find much more flexible than digital. Though I transferred to a Supernote which is a compromise I was willing to make to free up physical space. My main "problem" is that I can easily go blank when deciding what to include in my Z. and how to structure it (which is why I'm really looking forwards to Sasha's book ). And generally thinking that my note is not descriptive enough, does not convey the information I want it to convey. Mostly "me" problems. Well. I don't think I can add anything of use to discussions at this point, but now I'll lurk with a profile, lol. Nice to meet y'all.  ( 3 min )

Hi, I enabled this plugin and I like it, but it was adding an extra pound sign at the beginning. So I attempted to modify the plugin (I'm no programmer) and I wanted to make sure I modified it correctly. I removed the '#' on line 21. It now shows the tags with the correct amount of "#"s. body += tagCount[1] + " " + tagCount[0].toString() + "\n"; WAS: NOW: #someTag #otherTag  ( 2 min )

Hello dear Emacs/orgmode users, non-programmer that recently disovered Emacs here, just to let you know. I work in a non-tech company, where, as you could imagine, a good chunk of work is managed with office suite. I would like to keep using org as my main drive for docs and writing, however I'm having issues with word and docx import/export. Usually, I receive a docx file, I edit it, and then I need to send it back either as PDF or docx again (since Emacs is not used by others) Currently, I use pandoc to export the docx to org, but I couldn't find guides online that cover anything besides simple cases or "you have a org file, you can export it with pandoc". I'm facing these problems: Objects beside images (ie excel pasted charts and tables, shapes, canvas...) are not exported with pandoc. I wrote a python script that converts them to image with inline replace, so that pandoc can get them. Is there a better way to do this? Exporting the org to docx isn't very good, since if I use the original docx as template, a lot of styles or changes are not made in the doc structure, but inline Export with latex is not immediate since image sizing is not "as-is", every time I should edit the latex blocks that contain them What is the best approach for receiving a docx file, edit it and send it back with minimal changes? Do any of you keep using org in such cases, or do I need to resign and get back to using word, since "quick and easy" import/export is not possible without losing a lot of time? submitted by /u/Boheol [link] [comments]

The lsp-dart package has been updated to version 20260214.2354.

The flycheck-eglot package has been updated to version 20260214.2327.

The edna-theme package has been updated to version 20260214.2320.

The pass package has been updated to version 20260214.2130.

The matlab-mode package has been updated to version 20260214.2103.

The flycheck-languagetool package has been updated to version 20260214.1911.

The define-it package has been updated to version 20260214.1857.

The eca package has been updated to version 20260214.1704.

The aio package has been updated to version 20260214.1529.

The helm package has been updated to version 20260214.1432.

The lonelog package has been updated to version 20260214.1331.

The sumibi package has been updated to version 20260214.1216.

The counsel package has been updated to version 20260214.1004.

The org-link-beautify package has been updated to version 20260214.533.

submitted by /u/gluegadget [link] [comments]

submitted by /u/swe129 [link] [comments]

Been incrementally solving the problem of creating markdown documentation/resources for dataframe. Tweaked the code which this version of hscript was based on. It's still pretty fragile (well - more fragile than having this be a first class cabal/GHC capability) but it's been helpful for me. Dealing with template Haskell made it harder to make this into a preprocessor as blamario suggested in the thread above - if anyone has ideas please share them. submitted by /u/m-chav [link] [comments]

Is it the beginning of the end, or the end of the beginning? We continue the Haskell MOOC at haskell.mooc.fi. Midway through, an unwanted coding LLM hijacks the livestream and starts answering questions nobody wanted it to answer. submitted by /u/peterb12 [link] [comments]

The emms package has been updated to version 20260213.2209.

The devcontainer package has been updated to version 20260213.2206.

The pi-coding-agent package has been updated to version 20260213.2143.

The tts package has been updated to version 20260213.2049.

The lsp-mode package has been updated to version 20260213.1842.

The grip-mode package has been updated to version 20260213.1756.

The ninetyfive package has been updated to version 20260213.1623.

The fedi package has been updated to version 20260213.1527.

The telega package has been updated to version 20260213.1258.

The shell-maker package has been updated to version 20260213.1201.

The ivy package has been updated to version 20260213.1157.

The leuven-theme package has been updated to version 20260213.1052.

The ob-deno package has been updated to version 20260213.1023.

The ivy-hydra package has been updated to version 20260213.941.

The gptel package has been updated to version 20260213.754.

The gptel-agent package has been updated to version 20260213.750.

The org-roam-latte package has been updated to version 20260213.555.

This material is available as well as a blog post submitted by /u/makingthematrix [link] [comments]

Advent of Code 2025 recap and sample solutions with explanations: https://www.scala-lang.org/blog/2026/02/12/advent-of-code-recap.html Consider recommending Advent of Code to Scala newcomers. There’s much learning in solving the puzzles, and further learning in comparing the published solutions to your own. submitted by /u/SethTisue_Scala [link] [comments]

submitted by /u/SmoothInternet [link] [comments]

Hello, this week I am excited to be deploying a fun project I've been working on to the Ace platform. It is essentially hackerrank or an exercism except that the inputs we have are not limited to simple values but instead any that are representable in Haskell, such as functions as input, so that we can provide practice on higher order functions. Exercism of course also has haskell questions but unfortunately like hackerrank they are very limited in terms of the scope of what *could* be tested in the realm of functional programming. Using the system is entirely free / we will never ask for payment and the "engine" to perform this sort of functionality we have also made entirely open source. You can read more about that here: https://www.reddit.com/r/haskell/comments/1q3z5ik/project_writing_and_running_haskell_projects_at/ https://preview.redd.it/16ld36mpa5jg1.png?width=1920&format=png&auto=webp&s=f755791f9067599feebf8a08cbc93edb07755f8c The first release once I make this way less ugly will feature 75+ questions and is based off the https://wiki.haskell.org/index.php?title=H-99:_Ninety-Nine_Haskell_Problems as a first batch of problems. We hope to continue adding problem sets weekly or monthly. We also want this to be a tool that users of our platform can leverage to prove their haskell knowledge, among other features on our platform. We also have a leaderboard for a little healthy competition. You can check out our platform here: https://acetalent.io/login Or join our discord: https://discord.gg/AXr9rMZz We are currently in beta mode for our platform submitted by /u/_lazyLambda [link] [comments]

Hi café! We are really excited to announce Copilot 4.6.1 [1, 2]. Copilot is a stream-based EDSL in Haskell for writing and monitoring embedded systems, with an emphasis on correctness and hard realtime requirements. Copilot is typically used as a high-level runtime verification framework, and supports temporal logic (LTL, PTLTL and MTL), clocks and voting algorithms. Compilation to Bluespec, to target FPGAs, is also supported. Demonstration of copilot-visualizer, a library to run copilot specifications interactively via a web browser. Copilot is NASA Class D open-source software, and is being used at NASA in drone test flights. Through the NASA tool Ogma [3] (also written in Haskell), Copilot also serves as a programming language and runtime framework for NASA's Core Flight System, Robo…

The latex-table-wizard package has been updated to version 20260212.2229.

The bible-gateway package has been updated to version 20260212.2155.

The code-awareness package has been updated to version 20260212.1934.

The koishi-theme package has been updated to version 20260212.1605.

The clojure-mode package has been updated to version 20260212.1510.

The clojure-mode-extra-font-locking package has been updated to version 20260212.1414.

The ink-mode package has been updated to version 20260212.923.

The tzc package has been updated to version 20260212.715.

The call-graph package has been updated to version 20260212.649.

The dylan package has been updated to version 20260212.8.

The dime package has been updated to version 20260212.8.

https://contributors.scala-lang.org/t/towards-a-common-scala-style-recommendation/7383/1 submitted by /u/bjornregnell [link] [comments]

submitted by /u/lihaoyi [link] [comments]

How do you get links to be clickable on the above? I format mine as follows in MD: [name of note to be linked to][[unique id]]  ( 3 min )

Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community. Featured AmeriHac 2026 retrospective by José Manuel Calderón Trilla This past weekend we held the first ever AmeriHac, a ZuriHac-style hackathon for the North American Haskell community. When I first proposed the idea of a North American event to the HF board, my criterion for success was simple: 100 attendees. We had 110, so by that measure we succeeded. But numbers are only part of the story, of course. hs-bindgen 0.1-alpha release by Edsko de Vries Well-Typed are delighted to announce a release preview of hs-bindgen, a tool for automatic Haskell binding generation from C header files. My exper…  ( 2 min )

/* Condense code blocks slightly, so the figlet renders better */ code.language-text { line-height: 1.35 !important; } section.crawler { font-style: italic; color: grey; margin-bottom: 4em; } span.byline { font-size: 75%; color: grey; } span.mention { color: darkblue; font-style: italic; } span.typing { color: darkgrey; font-style: italic; } section.vera-lynn { font-style: italic; margin: 3em 0; } section.vera-lynn * { text-align: center; } section.acknowledgements { margin-top: 4em; border-top: solid 1px lightgrey; font-size: 75%; color: grey; } hr.scene-change { margin: 3em 10%; height: 1px; border: none; background: linear-gradient( to right, transparent, grey, …  ( 19 min )

The time-zones package has been updated to version 20260211.2330.

The slack package has been updated to version 20260211.2317.

The otpp package has been updated to version 20260211.2247.

The dumb-jump package has been updated to version 20260211.2056.

The dialog-mode package has been updated to version 20260211.2014.

The julia-repl package has been updated to version 20260211.1502.

The abs-mode package has been updated to version 20260211.1320.

The color-theme-sanityinc-tomorrow package has been updated to version 20260211.1131.

The indent-guide package has been updated to version 20260211.1005.

The org-msg package has been updated to version 20260211.901.

The perspective package has been updated to version 20260211.633.

The moe-theme package has been updated to version 20260211.617.

The helm-raindrop package has been updated to version 20260211.606.

The doom-modeline package has been updated to version 20260211.220.

I’ve wanted to be able to do more gui things on the Mac using Haskell for ages, but never quite managed to crack the problem. Until yesterday! Very alpha code, but could benefit from additional contributors. https://github.com/iand675/haskell-obj-c submitted by /u/semigroup [link] [comments]

#+CAPTION: Ejemplo de aplicación de una /exceptio legis laetoriae/ como respuesta a una /actio condictio/. #+NAME: fig:exceptio-laetoriae #+ATTR_LATEX: :environment figure :placement [htbp] :center t #+begin_export latex \begin{tikzpicture}[>=Latex, node distance=4cm] \node (A) at (-2.75,0) [shape=circle,draw] {$A$}; \node (M) at (2.75,0) [shape=circle,draw] {$M$}; \draw[->,thick] (A) -- node[above] {Deuda de 1.000 sestercios} (M); \draw [,thick,postaction={decorate,decoration={raise=1ex,text along path,text align=center,text={Actio condictio}}}] (A) to [bend left=45] (M); \end{tikzpicture} #+end_export For example, said code, for some reason, doesn't enclose the `tikzpicture` environment in a `figure` environment. Does anyone know how to fix this? submitted by /u/potatowithascythe [link] [comments]

submitted by /u/rileyrgham [link] [comments]

submitted by /u/dev_newsletter [link] [comments]

submitted by /u/naftoligug [link] [comments]

Funny how things go: I switched from Scala to Kotlin and thought: well, this scope syntax is pretty powerful. Nice ergonomics, easy to reason about. Still, I was accustomed to validate data with Cats and was looking for something similar in Kotlin. I found Arrow's Validation. Unfortunately the team was not ready to embark on the functional adventure, so I built a small validatation lib myself in Kotlin with easier syntax and less magic. One morning I thought: wouldn't this also work in Scala? Conclusion is: yes, it would. So I built a small wrapper for Cats' Validated called valacc (validation & error accumulation). I'm pretty happy with it so I thought I share it here. submitted by /u/kxc42 [link] [comments]

submitted by /u/Immediate_Scene6310 [link] [comments]

Hey, the strictEqualityPatternMatching feature was recently released as an experimental feature in Scala 3.8. https://www.scala-lang.org/news/3.8/#sip-67-strict-equality-pattern-matching As the author of this feature, I would now like to collect some feedback about it in order to ascertain whether it succeeded in its goal, a significant reduction of the friction encountered when enabling strictEquality. If so, hopefully it can be turned on by default in the future. I would much appreciate it if you could take a minute to answer some or all of these questions. How many errors do you get when you add -language:strictEquality to your scala compiler flags? How many of these disappear when you additionally enable -language:experimental.strictEqualityPatternMatching? are there any cases of pattern matching that you feel should compile but don't (because of strictEquality)? are there any cases of pattern matching that now compile but in your opinion shouldn't? If so, why? anything else you want to add? Thanks for reading and commenting! submitted by /u/Major-Read1386 [link] [comments]

The fennel-mode package has been updated to version 20260210.2300.

The chatgpt-shell package has been updated to version 20260210.2218.

The helm-emoji package has been updated to version 20260210.2200.

The treesit-auto package has been updated to version 20260210.2010.

The jira package has been updated to version 20260210.1939.

The vulpea package has been updated to version 20260210.1556.

The gh package has been updated to version 20260210.1535.

The template-literals-ts-mode package has been updated to version 20260210.1523.

The dollaro package has been updated to version 20260210.1514.

The ttl-mode package has been updated to version 20260210.1513.

The ado-mode package has been updated to version 20260210.1431.

The uniline package has been updated to version 20260210.1123.

The vertico package has been updated to version 20260210.1021.

The corfu package has been updated to version 20260210.915.

The ac-php-core package has been updated to version 20260210.846.

The live-py-mode package has been updated to version 20260210.624.

The elisp-dev-mcp package has been updated to version 20260210.434.

The nethack package has been updated to version 20260210.119.

I'm struggling to fix HLS in my NixVim. https://github.com/Ivy-Apps/deslop/blob/main/nix/ide.nix I tried everything me and Gemini could come up with but no success. What I want to achieve: HLS loads and doesn't crash In normal mode "K" shows the type signature Go to definition / go to references (optional) rename with LSP I tried multiple GHC/HLS versions with no success. I love Haskell but it's tooling... my goodness, I better go back to Kotlin and get shit done. I reached a point where I have no hopes for NixVim + working HLS and adapter my workflow to rely on the REPL + unit tests. But manually typing imports without any suggestions is taking me in the stone age. For reference, I have a very similar NixVim setup for TypeScript and it works flawlessly. The main difference is the LSP. If you spot any obvious mistakes or have a repo with working NixVim + HLS please share it 🙏 It would be much appreciated! Update: Fixed in https://github.com/Ivy-Apps/deslop/pull/11. The fixes were: Don't use haskell-tools.neovim + the NeoVim LSP at the same time. Just removed haskell-tools Let Nix build your cabal dependencies hpkgs = pkgs.haskell.packages.${ghcVersion}.override { overrides = self: super: { deslop = self.callCabal2nix "deslop" ./. { }; fmt = pkgs.haskell.lib.dontCheck super.fmt; }; }; submitted by /u/ivy-apps [link] [comments]

Following some feedback from the creator of the haskell map, we have realized we need to make it easier to interact with our platform and we thus have some work to do. We have decided to create a discord chat so that it's easier to connect with our weekly sessions. You can join here: https://discord.gg/AXr9rMZz If you aren't familiar with us, we have been hosting weekly sessions where we live code web apps, video games, data analysis, and run theory-based sessions such as Haskell basics or Functional Reactive Programming. One fun project we built as a community was a Pokedex in haskell. Our goal is to demonstrate to the masses that Haskell can be used to build any and all real world applications, and is phenomenal for it. We also want to ensure an environment welcoming to beginner questions. We also welcome anyone who would like to be a guest speaker, previously we had an awesome presentation by a member of our community on using Scotty with HTMX and it was really fun. submitted by /u/_lazyLambda [link] [comments]

submitted by /u/edsko [link] [comments]

submitted by /u/matthunz [link] [comments]

I participated in the first ever AmeriHac this past weekend! I had a lot of fun and decided to write a blog post about it. Please check it out and let me know what you think: https://thedeveloper101.github.io/posts/2026/02/amerihac-experience/ submitted by /u/ProofMeal [link] [comments]

About Thinking Notes • Zettelkasten Method You can call many things a note, but only some are worth keeping. Others are engagement notes, or thinking notes, which you need to understand something, but not more. Read the full story here  ( 20 min )

submitted by /u/hzm74 [link] [comments]

This is a thread for smaller, miscellaneous items that might not warrant a full post on their own. The default sort is new to ensure that new items get attention. If something gets upvoted and discussed a lot, consider following up with a post! Search for previous "Tips, Tricks" Threads. Fortnightly means once every two weeks. We will continue to monitor the mass of confusion resulting from dark corners of English. submitted by /u/AutoModerator [link] [comments]

The faff-theme package has been updated to version 20260209.2337.

The advent-mode package has been updated to version 20260209.1903.

The mason package has been updated to version 20260209.1847.

The warm-mode package has been updated to version 20260209.1810.

The consult-org-roam package has been updated to version 20260209.1805.

The vtab package has been updated to version 20260209.1524.

The envrc package has been updated to version 20260209.1350.

The cider package has been updated to version 20260209.1258.

The org-anki package has been updated to version 20260209.1249.

The alan-mode package has been updated to version 20260209.1113.

The idris-mode package has been updated to version 20260209.1107.

The org-roam package has been updated to version 20260209.1028.

The jastadd-ast-mode package has been updated to version 20260209.816.

The undo-fu-session package has been updated to version 20260209.754.

The markdown-mode package has been updated to version 20260209.459.

The sail package has been updated to version 20260209.411.

I'm trying to learn haskell and cannot for the life of me wrap my head around what a functor, maybe, either, or just is. And then my instructor is trying to tell us that maybes can be a functor or a monad? I have just learned data structures and started functional programming. Please don't judge me 😅 submitted by /u/Intelligent-Cod3377 [link] [comments]

Dear Friends of Haskell, It is our pleasure to announce that ZuriHac 2026 will take place from Saturday 6 June to Monday 8 June 2026 as a physical event at the Rapperswil-Jona campus of the OST Eastern Switzerland University of Applied Sciences. ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science. It is not your standard conference with papers and presentations, but features fantastic keynotes, hands-on tracks, hacking on many of your favourite projects, and of course lots of socializing! This year’s keynote speakers include Simon Peyton Jones (one of the designers of the Haskell language), Evan Czaplicki (author of …

CPL is a programming language based on category theory, originally designed by Tatsuya Hagino in his 1987 PhD thesis at the University of Edinburgh. It has no built-in data types — products, coproducts, natural numbers, and even exponentials (function space) are all defined by the user using F,G-dialgebras. In this release, CPL now runs in your browser via WebAssembly with no installation required. I've also added tutorials in both English and Japanese. submitted by /u/msakai [link] [comments]

Dear Scala & Neovim users, I'd like to share with you a neovim customisation I made few months ago, targeting Scala (and hybrid Scala + Java) development, resembling the look & feel of IntelliJ Idea as much as I could, ambitiously called neovim-idea. BIG WARNING AHEAD: this project would probably cause respectable neovim user to either have an heart attack, or weep in despair in a corner: heavy usage of keyboard arrow keys, overridden shortcuts, mouse enabled by default, etc... sorry not sorry, I recently crossed the 0x28 candles, muscle memory is real, and I had (still have) work to do; my Company's 7 years old laptop couldn't handle anymore a setup made of IJ + sbt multiprojects + various docker instances running, and I need something to keep myself productive while waiting for a replac…

submitted by /u/rssh1 [link] [comments]

The main changes are around the native support for direct style: CpsIdentity becomes a thing (case, where CpsIdentity is an Observer monad for CpsLogicMonadT becomes a reality), so, on the whole, I added tailRecM to the core monad API. Also implementation of LogicStream is polished to avoid stack overflow with non-trampolined observer monads. CpsLazyT monad transformer was introduced for the role of SuspendableObserver in logical streams. Also, usual dependency updates and bug fixes. https://github.com/dotty-cps-async/dotty-cps-async/ submitted by /u/rssh1 [link] [comments]

Hey, I'm working on a Scala project at work and I'm trying to set up an lsp so Claude could better integrate and work with Scala. I've been trying to set up my Claude to speak with Metals, which i installed since IDEA doesn't use it, as an mpc, but I can't seem to get it to work. Does anyone have experience setting things up? Does the lsp functionality actually improve Claude performance? submitted by /u/SirStupidity [link] [comments]

Please direct me to the proper discussion if the following has already been discussed in somewhere else in the forum. I tried searching in advance but without success... My question is whether there is a way to search for notes with a specific tag without including notes using tags that the search term is part of? In Finnish we have way too many compound words, and hence the tags might end up being very similar (e.g. #sielu #sielunhoito #sielunvaellus). I know I can use NOT operator for some edge cases with knowingly few conflicting tags but there are cases when it just doesn't apply at all. I suppose the same difficulty occurs with German language also (I wish I could use regular expressions!)  ( 7 min )

Without prettyfying it, the org text is as follows: #+CAPTION: Formas de adquirir y extinguir las diferentes potestades. #+NAME: tab:potestades #+ATTR_LATEX: :align |l|l|l| | *Relación jurídica* | *Adquisición* | *Extinción* | |--------------------+-------------------------------------------------+-----------------------------------------| | Patria potestad | Nacimiento, adopción, arrogación | Muerte, /capitis deminutio/, emancipación | | Potestad dominical | Nacimiento, sanción, cautiverio | Manumisión, /postliminium/ | | /Manum/ | /Conventio in manum/: /coemptio/, /usus/, /conferratio/ | /Divorcium/: /remancipatio/, /diferratio/ | Thanks in advanced. (it's roman law, for anyone interested) submitted by /u/potatowithascythe [link] [comments]

I started using org-roam in 2025, initially in a fairly simplistic way. As a new org-roam user, I built an org-roam-skill to integrate it into my Claude workflow. The skill relies on an Emacs daemon, which it uses to execute Elisp. I chose this approach instead of MCP to keep things simple. I’ve been using it daily for the past few months. I’d love feedback on both the overall approach and the specific ways the skill leverages org-roam. In particular, I’m interested in improving how nodes are linked—this behavior is currently defined in references/links.md submitted by /u/mjrgrys [link] [comments]

The transient package has been updated to version 20260208.2237.

The circadian package has been updated to version 20260208.2050.

The mandm-theme package has been updated to version 20260208.1754.

The forge package has been updated to version 20260208.1639.

The pg package has been updated to version 20260208.1419.

The dap-mode package has been updated to version 20260208.1403.

The daselt package has been updated to version 20260208.1145.

The bqn-mode package has been updated to version 20260208.1145.

The gerrit package has been updated to version 20260208.922.

The diff-hl package has been updated to version 20260208.227.

After several years working with Scala in the Netherlands, my takeaway is simple: 👉 2026 is effectively the end of Scala as a viable job market in NL. Not the language itself — but the ecosystem. What I’m seeing: • Almost no new Scala projects. • Existing systems either being shut down or migrated (mostly to Java / TypeScript). • Local Scala teams being reduced or eliminated. • Hiring Scala engineers in NL is expensive and increasingly hard to justify. This isn’t about Scala being bad. It’s about economics: • high TCO in a high-cost country, • shrinking talent pool, • no momentum for greenfield projects. Scala is becoming legacy + niche here. That’s not something you can safely build a long-term career on in NL. Curious if others in the Netherlands see the same trend. [link] [comments]

submitted by /u/petrzapletal [link] [comments]

I spent the weekend improving my Org-mode/LaTeX CV template and decided it was worth sharing publicly. Its modular, searchable, and designed for reproducibility. I’ve made it easy to maintain and updated the structure to be as ATS-friendly as possible. Sharing here in case anyone else finds it useful. Repository: https://github.com/benmezger/orgmode-cv submitted by /u/sedsfile [link] [comments]

submitted by /u/Emiskye [link] [comments]

I am trying to run the haskell-miso website by cloning the github, I get this error when trying to make it(according to the readme). shared/Common.hs:109:26-35: error: [GHC-76037] Not in scope: type constructor or class ‘Transition’ | 109 | updateModel :: Action -> Transition Model Action | ^^^^^^^^^^ Error: [Cabal-7125] Failed to build exe:app from haskell-miso-0.1.0.1. make: *** [Makefile:9: build] Error 1 This isn't the first time I've had this error before, I tried to resolve it by importing Miso.Types,but it resulted in the same error. What's the correct way to bypass this or how to properly import Transition? submitted by /u/St3roid3 [link] [comments]

This is SO ELEGANT, but could somebody explain me like to 5y old how mconcat part works with list of comparing functions? sortBy (mconcat [comparing length, comparing Down . id]) [[2,3,4], [1,2], [2,3], [1,2,3,4], [0,2,3]] submitted by /u/Tempus_Nemini [link] [comments]

The rtags package has been updated to version 20260207.2156.

The org-aws-iam-role package has been updated to version 20260207.1643.

The gpt package has been updated to version 20260207.633.

The hack-mode package has been updated to version 20260207.559.

The rust-mode package has been updated to version 20260207.424.

The justl package has been updated to version 20260207.411.

The org-repeat-by-cron package has been updated to version 20260207.325.

submitted by /u/Te0fil [link] [comments]

The reaper package has been updated to version 20260206.2340.

The elsqlite package has been updated to version 20260206.1949.

The nerd-icons-dired package has been updated to version 20260206.1554.

The bash-completion package has been updated to version 20260206.1459.

The haskell-mode package has been updated to version 20260206.1050.

The roc-ts-mode package has been updated to version 20260206.908.

The org-agenda-dock package has been updated to version 20260206.901.

The jinx package has been updated to version 20260206.847.

The diredfd package has been updated to version 20260206.337.

The tabspaces package has been updated to version 20260206.225.

Which one do you like best? (For the book!)  ( 3 min )

Originally the distributors library was only intended to be a vehicle for studying some profunctor theory with grammar as a neat demo. Since then I've delved a bit more in depth into Chomsky's grammar hierarchy, Kleene algebras, Brzozowski's derivative and more. I also learned about Li-yao Xia's development of monadic profunctors for invertible parsing. Distributors synthesizes this into a complete optics based grammar library. submitted by /u/echatav [link] [comments]

The org-jira package has been updated to version 20260205.2052.

The consult package has been updated to version 20260205.2051.

The dired-du-duc package has been updated to version 20260205.1758.

The vulpea-journal package has been updated to version 20260205.1628.

The no-littering package has been updated to version 20260205.1529.

The mistty package has been updated to version 20260205.1444.

This patch is looking for some more reviewers :) Also for devs with a big haskell project that have the necessary infrastructure in place: It would be nice if you could test out the patch and report back what impact you are seeing submitted by /u/_query [link] [comments]

submitted by /u/maerwald [link] [comments]

Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community. Featured “Five-Point Haskell”: Total Depravity (and Defensive Typing) by Justin Le In this series, Five-Point Haskell, I’ll set out to establish a five-point framework for typed functional programming (and Haskell-derived) design that aims to produce code that is maintainable, correct, long-lasting, extensible, and beautiful to write and work with. We’ll reference real-world case studies with actual examples when we can, and also attempt to dispel thought-leader sound bites that have become all too popular on Twitter (“heresies”, so to speak). Pictures as Functions (Haskell for Dilettantes) by Te…  ( 2 min )

Coverity is a proprietary static code analysis tool that can be used to find code quality defects in large-scale, complex software. It supports a number of languages and frameworks and has been trusted to ensure compliance with various standards such as MISRA, AUTOSAR, ISO 26262, and others. Coverity provides integrations with several build systems, including Bazel, however the official Bazel integration fell short of the expectations of our client, who wanted to leverage the Bazel remote cache in order to speed up Coverity analysis and be able to run it in normal merge request workflows. We took on that challenge. The Coverity workflow To understand the rest of the post it is useful to first become familiar with the Coverity workflow, which is largely linear and can be summarized as a se…  ( 12 min )

Software Engineer Habito We’re looking for an enthusiastic full time Software Engineer to join our full stack team at Habito. We champion principled pragmatism, marrying practical solutions with high standards. We believe in the power of collaborative learning and iterative delivery, ensuring that every team member grows and every project shines. Here, you’ll wear many hats- from dev, to security, to design-giving you a holistic view of our tech landscape. We equally value the integrity of data and the elegance of code, empowering our solutions to be as robust as they are innovative. Join us to shape technology with creativity and precision! MUST BE BASED IN THE UK. About the team The team you’d be joining is made up of 4 highly skilled, enthusiastic, full stack developers wi…

Hello, I recently started applying the Zettelkasten Method and wanted to ask you guys for some insight My first question is how do you know whether to go back to a structure note versus linking to a new zettle inside of a note you are already working on? I ask this because I noticed that it could get quite exhausting to keep going back to a structure note and creating new entries in it versus what felt more natural which was to link to a new note inside of the one I was already making. I noticed however that I couldn't fully get rid of the structure notes though because they were useful for organizing different but related ideas. This is what made me ask the question. My second question is how important is software independence? I ask this because I am using Obsidian and it has three featu…  ( 10 min )

Continuing the "how to setup Haskell" threads, I am running nix packages on Ubuntu. I have been using a default.nix that uses developPackage, however I'm now entering the world of multi-package projects using cabal.package and hpack, and developPackage doesn't work as it expects a top-level cabal file. What are the current best practices? Thanks! submitted by /u/thraya [link] [comments]

Yes, we’re hiring again! :) About us Artificial is a leading UK-based Insurtech company. Our technology enables some of the world’s largest insurers to write and trade complex risks faster, more efficiently, and at lower cost. We have built a cool DSL to rapidly and robustly model insurance contracts, and a platform around it that enables the capture, assessment, and trading of risks in a highly automated fashion. We've just raised $45M in Series B funding. Our engineering team is fully remote, with some people close to our London office in the City working from there on occasion. The choice is yours. We can hire people with the right to work in the UK or Poland, as we have a company presence in both countries. Update: I now have the explicit country list: - UK, Poland, Estonia, Spain The following countries are also likely to be green-lit: - Portugal, Greece, Hungary Roles Product Engineering: - Product Engineer - Senior Product Engineer - Lead Product Engineer Site Reliability Engineering (see SRE book): - Site Reliability Engineer - Lead Site Reliability Engineer - Security Engineer How to choose Product: If you're not sure about which of the product roles to apply for, pick one, and we’ll move you around appropriately. SRE: Only apply to the SRE roles if you have a strong interest and background in that area (infra, security, AWS, IaC, etc). Our culture is heavily biased towards Haskellers or Haskell-adjacent folk doing our infra/ops. Candidates will be assessed based on a progression framework we have internally (will publish down the line), put into levels 1, 2 and 3, across three categories: building (technical understanding, craft), execution (do you ship and ship the right thing) and supporting (well being, personal growth, org design). They roughly correspond to junior, senior and lead/manager, in other orgs, but are more clearly defined in relation to each other. submitted by /u/pwmosquito [link] [comments]

Should You Have a Note Goal Per Day? How To Quantify Creativity to Boost Creative Performance • Zettelkasten Method It is possible to make a daily note count work to your advantage, but you need to think about your reasons for measuring note output, first. Read the full story here  ( 9 min )

submitted by /u/Prasen2003 [link] [comments]

Hi! I love writing short essay reviews about classic literature books and I want to connect them somehow. The only thing is that I don't know how. The books are not connected to each other in any way, yet they share one major point: all of them are book reviews. In the picture, attached below, I used double brackets to link them to a centrail point (book reviews). Should I just tag (#) or should I make the central point (book review) as an index?  ( 4 min )

submitted by /u/bradmont [link] [comments]

For some reason, the most instinctive function I could find to find any notes in org roam was this: ``` M-x org-roam-node-find ``` However, that only searches files by the individual task's heading name even with my Vertico completion framework package that I have enabled. tldr; With this in mind, if you're like me, and trying to find all your notes tagged with a specific Org heading tag in a random journal file, ex: All org docs tagged with ":Family:", then use: ``` M-x org-match-sparse-tree ``` ^ With this in mind, I kind of wish this function was named 'org-search-tags' or something easier to find. Just a PSA for anyone pulling their hair out like me only to find that Org Roam does not solve any issues for someone like me with multiple separate journal and project files that have sub headings for tasks. The more I attempt to use Org Roam, I realize it's for truly daring users that have individual note files for everything without organization :O submitted by /u/ShortstopGFX [link] [comments]

is it possible to see all the notes -separated by a line for instance- in a continuous way, in a long text file?  ( 3 min )

Was wondering how do you all take notes while reading a literature book? What are you tips? I truly want to grasp the meaning of a book.  ( 2 min )

Just rebuilt Emacs after years, because Magit broke and decided to try if Emacs can cooperate with me.Now, org-cycle is working as intended and I completely dislike it. In my previous setup, If the cursor is on the beginning of a header, and I execute org-cycle, then the current header's fold state is togged to either folded or unfolded. Folded: header is shown inline and content hidden. Cursor does not move. Unfolded: It's immediate children are shown(folded). Cursor does not move. Now it does the freaking 3-state org cycle thing and the cursor is flying everywhere. I feel like I am sailing on a ship with captain Black Sparrow. Help! submitted by /u/theRealGrahamDorsey [link] [comments]

This is your opportunity to ask any questions you feel don't deserve their own threads, no matter how small or simple they might be! submitted by /u/AutoModerator [link] [comments]

I am new to emacs and org mode hence. I come across quite a few videos on the configuration and the features and usage of org mode, but I was seeking the advice froma all who are using org mode for some time what should be the optimum recommendation of the file and folder structure for notes for both knowledge capture and meeting , to do and agenda. Would installing org-roam be advisable in the the beginning. Are there any recommendations for the plugins or extensions which I should use for org mode submitted by /u/Koltech21 [link] [comments]

I'm trying to create a group in org-super-agenda that displays recurring events that occur today. They are showing under "Other items" in org-super-agenda. Here's the event * Burger and Fry-day! :PROPERTIES: :LOCATION: Everywhere :ID: 69cca5d7-f9ef-45eb-9d41-76ee125156c7 :END: Here's my config (use-package org-super-agenda :straight t :after org-agenda :config (org-super-agenda-mode 1) (setq org-super-agenda-groups '((:name "All Day Events" :and (:date today :not (:habit) :not (:time-grid))) (:name "Today's Schedule" :time-grid t) (:name "Punchlist" :and (:scheduled today :not (:habit))) (:name "Habits" :habit t) (:name "Important" :priority "1") ))) Would org-ql make this possible? I haven't been able to successfully select the recurring event occurring today using org-ql. I've seen several other people asking about doing this on Github, but no definitive answer. EDIT: Apparently, if I could group by the text property 'day' instead of 'ts-date', which is what :date matches, it would be easy. Because 'day' matches (org-today), but 'ts-date' is the date of origin or the first occurrence of the recurring event. submitted by /u/rustbuckett [link] [comments]

Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community. Featured Episode 76 – Jeffrey Young by The Haskell Interlude Today, Matti and Mike talk to Jeffrey Young. Jeff has had a long history of working with Haskell and on ghc itself. We talk about what makes Haskell so compelling, the good and bad of highly optimized code and the beauty of well-modularized code, how to get into compiler development, and how to benefit from Domain-Driven Design. Haskell Language Server 2.13.0.0 release by VeryMilkyJoe The HLS team is happy to announce the 2.13.0.0 Haskell Language Server release which introduces two new exciting features! Hello, Haskell: Getting Started…  ( 2 min )

submitted by /u/MorePeppers9 [link] [comments]

Sorry if this is a dumb question but is there an 'undo' function? One of my annoyances with the app is that from time to time I'll scroll through a note or a saved recipe and Orgzly will think I changed something (the need-to-sync icon appears). Is there a way to revert the changes or, minimally, revert to the version stored in the sync directory (Dropbox in my case) ? submitted by /u/imakesawdust [link] [comments]

As my zettelkasten practice has evolved, I’ve been noticing a tension in my own work(flows) and I’m curious how others here think about and relate to this. Most PKM conversations focus on capturing, connecting, and developing ideas (note types, tools and the like). But when I reflect on the moments and situations that have lasting impact in business and life zoom out, they tend to be decisions — what to pursue, what to drop, how to respond, which direction to commit to. So the question I'm working through and which I'd be interested to get others' perspectives on is: When you’re facing a real, consequential decision, how (if at all) does your PKM system help you think it through (in practice)? For example: Do you enter the decision into your notes and work it there — or does the thinking mostly happen elsewhere, with the notes playing a supporting role? Have you ever created notes that function less like reference material and more like thinking tools (prompts, checklists, decision records, assumption maps, pre/post-mortems, etc.)? Or do you deliberately avoid formalising decisions in your system because it adds friction or feels like over-engineering? I’m especially interested in where this breaks down: moments where your system felt like it should help, but didn’t situations where structure helped clarity — or where it got in the way things you’ve tried once and quietly abandoned I’m not assuming there’s a right answer here, instead I'm interested in how (and whether) people who care and invest time and effort into thinking, learning, and knowledge work relate to decision-making as a first-class activity and whether most people implicitly (or explicitly) treat it as something separate from knowledge systems. Would love to hear how this shows up (or doesn’t) in your own practice.  ( 29 min )

I spend a lot of time automating workflows but email was always the biggest time sink. More rules and filters just added complexity and more things to manage. So I built a simple email sorter that automatically groups incoming emails into buckets I actually care about and hides the rest. The goal was less decision making and less inbox checking not another system to maintain. It ended up saving me a lot of time and mental energy and made email feel like part of an automated workflow instead of constant interruption. If anyone here is interested I can explain how the sorting works or share examples of the rules I use. Curious how others here automate email workflows submitted by /u/Emergency_Land_4805 [link] [comments]

submitted by /u/Autism_Evans [link] [comments]

Wanted to try editors other than Orgzly due to the syncing issues I was having. The idea is I want a central notespace org doc that just has brainstorms that can be synced across devices with Syncthing. So yeah don't need anything with sync capabilities, just need something where I can quickly edit a file that can read Org Mode syntax with basic headings etc. Curious for your thoughts since this stuff changed every year, curious what everyone is using in 2026 submitted by /u/ShortstopGFX [link] [comments]

I am currently trying to switch my book reading list over from markdown over to org. The markdown has a format like this: | 2024-08-24 | William Gibson | Neuromancer | | | | - notes… | | | | - summary… | In org-mode I replicate that with this: ** DONE Neuromancer :PROPERTIES: :DATE: 2024-08-24 :AUTHOR: William Gibson :END: *** Notes … *** Summary … This works, but ain't pretty, as I like to see date, author and similar properties when it's folded up. Column view seems to do exactly that: :COLUMNS: %DATE(Read) %25AUTHOR(Author) %120ITEM Which gives me this: 2024-08-24 | William Gibson | Neuromancer Now to the actual problem: Column view applies to the whole tree, including subsections like Notes and Summary, which makes no sense. How can I prevent that and make it only apply to the top level book title? Also are there other alternatives to make properties visible when folded up? submitted by /u/Spra991 [link] [comments]

Hi everyone! I'm a high school student from South Korea. I've been enjoying the Zettelkasten Method since I discovered it in July 2025 in this website. I love computers and software development. Currently learning Linux and Networking. I'm also interested in theoretical CS and discrete mathematics. I write digital notes all the time. I do daily journaling and capture resources I find online. I did not have a thing like "workflow" for this, but recently I'm experimenting with many systems/workflows (e.g. BASB). I want to find a comfortable setup for integrating capturing in my ZK; I want to avoid falling into the collector's fallacy. For note-taking application, I first started with Obsidian, then Vim + fzf in the terminal, and then Emacs now. I love how I can customize almost everything in Emacs and the flexibility of the Elisp language.  ( 3 min )

Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community. Featured Ergonomic abstractions for numerical computing: My story so far by Marco Zocca You know the feeling of encountering an idea that is so simple and pure as to be inescapable? For me, two such moments happened when I encountered the Matlab “backslash” operator and (lambda ) in Scheme. The two ideas are sufficiently different (and alien, I suppose) to merit an origin story of how I encountered them and how they shaped my thinking as I grew as a researcher and practitioner. This backstory is also meant to motivate the three experiments on achieving ergonomic numerical interfaces I will show i…  ( 4 min )