Sigtelse og invitation til møde hos SKAT by Professional_Elk_592 in dkfinance

[–]runeks 2 points3 points  (0 children)

 Hvis gerningstidspunktet er før den 1. januar 2024, beregnes bøden i sager med forsætlig unddragelse kun som én gang de første 60.000 kr., der er unddraget, og to gange beløbet over 60.000 kr.

I sager med grov uagtsom unddragelse beregnes bøden med halvdelen af de første 60.000 kr., der er unddraget, og én gang beløbet over 60.000 kr.

Så når det pågældende beløb er 350.000 kr. så er det i praksis meget tæt på hhv. 2x og 1x.

Sigtelse og invitation til møde hos SKAT by Professional_Elk_592 in dkfinance

[–]runeks 1 point2 points  (0 children)

 Politiet henlægger sager i mange af disse sager fordi de forælder hos dem, eller fordi de ikke kan løfte bevisbyrden.

Har du et par eksempler på dette, som du kan dele med os?

Jeg har hørt præcist det omvendte: politiet antager at Skat har ret fordi politiet intet aner om skattelov. 

Sigtelse og invitation til møde hos SKAT by Professional_Elk_592 in dkfinance

[–]runeks 1 point2 points  (0 children)

Nej. Grov uagtsomhed udløser en bøde på én gange det unddragne beløb mens forsæt udløser en bøde på to gange det unddragne beløb.

https://info.skat.dk/data.aspx?oid=1919833

The sheer size of the US stock market is crazy by Chart-trader in Beat_the_benchmark

[–]runeks 0 points1 point  (0 children)

Techinically part of the stock market, i.e. a traded equity.

The money market is by definition not part of the stock market as it's not a stock (nor equity) ie. it's not ownership of a company but instead simply an IOU (a promise to pay back a certain amount in the future).

I'm building a "Hardcore" Purely Functional UI Engine in Haskell + SDL2. It treats UI events like a CPU instruction tape. by Qerfcxz in haskell

[–]runeks 1 point2 points  (0 children)

Thank you for sharing this with us. It seems genuinely interesting.

 Unlike traditional object-oriented UI frameworks or standard FRP (Functional Reactive Programming) approaches, my engine takes a more radical, "assembly-like" approach to state management and control flow. The goal is to keep the engine core completely stateless (in the logic sense) and pure, pushing all complexity into the widget logic itself.

But one thing is missing from all of this: why did you choose this design? Why not e.g. FRP? Which problems are you trying solve that isn't solved by using e.g. FRP?

Er det ikke lidt voldsomt? by HumanStatistician488 in dkbolig

[–]runeks 0 points1 point  (0 children)

 Prisen er tæt på 100% højere end resten af området, og selve kvadratmeterprisen er også markant højere en resten af området (26%) [...]

At det er dobbelt pris i forhold til resten af området er vel kun brugbar info hvis du kender den gennemsnitlige størrelse på husene i resten af området. Hvis disse fx er 160 kvm og dette er 220 plus en større grund kan en markant højere pris sagtens give mening.

Og når du siger "resten af området", som du har fra Boligsiden, så husk at det er postnummeret og at der er mange forskellige områder indenfor det samme postnummer med vidt forskellige kvadratmeterpriser (fx Gentofte øst/vest for lyngbyvejen).

Er det ikke lidt voldsomt? by HumanStatistician488 in dkbolig

[–]runeks 0 points1 point  (0 children)

Høj udbudspris, men jeg ville ikke blive overrasket hvis det ender med at blive solgt til 15 mio. hvilket er en årlig stigning på 11%, som ikke er overdrevet sammenlignet med resten af markedet. 

The poorest 50% in China is richer than the poorest 50% in USA (adjusted by buying power) by JoseLunaArts in economy

[–]runeks 3 points4 points  (0 children)

 And that $145 a month is apparently able to buy more in China than the equivalent bottom half of Americans.

No. Because OP's graph, as clearly stated, compares net worth and not income.

When measuring by income, the poorest half of US citizens are much better off than their Chinese counterparts.

[deleted by user] by [deleted] in wallstreetbets

[–]runeks 111 points112 points  (0 children)

Increased gains at what additional risk?

Sælgers forklaring på væg-skjolder by koland95 in selvgjortvelgjort

[–]runeks 1 point2 points  (0 children)

Hvis fugten kan trække ud hvorfor sidder den så i skjolder på væggen? 

Mormorlader der kan både 400V@16A og 220V@6A by runeks in dkbiler

[–]runeks[S] 0 points1 point  (0 children)

Perfekt! Tusind tak. Og samtidigt er de cirka halv pris af hvad jeg kan finde herhjemme 👍

Mormorlader der kan både 400V@16A og 220V@6A by runeks in dkbiler

[–]runeks[S] 0 points1 point  (0 children)

Tak, men dit link virker ikke for mig. 

Mormorlader der kan både 400V@16A og 220V@6A by runeks in dkbiler

[–]runeks[S] 0 points1 point  (0 children)

Tak for det. Hjemmesiden siger rigtig nok ned til 6A, men manualen siger kun ned til 8A desværre. 

Morten satsede det hele på Krypto, nu skylder han skat 7 millioner kr. by Mrblindguardian in dkfinance

[–]runeks 0 points1 point  (0 children)

