hirrolot

trait Interp {
    type Repr<T>;

    fn lit(i: i32) -> Self::Repr<i32>;
    fn add(a: Self::Repr<i32>, b: Self::Repr<i32>) -> Self::Repr<i32>;
}

struct Eval;

impl Interp for Eval {

michaeloyer

// SRTP: Statically Resolved Type Parameters
// https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/generics/statically-resolved-type-parameters

// SRTP Allows for pulling members out of types that where the member is named and typed the same
// In this example SRTP will be used to pull out the 'First: string' and 'Last: string' members
// from different types

// One example of SRTP in the F# Base Class Library is the (+) operator. 
// You'll see that it has this type signature:

andyraddatz

// IMPORTANT     
    using System.Text;

// This gist was created thanks to this comment from Alexander on StackOverflow:
// https://stackoverflow.com/questions/249087/how-do-i-remove-diacritics-accents-from-a-string-in-net#comment86833005_34272324

// This is a derivative work.  The logic of this function comes from a switch statement found inside the 
// Lucene.Net library.  The documentation of the conversion of characters is quite impressive 
// (thank you @NightOwl888 and @synhershko !!!):
// https://github.com/apache/lucenenet/blob/master/src/Lucene.Net.Analysis.Common/Analysis/Miscellaneous/ASCIIFoldingFilter.cs

mavasani

Feature Request

dotnet/roslyn#30172: Programmatic suppression of warnings

Provide an ability for platform/library authors to author simple, context-aware compiler extensions to programmatically suppress specific instances of reported analyzer and/or compiler diagnostics, which are always known to be false positives in the context of the platform/library.

Programmatically Suppressible Diagnostic

An analyzer/compiler diagnostic would be considered a candidate for programmatic suppression if all of the following conditions hold:

1. Not an error by default: Diagnostic's DefaultSeverity is not DiagnosticSeverity.Error.

mgeeky

XML Vulnerabilities

XML processing modules may be not secure against maliciously constructed data. An attacker could abuse XML features to carry out denial of service attacks, access logical files, generate network connections to other machines, or circumvent firewalls.

The penetration tester running XML tests against application will have to determine which XML parser is in use, and then to what kinds of below listed attacks that parser will be vulnerable.

---

everget

JavaScript Bitwise Hacks

It assumes the highest positive signed 32-bit float value for numbers. In other words, 2147483647 (or 0x7FFFFFFF or 2^31-1).

Table of Contents

1. Toggle switch
2. Variable swap
3. Math.pow
4. Determine if an integer is a power of 2
5. Round up to the next highest power of 2

bishboria

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

tel

/* eslint-disable new-cap */

/**
 * Lens types.
 * ===========
 *
 * a * b = {fst: a, snd: b}
 * a + b = {index: Boolean, value: a | b}
 *
 * Iso   s t a b = forall (~>) . Profunctor (~>) => (a ~> b) -> (s ~> t)

kristopherjohnson

public final class Box<T> {
    public let value: T

    public init(_ value: T) {
        self.value = value
    }
}

/// Immutable list of elements of type T
/// 

mcfedr

;;; --- Skip lots of stuf ---

                  ;;; <@19,#13> compare-numeric-and-branch
0x49252d6f    47  83f800         cmp eax,0x0
0x49252d72    50  0f843e000000   jz 118  (0x49252db6)
                  ;;; <@20,#17> -------------------- B2 (unreachable/replaced) --------------------
                  ;;; <@24,#24> -------------------- B3 --------------------
                  ;;; <@27,#26> compare-numeric-and-branch
0x49252d78    56  83f802         cmp eax,0x2                 ;; debug: position 81
0x49252d7b    59  0f842a000000   jz 107  (0x49252dab)