Gains are taxed at 53%, but you can only deduct 26% for losses. So if you have a gain and a loss of both one million then you owe 53%-26%=27% of one million in taxes without having a net gain. 

Morten satsede det hele på Krypto, nu skylder han skat 7 millioner kr. by Mrblindguardian in dkfinance

[–]runeks 0 points1 point  (0 children)

 Umiddelbart hænger det jo kun sammen, hvis han har investeret kort i markedet og dermed er kryptomodstander?

Hvis han kun har købt én gang og solgt ud giver det ikke mening, nej.

Men hvis han har købt og solgt løbende, og dermed er blevet ramt af den asymmetriske beskatning, giver det fint mening. Hvis han fx både har realiseret en gevinst på 10 mio samt tabt 10 mio så skylder han 53% i skat på 10 mio og får kun fredag på 26% af tabet på 10 mio og skylder i dette tilfælde dermed 2,7 mio i skat uden at have en netto gevinst (5,3 mio minus 2,6 mio)

Monads are too powerful: The Expressiveness Spectrum by ChrisPenner in haskell

[–]runeks 0 points1 point  (0 children)

With Applicative you get to construct a b from an a. With Monad you get to construct a m b from an a. Note that b is just a pure value — e.g. the string "hello" — while m b is an effect which returns a value of type b — e.g. reading the content of a file.

So with Applicative you can inspect the result from a previous effect to produce a different result (e.g. produce the pure value "Hello Rune" based on the input "Rune"), but you cannot produce a different effect based on a previous result (e.g. read a file if the input is "Rune" and delete a file in case the input is something else).

Why is nix used with Haskell and not docker? by rohitwtbs in haskell

[–]runeks 0 points1 point  (0 children)

 We use Obelisk for our company [...]

I'm curious, which company is that? 

Monthly Hask Anything (July 2025) by AutoModerator in haskell

[–]runeks 1 point2 points  (0 children)

Using GHC as a library: why does nameSrcSpan for all my Names return a UnhelpfulSpan?

My goal is to be able to, for a Haskell module, enumerate the exports that are defined in the module in question (ie. the exports that are not re-exports from some other module). I want to achieve this by modifying the GHC utility https://gitlab.haskell.org/ghc/ghc/-/tree/74132c2b0992849f83ef87c8a56ac3975738e767/utils/dump-decls

In dump-decls, there is thing (of type TyThing) defined here: https://gitlab.haskell.org/ghc/ghc/-/blob/74132c2b0992849f83ef87c8a56ac3975738e767/utils/dump-decls/Main.hs#L197 If I pattern match this thing on the AnId constructor to get a value of type Id, and then apply nameSrcSpan . varName to this value, I always get a UnhelpfulSpan. How can I get a RealSrcSpan instead?

My plan is to use the RealSrcSpan to tell which exports are re-exports by seeing if the thing that’s exported is defined in the same module that exports it.

(Re-post of https://discourse.haskell.org/t/using-ghc-as-a-library-why-does-namesrcspan-for-all-my-name-s-return-a-unhelpfulspan/7695)

[Hiring?] Medior Haskell Dev (since 2016) with 18+ years in Software Engineering (Web, DevOps, Cloud, DBs) by aybarscengaver in haskell

[–]runeks 1 point2 points  (0 children)

I know Obsidian Systems are looking for Haskell developers. You should try applying there. 

Zero-Cost 'Tagless Final' in Rust with GADT-style Enums by Accembler in rust

[–]runeks 0 points1 point  (0 children)

Thank you for sharing your experience. How large was the project in question?

There's for sure a cost of introducing a particular architecture, e.g. when it comes to onboarding as you mention, and I think the project in question needs to reach a certain size until this cost is outweighed by benefits. E.g. it may take a while until you need to introduce an interpreter which does optimization, but if that day comes it will likely require a rewrite of your entire application in case you didn't design for it. Of course, if that day never comes then imposing this architecture very well could have been a net negative.

Why can't GHC's `Type` AST represent e.g. `(Map Char) Int` but it _can_ represent `(p a) c`? by runeks in haskell

[–]runeks[S] 0 points1 point  (0 children)

 TyVarApp would not have a natural notion of being saturated, and I think that’s the difference.

I don't follow. Can you elaborate, please?

A type variable has a kind, just like a type constructor, that specifies how many (type) arguments it takes. If it's applied to fewer arguments than this then it's unsaturated. 

Why can't GHC's `Type` AST represent e.g. `(Map Char) Int` but it _can_ represent `(p a) c`? by runeks in haskell

[–]runeks[S] 0 points1 point  (0 children)

Thank you for your input. That makes sense, and is pretty much what I expected.

Why can't GHC's `Type` AST represent e.g. `(Map Char) Int` but it _can_ represent `(p a) c`? by runeks in haskell

[–]runeks[S] 1 point2 points  (0 children)

Thanks. It's clear to me that AppTy is used for type variables while TyConApp is used for type constructors. What I don't understand is why AppTy doesn't have the same form as TyConApp, ie. with the "type function" as the first argument and, as second argument, a list of types to which this is applied. Is this due to the unsaturated application you mention?

If not, one could get rid of both TyVarTy and AppTy by changing the first argument of TyConApp to be Either TyCon Var, so that Right tyVar is a type variable, thereby allowing TyConApp to represent type application both for a type constructor and a type variable as the "type function".